Revert spurious changes to base.ml

goblint · Nov 22, 2023 · 8ae1172 · 8ae1172
1 parent c5cda33
commit 8ae1172
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -1056,13 +1056,7 @@ struct
             );
             (* Warn if any of the addresses contains a non-local and non-global variable *)
             if AD.exists (function
-                | AD.Addr.Addr (v, _) ->
-                  (M.tracel "wtf" "checking for %a\n" CilType.Varinfo.pretty v;
-                   if v.vglob then
-                     (* this is OK *)
-                     false
-                   else
-                     (not (CPA.mem v st.cpa)) || WeakUpdates.mem v st.weak)
+                | AD.Addr.Addr (v, _) -> not (CPA.mem v st.cpa) && not (is_global a v)
                 | _ -> false
               ) adr then (
               AnalysisStateUtil.set_mem_safety_flag InvalidDeref;