clang 19.0.0git
Namespaces | Functions
ThreadSafetyLogical.cpp File Reference
#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"

Go to the source code of this file.


namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
namespace  clang::threadSafety
namespace  clang::threadSafety::lexpr


static bool implies (const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg)
bool clang::threadSafety::lexpr::implies (const LExpr *LHS, const LExpr *RHS)
 Logical implication.

Function Documentation

◆ implies()

static bool implies ( const LExpr LHS,
bool  LNeg,
const LExpr RHS,
bool  RNeg