IsMallocCalled should be may

goblint · Nov 19, 2023 · 720cfee · 720cfee
1 parent 7289ec3
commit 720cfee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -7,7 +7,7 @@ open AnalysisStateUtil
 
 module ToppedVarInfoSet = SetDomain.ToppedSet(CilType.Varinfo)(struct let topname = "All Heap Variables" end)
 module ThreadsToHeapVarsMap = MapDomain.MapBot(ThreadIdDomain.Thread)(ToppedVarInfoSet)
-module WasMallocCalled = BoolDomain.MustBool
+module WasMallocCalled = BoolDomain.MayBool
 module Spec : Analyses.MCPSpec =
 struct
   include Analyses.IdentitySpec