Do not print disabled malloc uniqueness counter

goblint · Jan 2, 2024 · 47e11ee · 47e11ee
1 parent 5b00197
commit 47e11ee
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/analyses/wrapperFunctionAnalysis.ml b/src/analyses/wrapperFunctionAnalysis.ml
@@ -131,7 +131,10 @@ module MallocWrapper : MCPSpec = struct
       CilType.Location.show loc
 
     let name_varinfo (t, node, c) =
-      Format.asprintf "(alloc@sid:%s@tid:%s(#%s))" (Node.show_id node) (ThreadLifted.show t) (UniqueCount.show c)
+      if UniqueCount.is_top c then
+        Format.asprintf "(alloc@sid:%s@tid:%s)" (Node.show_id node) (ThreadLifted.show t)
+      else
+        Format.asprintf "(alloc@sid:%s@tid:%s(#%s))" (Node.show_id node) (ThreadLifted.show t) (UniqueCount.show c)
 
   end