Don't warn for non-local vars in address set if they're globals

goblint · Oct 4, 2023 · 5cb10f6 · 5cb10f6
1 parent 2c883eb
commit 5cb10f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -1055,7 +1055,7 @@ struct
             (* Warn if any of the addresses contains a non-local variable *)
             AD.iter (function
                 | AD.Addr.Addr (v,o) ->
-                  if not @@ CPA.mem v st.cpa then (
+                  if not (CPA.mem v st.cpa) && not (is_global a v) then (
                     (* TODO: Not the smartest move to set the global flag within an iter *)
                     (* TODO: We can resort to using AD.exists instead *)
                     AnalysisStateUtil.set_mem_safety_flag InvalidDeref;