commit 26954c281ec7db6b3a4612ec87bcfb672ee5e0e3
author Alastair Donaldson <afdx@google.com> Wed Oct 21 20:49:33 2020 +0100
committer GitHub <noreply@github.com> Wed Oct 21 20:49:33 2020 +0100
tree 0f4380f928f4f49a4206ae7941df5c2150189050
parent 5600fb85b6c208611400878f534b24a9afd591c9

spirv-fuzz: Skip dead blocks in FuzzerPassAddOpPhiSynonyms (#3965)

Fixes #3949.

source/fuzz/fuzzer_pass_add_opphi_synonyms.cpp

diff --git a/source/fuzz/fuzzer_pass_add_opphi_synonyms.cpp b/source/fuzz/fuzzer_pass_add_opphi_synonyms.cpp
index 88cc830..2b339ca 100644
--- a/source/fuzz/fuzzer_pass_add_opphi_synonyms.cpp
+++ b/source/fuzz/fuzzer_pass_add_opphi_synonyms.cpp
@@ -51,6 +51,12 @@
         continue;
       }
 
+      // The block must not be dead.
+      if (GetTransformationContext()->GetFactManager()->BlockIsDead(
+              block.id())) {
+        continue;
+      }
+
       // The block must have at least one predecessor.
       size_t num_preds = GetIRContext()->cfg()->preds(block.id()).size();
       if (num_preds == 0) {