diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-21 10:18:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-21 10:18:56 +0200 |
| commit | 32c34a37e913b856e0267ad8c7ca6e65b96c0b23 (patch) | |
| tree | 92705f910dbb288e5b67a86bec40ecc14a039810 /cparser/Cutil.mli | |
| parent | a773dca6ddd1bca6b4780ea9387ab96deb001da8 (diff) | |
| download | compcert-kvx-32c34a37e913b856e0267ad8c7ca6e65b96c0b23.tar.gz compcert-kvx-32c34a37e913b856e0267ad8c7ca6e65b96c0b23.zip | |
Diagnostic for wrong application of restrict (#119)
Restrict is only allowed for pointers whose referenced type is an
object type or incomplete type, but not a function type.
Bug 23397
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 43cbe9bd..491551a4 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -158,8 +158,12 @@ val is_composite_type : Env.t -> typ -> bool (* Is type a struct or union? *) val is_function_type : Env.t -> typ -> bool (* Is type a function type? (not pointer to function) *) +val is_function_pointer_type : Env.t -> typ -> bool + (* Is type a pointer to function type? *) val is_anonymous_composite : typ -> bool - (* Is type an anonymous composite? *) + (* Is type an anonymous composite? *) +val is_qualified_array : typ -> bool + (* Does the type contain a qualified array type (e.g. int[const 5])? *) val pointer_arithmetic_ok : Env.t -> typ -> bool (* Is the type [*ty] appropriate for pointer arithmetic? [ty] must not be void, nor a function type, nor an incomplete type. *) @@ -175,8 +179,6 @@ val integer_rank : ikind -> int (* Order integer kinds from smaller to bigger *) val float_rank : fkind -> int (* Order float kinds from smaller to bigger *) -val is_qualified_array : typ -> bool - (* Does the type contain a qualified array type (e.g. int[const 5])? *) (* Usual conversions over types *) |