Consider is_modular for Addr.of_mval, of_var.

Pass this flag an the variable to varinfo_or_canonical that may choose to select a canoncial representation for the variable.
goblint · Nov 28, 2023 · c40ec43 · c40ec43
1 parent a6eab9c
commit c40ec43
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/cdomains/addressDomain.ml b/src/cdomains/addressDomain.ml
@@ -76,8 +76,12 @@ module AddressPrintable (Mval: Mval.Printable) =
 struct
   include AddressBase (Mval)
 
-  let of_var ~is_modular x = Addr (x, `NoOffset)
-  let of_mval ~is_modular (x, o) = Addr (x, o)
+  let of_mval ~is_modular (x, o) =
+    let x = ModularUtil0.varinfo_or_canonical ~is_modular x in
+    Addr (x, o)
+
+  let of_var ~is_modular x =
+    of_mval ~is_modular (x, `NoOffset)
 
   let to_var = function
     | Addr (x,_) -> Some x