From 250d660b8e4c975b1c04cd1fa6203f64b6f87d1a Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Mon, 30 Dec 2024 17:33:11 +0100 Subject: [PATCH] Copy `zeroinit` from left arg Co-authored-by: Simmo Saan --- src/cdomain/value/cdomains/valueDomain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cdomain/value/cdomains/valueDomain.ml b/src/cdomain/value/cdomains/valueDomain.ml index 2f841568f7..03273d3911 100644 --- 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