diff --git a/src/analyses/malloc_null.ml b/src/analyses/malloc_null.ml
index 4311bc9ded..e990272700 100644
--- 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
index a8689d9e8b..b3eb9f6f7a 100644
--- 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