Searched refs:getOrCreateImplication (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContextTest.cpp | 96 auto &XImpliesX = Context.getOrCreateImplication(X, X); in TEST_F()
104 auto &XImpliesY1 = Context.getOrCreateImplication(X, Y); in TEST_F()
105 auto &XImpliesY2 = Context.getOrCreateImplication(X, Y); in TEST_F()
108 auto &YImpliesX = Context.getOrCreateImplication(Y, X); in TEST_F()
112 auto &XImpliesZ = Context.getOrCreateImplication(X, Z); in TEST_F()
397 Context.addFlowConditionConstraint(FC, Context.getOrCreateImplication(X, Y)); in TEST_F()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 114 BoolValue &DataflowAnalysisContext::getOrCreateImplication(BoolValue &LHS, in getOrCreateImplication() function in clang::dataflow::DataflowAnalysisContext
278 Result = &getOrCreateImplication(LeftSub, RightSub); in substituteBoolValue()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 311 return DACtx->getOrCreateImplication(LHS, RHS); in makeImplication()
|
| H A D | DataflowAnalysisContext.h | 193 BoolValue &getOrCreateImplication(BoolValue &LHS, BoolValue &RHS);
|