Searched refs:JoinedFC (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysisContextTest.cpp | 504 auto &JoinedFC = Context.joinFlowConditions(FC1, FC2); in TEST_F() local
505 Context.addFlowConditionConstraint(JoinedFC, Z); in TEST_F()
509 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&X, &True}}); in TEST_F()
511 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &True}}); in TEST_F()
517 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Z, &True}}); in TEST_F()
524 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&X, &False}}); in TEST_F()
526 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &False}}); in TEST_F()
534 Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Z, &False}}); in TEST_F()
|