Home
last modified time | relevance | path

Searched refs:getOrCreateConjunction (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DDataflowAnalysisContextTest.cpp38 auto &XAndX = Context.getOrCreateConjunction(X, X); in TEST_F()
46 auto &XAndY1 = Context.getOrCreateConjunction(X, Y); in TEST_F()
47 auto &XAndY2 = Context.getOrCreateConjunction(X, Y); in TEST_F()
50 auto &YAndX = Context.getOrCreateConjunction(Y, X); in TEST_F()
54 auto &XAndZ = Context.getOrCreateConjunction(X, Z); in TEST_F()
258 Context.getOrCreateConjunction(X, False), False)); in TEST_F()
275 Context.getOrCreateConjunction(Context.getOrCreateConjunction(X, Y), Z), in TEST_F()
276 Context.getOrCreateConjunction(X, Context.getOrCreateConjunction(Y, Z)))); in TEST_F()
473 ForkedFCWithZTrue, Context.getOrCreateConjunction(X, Y))); in TEST_F()
528 JoinedFCWithXFalse, Context.getOrCreateConjunction(Y, Z))); in TEST_F()
[all …]
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp81 BoolValue &DataflowAnalysisContext::getOrCreateConjunction(BoolValue &LHS, in getOrCreateConjunction() function in clang::dataflow::DataflowAnalysisContext
147 Res.first->second = &getOrCreateConjunction(*Res.first->second, Constraint); in addFlowConditionConstraint()
269 Result = &getOrCreateConjunction(LeftSub, RightSub); in substituteBoolValue()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h289 return DACtx->getOrCreateConjunction(LHS, RHS); in makeAnd()
H A DDataflowAnalysisContext.h177 BoolValue &getOrCreateConjunction(BoolValue &LHS, BoolValue &RHS);