Use Cil.isIntegralType in constants analysis

goblint · Oct 28, 2024 · 28dc22b · 28dc22b
1 parent 9a8dd4e
commit 28dc22b
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/src/analyses/tutorials/constants.ml b/src/analyses/tutorials/constants.ml
@@ -18,13 +18,8 @@ struct
   (* No contexts *)
   include Analyses.IdentityUnitContextsSpec
 
-  let is_integer_var (v: varinfo) =
-    match v.vtype with
-      | TInt _ -> true
-      | _ -> false
-
   let get_local = function
-    | Var v, NoOffset when is_integer_var v && not (v.vglob || v.vaddrof) -> Some v (* local integer variable whose address is never taken *)
+    | Var v, NoOffset when isIntegralType v.vtype && not (v.vglob || v.vaddrof) -> Some v (* local integer variable whose address is never taken *)
     | _, _ -> None
 
   (** Evaluates expressions *)