Searched refs:getOrCreateDisjunction (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContextTest.cpp | 61 auto &XOrX = Context.getOrCreateDisjunction(X, X); in TEST_F()
69 auto &XOrY1 = Context.getOrCreateDisjunction(X, Y); in TEST_F()
70 auto &XOrY2 = Context.getOrCreateDisjunction(X, Y); in TEST_F()
73 auto &YOrX = Context.getOrCreateDisjunction(Y, X); in TEST_F()
77 auto &XOrZ = Context.getOrCreateDisjunction(X, Z); in TEST_F()
242 Context.getOrCreateDisjunction(X, True), True)); in TEST_F()
245 Context.getOrCreateDisjunction(X, False), X)); in TEST_F()
262 Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y), in TEST_F()
271 Context.getOrCreateDisjunction(Context.getOrCreateDisjunction(X, Y), Z), in TEST_F()
272 Context.getOrCreateDisjunction(X, Context.getOrCreateDisjunction(Y, Z)))); in TEST_F()
[all …]
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 94 BoolValue &DataflowAnalysisContext::getOrCreateDisjunction(BoolValue &LHS, in getOrCreateDisjunction() function in clang::dataflow::DataflowAnalysisContext
166 getOrCreateDisjunction(FirstToken, SecondToken)); in joinFlowConditions()
260 Result = &getOrCreateDisjunction(LeftSub, RightSub); in substituteBoolValue()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 297 return DACtx->getOrCreateDisjunction(LHS, RHS); in makeOr()
|
| H A D | DataflowAnalysisContext.h | 183 BoolValue &getOrCreateDisjunction(BoolValue &LHS, BoolValue &RHS);
|