Fix bug in cif

ftsrg · Nov 13, 2024 · d2a174f · d2a174f
1 parent 2e797b9
commit d2a174f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/subprojects/xcfa/c2xcfa/src/main/java/hu/bme/mit/theta/c2xcfa/FrontendXcfaBuilder.kt b/subprojects/xcfa/c2xcfa/src/main/java/hu/bme/mit/theta/c2xcfa/FrontendXcfaBuilder.kt
@@ -768,7 +768,9 @@ class FrontendXcfaBuilder(
       xcfaEdge = XcfaEdge(elseEnd, endLoc, metadata = getMetadata(statement))
       builder.addEdge(xcfaEdge)
     } else {
-      xcfaEdge = XcfaEdge(elseBranch, endLoc, metadata = getMetadata(statement))
+      val elseAfterGuard =
+        buildPostStatement(guard, ParamPack(builder, elseBranch, breakLoc, continueLoc, returnLoc))
+      xcfaEdge = XcfaEdge(elseAfterGuard, endLoc, metadata = getMetadata(statement))
       builder.addEdge(xcfaEdge)
     }
     xcfaEdge = XcfaEdge(mainEnd, endLoc, metadata = getMetadata(statement))