Lines Matching refs:reachable
186 // In this case, the loop is reachable from a node without a predecessor,
222 // In this case, the loop is not reachable from a node without a
642 // If a merge block is reachable, then it must be strictly dominated by
4390 ASSERT_TRUE(entry->reachable());
4392 ASSERT_TRUE(end->reachable());
4432 ASSERT_TRUE(b6->reachable());
4433 ASSERT_TRUE(b7->reachable());
4434 ASSERT_TRUE(b8->reachable());
4435 ASSERT_TRUE(b9->reachable());
4436 ASSERT_TRUE(b10->reachable());
4437 ASSERT_FALSE(b11->reachable());