diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-22 13:57:18 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:57:18 +0000 |
| commit | 2c26d262eb40998040308a57d420849fd764ef53 (patch) | |
| tree | ad86ead6ecaf4265f5c0ca53de99abe66e94e43b /gcc/tree-cfg.c | |
| parent | 2418e23139edd33f1cab2158b46ac9bbd81b8bd7 (diff) | |
| download | gcc-2c26d262eb40998040308a57d420849fd764ef53.zip gcc-2c26d262eb40998040308a57d420849fd764ef53.tar.gz gcc-2c26d262eb40998040308a57d420849fd764ef53.tar.bz2 | |
[Ada] Further fix non-stored discriminant in aggregate for GNATprove
GNATprove expects discriminants appearing in aggregates and their types
to be resolved to stored discriminants. This extends the machinery that
makes sure this is the case for default initialization expressions so as
to also handle component associations in these expressions.
2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_aggr.adb (Rewrite_Bound): Be prepared for discriminals
too.
(Rewrite_Range;): Minor tweak.
(Resolve_Record_Aggregate): For a component with default
initialization whose expression is an array aggregate, also
rewrite the bounds of the component associations, if any.
From-SVN: r273679
Diffstat (limited to 'gcc/tree-cfg.c')
0 files changed, 0 insertions, 0 deletions