Searched refs:LExpr (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyLogical.h | 21 class LExpr {
46 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
55 LExpr *LHS, *RHS;
58 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {} in BinOp()
70 And(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::And) {} in And()
77 Or(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::Or) {} in Or()
79 static bool classof(const LExpr *E) { return E->kind() == LExpr::Or; } in classof()
83 LExpr *Exp;
86 Not(LExpr *Exp) : LExpr(LExpr::Not), Exp(Exp) {} in Not()
96 bool implies(const LExpr *LHS, const LExpr *RHS);
[all …]
|
| /llvm-project-15.0.7/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies()
44 case LExpr::And: in implies()
51 case LExpr::Or: in implies()
58 case LExpr::Not: in implies()
62 case LExpr::Terminal: in implies()
69 case LExpr::And: in implies()
76 case LExpr::Or: in implies()
83 case LExpr::Not: in implies()
87 case LExpr::Terminal: in implies()
105 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies()
|