JacoDB produces incorrect 3-address code for IINC instruction #146

UnitTestBot · Aug 30, 2023 · 576f852 · 576f852
1 parent 870cebb
commit 576f852
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/jacodb-core/src/main/kotlin/org/jacodb/impl/cfg/RawInstListBuilder.kt b/jacodb-core/src/main/kotlin/org/jacodb/impl/cfg/RawInstListBuilder.kt
@@ -409,15 +409,18 @@ class RawInstListBuilder(
         } else {
             instructionList(insn).add(inst)
         }
-        when {
-            insn.isBranchingInst -> postfixInstructions.forEach {
-                instructionList(insn).add(0, it.value)
-            }
-            inst !is JcRawReturnInst -> postfixInstructions.forEach {
-                instructionList(insn).add(it.value)
+        if (postfixInstructions.isNotEmpty()) {
+            when {
+                insn.isBranchingInst -> postfixInstructions.forEach {
+                    instructionList(insn).add(0, it.value)
+                }
+
+                inst !is JcRawReturnInst -> postfixInstructions.forEach {
+                    instructionList(insn).add(it.value)
+                }
             }
+            postfixInstructions.clear()
         }
-        postfixInstructions.clear()
     }
 
     private fun nextRegister(typeName: TypeName): JcRawValue {