reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/Analysis/ThreadSafetyLogical.cpp

   24     return implies(A->left(), LNeg, RHS, RNeg) &&
   25            implies(A->right(), LNeg, RHS, RNeg);
   28     return implies(LHS, LNeg, A->left(), RNeg) &&
   29            implies(LHS, LNeg, A->right(), RNeg);
   34     return implies(A->left(), LNeg, RHS, RNeg) ||
   35            implies(A->right(), LNeg, RHS, RNeg);
   38     return implies(LHS, LNeg, A->left(), RNeg) ||
   39            implies(LHS, LNeg, A->right(), RNeg);
   61     return implies(LHS, LNeg, cast<Not>(RHS)->exp(), !RNeg);
   86     return implies(cast<Not>(LHS)->exp(), !LNeg, RHS, RNeg);
  107   return ::implies(LHS, false, RHS, false);