Remove warnings about unknowns in function arguments

goblint · Sep 4, 2023 · 9077859 · 9077859
1 parent ce15998
commit 9077859
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -497,13 +497,11 @@ struct
    * the pointer arguments. *)
   let get_ptrs (vals: value list): address list =
     let f (x:value) acc = match x with
-      | Address adrs when AD.is_top adrs ->
-        M.info ~category:Unsound "Unknown address given as function argument"; acc
+      | Address adrs when AD.is_top adrs -> acc (* TODO: keep Addrs *)
       | Address adrs when AD.to_var_may adrs = [] -> acc
       | Address adrs ->
         let typ = AD.type_of adrs in
         if isFunctionType typ then acc else adrs :: acc
-      | Top -> M.info ~category:Unsound "Unknown value type given as function argument"; acc
       | _ -> acc
     in
     List.fold_right f vals []