Use GoblintCil.upointType directly

Avoid reconstructing type from which the ikind was extracted to begin with.

Author: sim642

src/cdomain/value/cdomains/valueDomain.ml

@@ -702,7 +702,7 @@ struct
     | (x, Top) -> x
     | (Int x, Int y) -> Int (ID.meet x y)
     | (Float x, Float y) -> Float (FD.meet x y)
-    | (Int _, Address _) -> meet x (cast (TInt(Cilfacade.ptr_ikind (),[])) y)
+    | (Int _, Address _) -> meet x (cast !GoblintCil.upointType y)
     | (Address x, Int y) -> Address (AD.meet x (AD.of_int y))
     | (Address x, Address y) -> Address (AD.meet x y)
     | (Struct x, Struct y) -> Struct (Structs.meet x y)
@@ -727,7 +727,7 @@ struct
     match (x,y) with
     | (Int x, Int y) -> Int (ID.narrow x y)
     | (Float x, Float y) -> Float (FD.narrow x y)
-    | (Int _, Address _) -> narrow x (cast (TInt(Cilfacade.ptr_ikind (),[])) y)
+    | (Int _, Address _) -> narrow x (cast !GoblintCil.upointType y)
     | (Address x, Int y) -> Address (AD.narrow x (AD.of_int y))
     | (Address x, Address y) -> Address (AD.narrow x y)
     | (Struct x, Struct y) -> Struct (Structs.narrow x y)