Lines Matching defs:IsPotentiallyReachableTest

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