Copy zeroinit from left arg

Co-authored-by: Simmo Saan <[email protected]>
goblint · Dec 30, 2024 · 250d660 · 250d660
1 parent f606f5d
commit 250d660
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomain/value/cdomains/valueDomain.ml b/src/cdomain/value/cdomains/valueDomain.ml
@@ -1004,7 +1004,7 @@ struct
         | Blob (x,s,zeroinit), _ ->
           begin
             match offs, value with
-            | `NoOffset, Blob (x2, s2, zeroinit2) -> mu (Blob (join x x2, ID.join s s2,ZeroInit.join zeroinit zeroinit2))
+            | `NoOffset, Blob (x2, s2, zeroinit2) -> mu (Blob (join x x2, ID.join s s2, zeroinit))
             | _ ->
               let l', o' = shift_one_over l o in
               let x = zero_init_calloced_memory zeroinit x t in