Searched refs:LExpr (Results 1 – 2 of 2) sorted by relevance
| /external/clang/include/clang/Analysis/Analyses/ |
| D | ThreadSafetyLogical.h | 22 class LExpr {
34 inline bool implies(const LExpr *RHS) const;
37 LExpr(Opcode Kind) : Kind(Kind) {} in LExpr() function
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal; } in classof()
55 class BinOp : public LExpr {
56 LExpr *LHS, *RHS;
59 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {} in BinOp()
62 const LExpr *left() const { return LHS; } in left()
[all …]
|
| /external/clang/lib/Analysis/ |
| 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()
|