Searched refs:LExpr (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
| H A D | ThreadSafetyLogical.h | 21 class LExpr {
33 inline bool implies(const LExpr *RHS) const;
36 LExpr(Opcode Kind) : Kind(Kind) {} in LExpr() function
42 class Terminal : public LExpr {
46 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {} in Terminal()
51 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal; } in classof()
54 class BinOp : public LExpr {
55 LExpr *LHS, *RHS;
58 BinOp(LExpr *LHS, LExpr *RHS, Opcode Code) : LExpr(Code), LHS(LHS), RHS(RHS) {} in BinOp()
61 const LExpr *left() const { return LHS; } in left()
[all …]
|
| /freebsd/contrib/llvm-project/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()
|