CHC: extend const check with pconst and deref type

Author: sipma

CodeHawk/CHC/cchlib/cCHTypesUtil.ml

@@ -385,9 +385,20 @@ let is_bool_type (ik:ikind) =
 
 let has_const_attribute (t:typ) =
   List.exists
-    (fun a -> match a with | Attr ("const",_) -> true | _ -> false)
+    (fun a ->
+      match a with
+      | Attr ("const", _) -> true
+      | Attr ("pconst", _) -> true
+      | _ -> false)
     (get_typ_attributes t)
 
+
+let has_deref_const_attribute (t: typ) =
+  match t with
+  | TPtr (tgt, _) -> has_const_attribute tgt
+  | _ -> false
+
+
 let is_char ik =
   match ik with IChar | ISChar | IUChar -> true | _ -> false
 

CodeHawk/CHC/cchlib/cCHTypesUtil.mli

@@ -76,6 +76,8 @@ val enum_fits_kind: string -> ikind -> bool
 
 val has_const_attribute: typ -> bool
 
+val has_deref_const_attribute: typ -> bool
+
 val is_not_zero: exp -> bool
 
 val is_safe_int_cast: ikind -> ikind -> bool