add attribute to ghost variables

goblint · Feb 2, 2024 · 9d46472 · 9d46472
1 parent 81b450a
commit 9d46472
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/common/util/richVarinfo.ml b/src/common/util/richVarinfo.ml
@@ -1,6 +1,9 @@
 open GoblintCil
 
-let create_var ~isGlobal name typ = Cilfacade.create_var @@ makeVarinfo isGlobal name typ
+let create_var ~isGlobal name typ = 
+  let v = Cilfacade.create_var @@ makeVarinfo isGlobal name typ in
+  v.vattr <- [Attr("ghost",[])]; (*add attribute to track those variables in [relationPriv]*)
+  v
 
 let single ~name typ =
   let vi = lazy (create_var ~isGlobal:true name typ) in