diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-07-08 00:01:15 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-02 09:34:06 +0200 |
| commit | 7f64e37c1f6d5c0e7db588171cfff194cd78d490 (patch) | |
| tree | 67663e5141972509a292fd757676f95bfa3d4242 /gcc/gcc.cc | |
| parent | 08a897d4ff7a482159148e2be9df83dae5a1055c (diff) | |
| download | gcc-7f64e37c1f6d5c0e7db588171cfff194cd78d490.zip gcc-7f64e37c1f6d5c0e7db588171cfff194cd78d490.tar.gz gcc-7f64e37c1f6d5c0e7db588171cfff194cd78d490.tar.bz2 | |
[Ada] Fix crash on declaration of overaligned array with constraints
The semantic analyzer was setting the Is_Constr_Subt_For_UN_Aliased flag on
the actual subtype of the object, which is incorrect because the nominal
subtype is constrained. This also adjusts a recent related change.
gcc/ada/
* exp_util.adb (Expand_Subtype_From_Expr): Check for the presence
of the Is_Constr_Subt_For_U_Nominal flag instead of the absence
of the Is_Constr_Subt_For_UN_Aliased flag on the subtype of the
expression of an object declaration before reusing this subtype.
* sem_ch3.adb (Analyze_Object_Declaration): Do not incorrectly
set the Is_Constr_Subt_For_UN_Aliased flag on the actual subtype
of an array with definite nominal subtype. Remove useless test.
Diffstat (limited to 'gcc/gcc.cc')
0 files changed, 0 insertions, 0 deletions