Searched refs:makeImplies (Results 1 – 5 of 5) sorted by relevance
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
H A D | Arena.cpp | 78 const Formula &Arena::makeImplies(const Formula &LHS, const Formula &RHS) { in makeImplies() function in clang::dataflow::Arena 144 Op = &Arena::makeImplies; in parse()
|
H A D | SimplifyConstraints.cpp | 38 return arena.makeImplies( in substitute()
|
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
H A D | UncheckedOptionalAccessModel.cpp | 380 return A.makeImplies(A.makeNot(ExprVal), in transferValueOrStringEmptyCall() 395 return A.makeImplies(ExprVal, HasValueVal); in transferValueOrNotEqX() 572 A.makeImplies(EqVal, A.makeOr(A.makeAnd(LHS, RHS), in evaluateEquality() 574 A.makeImplies(A.makeNot(EqVal), A.makeOr(LHS, RHS))); in evaluateEquality()
|
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
H A D | Arena.h | 102 const Formula &makeImplies(const Formula &LHS, const Formula &RHS);
|
H A D | DataflowEnvironment.h | 562 arena().makeImplies(LHS.formula(), RHS.formula())); in makeImplication()
|