13 #ifndef LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H 14 #define LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H 19 namespace threadSafety {
bool implies(const LExpr *LHS, const LExpr *RHS)
Logical implication.
bool implies(const LExpr *RHS) const
Logical implication.
This represents one expression.
Terminal(til::SExpr *Expr)
BinOp(LExpr *LHS, LExpr *RHS, Opcode Code)
static bool classof(const LExpr *E)
Or(LExpr *LHS, LExpr *RHS)
static bool classof(const LExpr *E)
Dataflow Directional Tag Classes.
const LExpr * right() const
And(LExpr *LHS, LExpr *RHS)
static bool classof(const LExpr *E)
const LExpr * left() const
const til::SExpr * expr() const
Base class for AST nodes in the typed intermediate language.
const LExpr * exp() const
static bool classof(const LExpr *E)