Fix bug in uninit and malloc_null

goblint · Feb 19, 2025 · 7ab076e · 7ab076e
1 parent 125672a
commit 7ab076e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/analyses/malloc_null.ml b/src/analyses/malloc_null.ml
@@ -103,7 +103,7 @@ struct
               | _ -> false)
           |> Queries.AD.join a
         (* Ignore soundness warnings, as invalidation proper will raise them. *)
-        | _ -> AD.empty () (* TODO: correct?! *)
+        | _ -> a
       in
       List.fold_left do_exp (AD.empty ()) args
     in

diff --git a/src/analyses/uninit.ml b/src/analyses/uninit.ml
@@ -202,7 +202,7 @@ struct
               | _ -> false)
           |> Queries.AD.join a
         (* Ignore soundness warnings, as invalidation proper will raise them. *)
-        | _ -> AD.empty ()
+        | _ -> a
       in
       List.fold_right do_exp args (AD.empty ())
     in