Fix bug in uninit and malloc_null

Author: michael-schwarz

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

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