Searched refs:LExpr (Results 1 – 2 of 2) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyLogical.h | 22 class LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
56 LExpr *LHS, *RHS;
59 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {} in BinOp()
71 And(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::And) {} in And()
78 Or(LExpr *LHS, LExpr *RHS) : BinOp(LHS, RHS, LExpr::Or) {} in Or()
80 static bool classof(const LExpr *E) { return E->kind() == LExpr::Or; } in classof()
84 LExpr *Exp;
87 Not(LExpr *Exp) : LExpr(LExpr::Not), Exp(Exp) {} in Not()
97 bool implies(const LExpr *LHS, const LExpr *RHS);
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies()
45 case LExpr::And: in implies()
52 case LExpr::Or: in implies()
59 case LExpr::Not: in implies()
63 case LExpr::Terminal: in implies()
70 case LExpr::And: in implies()
77 case LExpr::Or: in implies()
84 case LExpr::Not: in implies()
88 case LExpr::Terminal: in implies()
106 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies()
|