Searched refs:LNeg (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 24 return implies(A->left(), LNeg, RHS, RNeg) && in implies()
25 implies(A->right(), LNeg, RHS, RNeg); in implies()
28 return implies(LHS, LNeg, A->left(), RNeg) && in implies()
29 implies(LHS, LNeg, A->right(), RNeg); in implies()
34 return implies(A->left(), LNeg, RHS, RNeg) || in implies()
35 implies(A->right(), LNeg, RHS, RNeg); in implies()
38 return implies(LHS, LNeg, A->left(), RNeg) || in implies()
39 implies(LHS, LNeg, A->right(), RNeg); in implies()
74 return LNeg ? LeftAndOperator(cast<And>(LHS)) in implies()
81 return LNeg ? LeftOrOperator(cast<Or>(LHS)) in implies()
[all …]
|