From d850d021663e58747a21b70623a61be1a19289b4 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <boris.yakobowski@cea.fr>
Date: Thu, 3 Oct 2013 15:23:27 +0000
Subject: [PATCH] [E-acsl] Use isPointerType instead of isPtrType
---
src/plugins/e-acsl/pre_analysis.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/pre_analysis.ml b/src/plugins/e-acsl/pre_analysis.ml
index ca6a846d617..50aaf41caaf 100644
--- a/src/plugins/e-acsl/pre_analysis.ml
+++ b/src/plugins/e-acsl/pre_analysis.ml
@@ -42,7 +42,6 @@ let init_mpz () =
(* ********************************************************************** *)
let dkey = Options.dkey_analysis
-
module Env: sig
val default_varinfos: Varinfo.Hptset.t option -> Varinfo.Hptset.t
val apply: (kernel_function -> 'a) -> kernel_function -> 'a
@@ -191,7 +190,7 @@ module rec Transfer
Some
(Varinfo.Hptset.union (Env.default_varinfos s1) (Env.default_varinfos s2))
- let is_ptr_or_array ty = Cil.isPtrType ty || Cil.isArrayType ty
+ let is_ptr_or_array ty = Cil.isPointerType ty || Cil.isArrayType ty
let is_ptr_or_array_exp e =
let ty = Cil.typeOf e in
--
GitLab