diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-20 11:16:42 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-20 11:16:42 +0200 |
| commit | 778d0cc5f87472f2da267be8356e5aef7fb75f96 (patch) | |
| tree | f73e4af31380008c555512497a12ac9ec67398e8 /cparser/Cutil.mli | |
| parent | 939977c7142222d0ec0b67322b06daa187a7b829 (diff) | |
| download | compcert-kvx-778d0cc5f87472f2da267be8356e5aef7fb75f96.tar.gz compcert-kvx-778d0cc5f87472f2da267be8356e5aef7fb75f96.zip | |
Improve support and diagnostic for type qualified arrays (#118)
* Add diagnostic for type qualified arrays that occur in the wrong place
Arrays with type qualifiers (e.g. int t[const 5]) are only allowed as
function parameters and for them
only the outermost array type derivation.
Bug 23400
* Keep attributes from array for argument conversion
Type qualifiers of arrays in function parameters are just syntactic sugar
to allow adding them to the resulting pointer type. Hence, when a
qualified array type such as `int t[const 5]` decays into a pointer type
during argument conversion, the pointer type should be qualified, e.g. `int * const t`.
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 9b09a413..43cbe9bd 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -175,6 +175,8 @@ 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 *) |