Added metadata where it was missing

csanadtelbisz · Nov 4, 2024 · 19ff8fe · 19ff8fe
1 parent c5fc837
commit 19ff8fe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/CLibraryFunctionsPass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/CLibraryFunctionsPass.kt
@@ -146,7 +146,7 @@ class CLibraryFunctionsPass : ProcedurePass {
 
                 else -> error("Unsupported library function ${invokeLabel.name}")
               }
-            XcfaEdge(it.source, target, SequenceLabel(labels))
+            XcfaEdge(it.source, target, SequenceLabel(labels), metadata)
               .splitIf { label ->
                 label is FenceLabel && label.labels.any { l -> l.startsWith("start_cond_wait") }
               }

diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/MallocFunctionPass.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/MallocFunctionPass.kt
@@ -89,7 +89,7 @@ class MallocFunctionPass(val parseContext: ParseContext) : ProcedurePass {
                 invokeLabel.metadata,
               )
             val assign2 = AssignStmtLabel(ret, cast(mallocVar.ref, ret.type))
-            builder.addEdge(XcfaEdge(e.source, e.target, SequenceLabel(listOf(assign1, assign2))))
+            builder.addEdge(XcfaEdge(e.source, e.target, SequenceLabel(listOf(assign1, assign2)), e.metadata))
           } else {
             builder.addEdge(e)
           }