diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-09-30 17:27:23 +0200 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-09-30 17:32:25 +0200 |
commit | d09786a563c7cbea8aa27c0e7da0dff4231b9253 (patch) | |
tree | 5f02a672362a959741da855329a1d3c64f1ad63c /runtime/arm | |
parent | a8586f12b75687061a6d8df9d23696d35f4472f0 (diff) | |
download | compcert-d09786a563c7cbea8aa27c0e7da0dff4231b9253.tar.gz compcert-d09786a563c7cbea8aa27c0e7da0dff4231b9253.zip |
Various improvements for diagnostics.
* Extend check for incomplete type.
Extended the check to also include a check for variables with
incomplete object type that are not arrays, that have an
initializer. Furthermore the warning includes the type and variable
name.
* Warning for incomplete type in compound literals.
Incomplete types are not allowed for compound literals, except for
array types.
* Extend type printing function.
The type of a typedeof of an anonymous type should not be printed.
Furthermore added '<anonymous>' to the printing of anonymous types.
* Unify incomplete type errors message.
The incomplete type error messages should all look the same including
name of the variable, parameter, etc. and then the incomplete type.
Diffstat (limited to 'runtime/arm')
0 files changed, 0 insertions, 0 deletions