clang  6.0.0svn
Namespaces | Functions
ThreadSafetyLogical.cpp File Reference
#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"
Include dependency graph for ThreadSafetyLogical.cpp:

Go to the source code of this file.

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 clang::threadSafety
 
 clang::threadSafety::lexpr
 

Functions

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. More...
 

Function Documentation

◆ implies()

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