Searched defs:FlowConditionTest (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 1205 TEST_F(FlowConditionTest, Conjunction) { in TEST_F() argument
1242 TEST_F(FlowConditionTest, Disjunction) { in TEST_F() argument
1279 TEST_F(FlowConditionTest, NegatedConjunction) { in TEST_F() argument
1316 TEST_F(FlowConditionTest, DeMorgan) { in TEST_F() argument
1038 class FlowConditionTest : public Test { global() class
1059 TEST_F(FlowConditionTest,IfStmtSingleVar) TEST_F() argument
1090 TEST_F(FlowConditionTest,IfStmtSingleNegatedVar) TEST_F() argument
1121 TEST_F(FlowConditionTest,WhileStmt) TEST_F() argument
1145 TEST_F(FlowConditionTest,WhileStmtWithAssignmentInCondition) TEST_F() argument
1168 TEST_F(FlowConditionTest,Conjunction) TEST_F() argument
1351 TEST_F(FlowConditionTest,OpaqueFlowConditionJoinsToOpaqueBool) TEST_F() argument
1386 TEST_F(FlowConditionTest,OpaqueFieldFlowConditionJoinsToOpaqueBool) TEST_F() argument
1424 TEST_F(FlowConditionTest,OpaqueFlowConditionInsideBranchJoinsToOpaqueBool) TEST_F() argument
1454 TEST_F(FlowConditionTest,PointerToBoolImplicitCast) TEST_F() argument
[all...] |