Do not ignore safeToRemove instructions with no users

zacikpa · Dec 14, 2023 · 650263c · 650263c
1 parent 395902b
commit 650263c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/diffkemp/simpll/DifferentialFunctionComparator.cpp b/diffkemp/simpll/DifferentialFunctionComparator.cpp
@@ -517,6 +517,7 @@ bool DifferentialFunctionComparator::maySkipInstruction(
         return true;
     }
     if (config.Patterns.GroupVars && Inst->isSafeToRemove()
+        && Inst->user_begin() != Inst->user_end()
         && allUsersAreExtraMemInsts(Inst)) {
         // If this is a safe instruction (not a store, call, or a terminator),
         // it can be ignored if its users are extra memory instructions, i.e.,