Don't set InvalidMemTrack flag a second time

Co-authored-by: Michael Schwarz <[email protected]>
goblint · Nov 8, 2023 · 175b003 · 175b003
1 parent c056b32
commit 175b003
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -55,7 +55,6 @@ struct
       (* Check and warn if some of the allocated memory is not deallocated at program exit *)
       match assert_exp_imprecise, exp with
       | true, Some exp ->
-        set_mem_safety_flag InvalidMemTrack;
         set_mem_safety_flag InvalidMemcleanup;
         M.warn ~category:(Behavior (Undefined MemoryLeak)) ~tags:[CWE 401] "Assert expression %a is unknown. Memory leak might possibly occur for heap variables: %a" d_exp exp D.pretty allocated_mem
       | _ ->