Searched refs:getOrCreateIff (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContextTest.cpp | 118 auto &XIffX = Context.getOrCreateIff(X, X); in TEST_F()
126 auto &XIffY1 = Context.getOrCreateIff(X, Y); in TEST_F()
127 auto &XIffY2 = Context.getOrCreateIff(X, Y); in TEST_F()
130 auto &YIffX = Context.getOrCreateIff(Y, X); in TEST_F()
134 auto &XIffZ = Context.getOrCreateIff(X, Z); in TEST_F()
429 Context.addFlowConditionConstraint(FC, Context.getOrCreateIff(X, Y)); in TEST_F()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 126 BoolValue &DataflowAnalysisContext::getOrCreateIff(BoolValue &LHS, in getOrCreateIff() function in clang::dataflow::DataflowAnalysisContext
202 &getOrCreateNegation(getOrCreateIff(Val1, Val2))}; in equivalentBoolValues()
219 Constraints.insert(&getOrCreateIff(Token, *ConstraintsIt->second)); in addTransitiveFlowConditionConstraints()
287 Result = &getOrCreateIff(LeftSub, RightSub); in substituteBoolValue()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 319 return DACtx->getOrCreateIff(LHS, RHS); in makeIff()
|
| H A D | DataflowAnalysisContext.h | 199 BoolValue &getOrCreateIff(BoolValue &LHS, BoolValue &RHS);
|