Searched refs:LNeg (Results 1 – 1 of 1) sorted by relevance
| /NextBSD/contrib/llvm/tools/clang/lib/Analysis/ |
| HD | ThreadSafetyLogical.cpp | 20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies() argument
25 return implies(A->left(), LNeg, RHS, RNeg) && in implies()
26 implies(A->right(), LNeg, RHS, RNeg); in implies()
29 return implies(LHS, LNeg, A->left(), RNeg) && in implies()
30 implies(LHS, LNeg, A->right(), RNeg); in implies()
35 return implies(A->left(), LNeg, RHS, RNeg) || in implies()
36 implies(A->right(), LNeg, RHS, RNeg); in implies()
39 return implies(LHS, LNeg, A->left(), RNeg) || in implies()
40 implies(LHS, LNeg, A->right(), RNeg); in implies()
62 return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg); in implies()
[all …]
|