Assertion failure in Simplify :: DynamicSingleAssignment

[aaronbembenek]

Hi there,

I tried running the attached program with BASIL (commit 4cad6a5) options --analyse --memory-regions dsa --simplify. I get this error:

[INFO]   [!] Loading Program
[INFO]   [!] Removing external function calls
[INFO]   [!] Replacing Indirect Calls
[INFO]   [!] Generating Procedure Summaries
[INFO]   [!] Running Symbolic Access Analysis
[INFO]   [!] Running DSA Analysis
[INFO]   [!] Finished indirect call resolution after 1 iterations
[INFO]   [!] Running Simplify
[INFO]   [!] Simplify :: DynamicSingleAssignment
Exception in thread "main" java.lang.AssertionError: assertion failed: should always have at least one processed predecessor List(Block errorFn_1848__0__b8tsihT4Q6a_SWPo4w8HoA with LocalVar(R0, bv64) := LocalVar(R0_in, bv64)
LocalVar(R10, bv64) := LocalVar(R10_in, bv64)
LocalVar(R11, bv64) := LocalVar(R11_in, bv64)
LocalVar(R12, bv64) := LocalVar(R12_in, bv64)
LocalVar(R13, bv64) := LocalVar(R13_in, bv64)
LocalVar(R14, bv64) := LocalVar(R14_in, bv64)
LocalVar(R15, bv64) := LocalVar(R15_in, bv64)
LocalVar(R16, bv64) := LocalVar(R16_in, bv64)
LocalVar(R17, bv64) := LocalVar(R17_in, bv64)
LocalVar(R18, bv64) := LocalVar(R18_in, bv64)
LocalVar(R1, bv64) := LocalVar(R1_in, bv64)
LocalVar(R29, bv64) := LocalVar(R29_in, bv64)
LocalVar(R2, bv64) := LocalVar(R2_in, bv64)
LocalVar(R30, bv64) := LocalVar(R30_in, bv64)
LocalVar(R31, bv64) := LocalVar(R31_in, bv64)
LocalVar(R3, bv64) := LocalVar(R3_in, bv64)
LocalVar(R4, bv64) := LocalVar(R4_in, bv64)
LocalVar(R5, bv64) := LocalVar(R5_in, bv64)
LocalVar(R6, bv64) := LocalVar(R6_in, bv64)
LocalVar(R7, bv64) := LocalVar(R7_in, bv64)
LocalVar(R8, bv64) := LocalVar(R8_in, bv64)
LocalVar(R9, bv64) := LocalVar(R9_in, bv64)
LocalVar(R30_begin, bv64) := LocalVar(R30, bv64)
1848_1: GoTo(errorFn_1848__0__b8tsihT4Q6a_SWPo4w8HoA))
        at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
        at ir.transforms.OnePassDSA.fixPredecessors(DynamicSingleAssignment.scala:115)
        at ir.transforms.OnePassDSA.visitBlock(DynamicSingleAssignment.scala:245)
        at ir.transforms.OnePassDSA.applyTransform(DynamicSingleAssignment.scala:293)
        at ir.transforms.OnePassDSA.applyTransform$$anonfun$1(DynamicSingleAssignment.scala:97)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
        at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
        at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:619)
        at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:617)
        at scala.collection.AbstractIterable.foreach(Iterable.scala:935)
        at ir.transforms.OnePassDSA.applyTransform(DynamicSingleAssignment.scala:96)
        at util.RunUtils$.doSimplify(RunUtils.scala:741)
        at util.RunUtils$.loadAndTranslate(RunUtils.scala:870)
        at util.RunUtils$.run(RunUtils.scala:702)
        at Main$.main(Main.scala:266)
        at Main.main(Main.scala)

Thanks!

TRACER-testloop2_VeriMAP_true.zip