Searched refs:makeEquals (Results 1 – 6 of 6) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | Arena.cpp | 91 const Formula &Arena::makeEquals(const Formula &LHS, const Formula &RHS) { in makeEquals() function in clang::dataflow::Arena
146 Op = &Arena::makeEquals; in parse()
|
| H A D | DataflowAnalysisContext.cpp | 207 Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2))); in equivalentFormulas()
231 Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token), in addTransitiveFlowConditionConstraints()
|
| H A D | SimplifyConstraints.cpp | 42 return arena.makeEquals(substitute(*F.operands()[0], Substitutions, arena), in substitute()
|
| H A D | DataflowEnvironment.cpp | 120 A.makeEquals(MergedVal, Expr1)), in mergeDistinctValues()
122 A.makeEquals(MergedVal, Expr2)))); in mergeDistinctValues()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Arena.h | 105 const Formula &makeEquals(const Formula &LHS, const Formula &RHS);
|
| H A D | DataflowEnvironment.h | 571 arena().makeEquals(LHS.formula(), RHS.formula())); in makeIff()
|