BASIL-19: Fixed redundant code

UQ-PAC · Oct 5, 2023 · e96fdcb · e96fdcb
1 parent 3109458
commit e96fdcb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/main/scala/analysis/NonReturningFunctions.scala b/src/main/scala/analysis/NonReturningFunctions.scala
@@ -86,6 +86,7 @@ class NonReturningFunctions {
                   case directCall: DirectCall =>
                     directCall.returnTarget match {
                       case Some(t) =>
+
                         blocksToRemove.enqueue(t.label)
                       case _ =>
                     }

diff --git a/src/main/scala/util/RunUtils.scala b/src/main/scala/util/RunUtils.scala
@@ -75,7 +75,7 @@ object RunUtils {
 
     val IRTranslator = BAPToIR(bapProgram, mainAddress, externalFunctions)
     var IRProgram = IRTranslator.translate
-    NonReturningFunctions().transform(IRProgram.procedures, externalFunctions)
+    NonReturningFunctions().transform(IRProgram.procedures)
 
     val specification = loadSpecification(specFileName, IRProgram, globals)