Don't set InvalidMemTrack flag a second time

Co-authored-by: Michael Schwarz <[email protected]>
goblint · Nov 8, 2023 · 05e4892 · 05e4892
1 parent 175b003
commit 05e4892
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -58,7 +58,6 @@ struct
         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
       | _ ->
-        set_mem_safety_flag InvalidMemTrack;
         set_mem_safety_flag InvalidMemcleanup;
         M.warn ~category:(Behavior (Undefined MemoryLeak)) ~tags:[CWE 401] "Memory leak detected for heap variables: %a" D.pretty allocated_mem