LBE fix

ftsrg · Jan 18, 2024 · e712a35 · e712a35
1 parent 64e1160
commit e712a35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/LbePass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/LbePass.kt
@@ -276,7 +276,7 @@ class LbePass(val parseContext: ParseContext) : ProcedurePass {
         if (location.outgoingEdges.size != 1) return false
         val outEdge = location.outgoingEdges.first()
         if (
-            location.incomingEdges.any { edge -> edge.getFlatLabels().any { it is InvokeLabel || (it is StmtLabel && it.stmt is AssumeStmt) } }
+            location.incomingEdges.any { edge -> edge.getFlatLabels().any { it is InvokeLabel } }
             || location.outgoingEdges.any { edge -> edge.getFlatLabels().any { it is InvokeLabel } }
             || (level == LbeLevel.LBE_LOCAL && !atomicPhase && isNotLocal(outEdge))
         ) {