Searched refs:addFlowConditionConstraint (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContextTest.cpp | 147 Context.addFlowConditionConstraint(FC, C); in TEST_F()
154 Context.addFlowConditionConstraint(FC1, C1); in TEST_F()
164 Context.addFlowConditionConstraint(FC2, C2); in TEST_F()
175 Context.addFlowConditionConstraint(FC1, C1); in TEST_F()
176 Context.addFlowConditionConstraint(FC1, C3); in TEST_F()
179 Context.addFlowConditionConstraint(FC2, C2); in TEST_F()
180 Context.addFlowConditionConstraint(FC2, C3); in TEST_F()
206 Context.addFlowConditionConstraint(FC4, C1); in TEST_F()
211 Context.addFlowConditionConstraint( in TEST_F()
314 Context.addFlowConditionConstraint(FC, X); in TEST_F()
[all …]
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.cpp | 143 void DataflowAnalysisContext::addFlowConditionConstraint( in addFlowConditionConstraint() function in clang::dataflow::DataflowAnalysisContext
155 addFlowConditionConstraint(ForkToken, Token); in forkFlowCondition()
165 addFlowConditionConstraint(Token, in joinFlowConditions()
|
| H A D | DataflowEnvironment.cpp | 542 DACtx->addFlowConditionConstraint(*FlowConditionToken, Val); in addToFlowCondition()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContext.h | 208 void addFlowConditionConstraint(AtomicBoolValue &Token,
|