diff options
| author | Bob Duff <duff@adacore.com> | 2022-05-25 11:51:52 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-04 07:45:56 +0000 |
| commit | 3319015b0a498ed1050d6910f75430a6fc401f50 (patch) | |
| tree | 6fd43b44b2e5cd783ca893ed67c19599a9e15069 /gcc/gimple-loop-jam.cc | |
| parent | 02e41e69d4762937f6ba927059e22abf84801b32 (diff) | |
| download | gcc-3319015b0a498ed1050d6910f75430a6fc401f50.zip gcc-3319015b0a498ed1050d6910f75430a6fc401f50.tar.gz gcc-3319015b0a498ed1050d6910f75430a6fc401f50.tar.bz2 | |
[Ada] Fix missing error on 'Access of constrained array
For X'Access, the designated subtype of the access type must statically
match the nominal subtype of X. This patch fixes a bug where the error
was not detected when there is an unrelated declaration of the form "Y :
T := X;", where T is an unconstrained array subtype.
gcc/ada/
* exp_util.adb (Expand_Subtype_From_Expr): Generate a new
subtype when Is_Constr_Subt_For_UN_Aliased is True, so the
Is_Constr_Subt_For_U_Nominal flag will not be set on the
preexisting subtype.
* sem_attr.adb, sem_ch3.adb: Minor.
Diffstat (limited to 'gcc/gimple-loop-jam.cc')
0 files changed, 0 insertions, 0 deletions