| /external/clang/include/clang/Analysis/Analyses/ |
| ThreadSafetyLogical.h | 20 namespace lexpr { namespace in namespace:clang::threadSafety
22 class LExpr {
32 /// \brief Logical implication. Returns true if the LExpr implies RHS, i.e. if
33 /// the LExpr holds, then RHS must hold. For example, (A & B) implies A.
34 inline bool implies(const LExpr *RHS) const;
37 LExpr(Opcode Kind) : Kind(Kind) {}
43 class Terminal : public LExpr {
47 Terminal(til::SExpr *Expr) : LExpr(LExpr::Terminal), Expr(Expr) {}
52 static bool classof(const LExpr *E) { return E->kind() == LExpr::Terminal;
[all...] |
| /external/clang/lib/Analysis/ |
| ThreadSafetyLogical.cpp | 16 using namespace clang::threadSafety::lexpr;
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) {
45 case LExpr::And:
52 case LExpr::Or:
59 case LExpr::Not:
63 case LExpr::Terminal:
70 case LExpr::And:
77 case LExpr::Or:
84 case LExpr::Not
104 namespace lexpr { namespace in namespace:clang::threadSafety
[all...] |
| /build/kati/ |
| eval.go | 568 lexpr := iast.lhs
571 params, err := ev.args(buf, lexpr, rexpr)
573 return iast.errorf("%v\n (%s,%s)", err, lexpr, rexpr)
|
| /external/selinux/libsepol/cil/src/ |
| cil_build_ast.c | 2707 struct cil_list *lexpr; local
[all...] |
