Lines Matching refs:IsPotentiallyReachableTest

30 class IsPotentiallyReachableTest : public testing::Test {  class
135 TEST_F(IsPotentiallyReachableTest, SameBlockNoPath) { in TEST_F() argument
149 TEST_F(IsPotentiallyReachableTest, SameBlockPath) { in TEST_F() argument
162 TEST_F(IsPotentiallyReachableTest, SameBlockNoLoop) { in TEST_F() argument
179 TEST_F(IsPotentiallyReachableTest, StraightNoPath) { in TEST_F() argument
192 TEST_F(IsPotentiallyReachableTest, StraightPath) { in TEST_F() argument
205 TEST_F(IsPotentiallyReachableTest, DestUnreachable) { in TEST_F() argument
220 TEST_F(IsPotentiallyReachableTest, BranchToReturn) { in TEST_F() argument
235 TEST_F(IsPotentiallyReachableTest, SimpleLoop1) { in TEST_F() argument
253 TEST_F(IsPotentiallyReachableTest, SimpleLoop2) { in TEST_F() argument
271 TEST_F(IsPotentiallyReachableTest, SimpleLoop3) { in TEST_F() argument
290 TEST_F(IsPotentiallyReachableTest, OneLoopAfterTheOther1) { in TEST_F() argument
313 TEST_F(IsPotentiallyReachableTest, OneLoopAfterTheOther2) { in TEST_F() argument
336 TEST_F(IsPotentiallyReachableTest, OneLoopAfterTheOtherInsideAThirdLoop) { in TEST_F() argument
387 TEST_F(IsPotentiallyReachableTest, BranchInsideLoop) { in TEST_F() argument
392 TEST_F(IsPotentiallyReachableTest, ModifyTest) { in TEST_F() argument
403 TEST_F(IsPotentiallyReachableTest, UnreachableFromEntryTest) { in TEST_F() argument
415 TEST_F(IsPotentiallyReachableTest, UnreachableBlocksTest1) { in TEST_F() argument
429 TEST_F(IsPotentiallyReachableTest, UnreachableBlocksTest2) { in TEST_F() argument
443 TEST_F(IsPotentiallyReachableTest, SimpleExclusionTest) { in TEST_F() argument
457 TEST_F(IsPotentiallyReachableTest, DiamondExcludedTest) { in TEST_F() argument
476 TEST_F(IsPotentiallyReachableTest, DiamondOneSideExcludedTest) { in TEST_F() argument
495 TEST_F(IsPotentiallyReachableTest, UnreachableToReachable) { in TEST_F() argument