Searched refs:LNeg (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| H A D | ThreadSafetyLogical.cpp | 18 // Implication. We implement De Morgan's Laws by maintaining LNeg and RNeg
20 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { argument
25 return implies(A->left(), LNeg, RHS, RNeg) &&
26 implies(A->right(), LNeg, RHS, RNeg);
29 return implies(LHS, LNeg, A->left(), RNeg) &&
30 implies(LHS, LNeg, A->right(), RNeg);
35 return implies(A->left(), LNeg, RHS, RNeg) ||
36 implies(A->right(), LNeg, RHS, RNeg);
39 return implies(LHS, LNeg, A->left(), RNeg) ||
40 implies(LHS, LNeg,
[all...] |
Completed in 591 milliseconds