aboutsummaryrefslogtreecommitdiff
path: root/source/fuzz/transformation_add_dead_block.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/fuzz/transformation_add_dead_block.cpp')
-rw-r--r--source/fuzz/transformation_add_dead_block.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/source/fuzz/transformation_add_dead_block.cpp b/source/fuzz/transformation_add_dead_block.cpp
index 82e8cd8f..df700ce5 100644
--- a/source/fuzz/transformation_add_dead_block.cpp
+++ b/source/fuzz/transformation_add_dead_block.cpp
@@ -79,9 +79,7 @@ bool TransformationAddDeadBlock::IsApplicable(
}
// |existing_block| must be reachable.
- opt::DominatorAnalysis* dominator_analysis =
- ir_context->GetDominatorAnalysis(existing_block->GetParent());
- if (!dominator_analysis->IsReachable(existing_block->id())) {
+ if (!ir_context->IsReachable(*existing_block)) {
return false;
}
@@ -94,6 +92,8 @@ bool TransformationAddDeadBlock::IsApplicable(
// the selection construct, its header |existing_block| will not dominate the
// merge block |successor_block_id|, which is invalid. Thus, |existing_block|
// must dominate |successor_block_id|.
+ opt::DominatorAnalysis* dominator_analysis =
+ ir_context->GetDominatorAnalysis(existing_block->GetParent());
if (!dominator_analysis->Dominates(existing_block->id(),
successor_block_id)) {
return false;