Home
last modified time | relevance | path

Searched defs:implies (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/
H A DThreadSafetyLogical.cpp19 static bool implies(const LExpr *LHS, bool LNeg, const LExpr *RHS, bool RNeg) { in implies() function
105 bool implies(const LExpr *LHS, const LExpr *RHS) { in implies() function
/llvm-project-15.0.7/libcxx/test/std/utilities/optional/optional.object/
H A Dtriviality.pass.cpp30 constexpr bool implies(bool p, bool q) { in implies() function
/llvm-project-15.0.7/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyLogical.h98 bool LExpr::implies(const LExpr *RHS) const { in implies() function
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DScalarEvolution.cpp14187 bool SCEVComparePredicate::implies(const SCEVPredicate *N) const { in implies() function in SCEVComparePredicate
14218 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies() function in SCEVWrapPredicate
14276 bool SCEVUnionPredicate::implies(const SCEVPredicate *N) const { in implies() function in SCEVUnionPredicate