50   CFGDomTree Dom;  in TEST()  local
51   Dom.buildDominatorTree(cfg);  in TEST()
53   EXPECT_TRUE(Dom.dominates(ExitBlock, ExitBlock));  in TEST()
54   EXPECT_FALSE(Dom.properlyDominates(ExitBlock, ExitBlock));  in TEST()
55   EXPECT_TRUE(Dom.dominates(CaseABlock, ExitBlock));  in TEST()
56   EXPECT_TRUE(Dom.dominates(SwitchBlock, ExitBlock));  in TEST()
57   EXPECT_TRUE(Dom.dominates(EntryBlock, ExitBlock));  in TEST()
59   EXPECT_TRUE(Dom.dominates(CaseABlock, CaseABlock));  in TEST()
60   EXPECT_FALSE(Dom.properlyDominates(CaseABlock, CaseABlock));  in TEST()
61   EXPECT_TRUE(Dom.dominates(SwitchBlock, CaseABlock));  in TEST()
62   EXPECT_TRUE(Dom.dominates(EntryBlock, CaseABlock));  in TEST()
64   EXPECT_TRUE(Dom.dominates(SwitchBlock, SwitchBlock));  in TEST()
65   EXPECT_FALSE(Dom.properlyDominates(SwitchBlock, SwitchBlock));  in TEST()
66   EXPECT_TRUE(Dom.dominates(EntryBlock, SwitchBlock));  in TEST()
68   EXPECT_TRUE(Dom.dominates(EntryBlock, EntryBlock));  in TEST()
69   EXPECT_FALSE(Dom.properlyDominates(EntryBlock, EntryBlock));  in TEST()
80   EXPECT_FALSE(Dom.properlyDominates(EntryBlock, EntryBlock));  in TEST()
85   EXPECT_FALSE(Dom.properlyDominates(SwitchBlock, SwitchBlock));  in TEST()
89   EXPECT_FALSE(Dom.properlyDominates(CaseABlock, CaseABlock));  in TEST()
92   EXPECT_FALSE(Dom.properlyDominates(ExitBlock, ExitBlock));  in TEST()