CHB: add diagnostics

Author: sipma

CodeHawk/CHB/bchlib/bCHBCTypeUtil.ml

@@ -229,6 +229,8 @@ let is_float_double t = match t with TFloat (FDouble, _, _) -> true | _ -> false
 
 let is_pointer t = match t with TPtr _ -> true | _ -> false
 
+let is_char_pointer t = match t with TPtr (TInt (IChar, _), _) -> true | _  -> false
+
 let is_void_pointer t = match t with TPtr (TVoid _, _) -> true | _ -> false
 
 let is_scalar t = (is_int t) || (is_float t) || (is_pointer t)

CodeHawk/CHB/bchlib/bCHBCTypeUtil.mli

@@ -147,6 +147,7 @@ val is_float_float: btype_t -> bool
 val is_float_double: btype_t -> bool
 val is_scalar: btype_t -> bool
 val is_pointer: btype_t -> bool
+val is_char_pointer: btype_t -> bool
 val is_void_pointer: btype_t -> bool
 val is_unsigned: btype_t -> bool  (* true if unsigned, false if signed or unknown *)
 val is_function_type: btype_t -> bool