| commit | 3590b8e7850cc77324c0116718d3587401142d1c | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Tue, 11 Apr 2023 10:15:22 +0000 (11 12:15 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 30 May 2023 07:12:15 +0000 (30 09:12 +0200) | ||
| tree | 298178bec811c612ad28180c2e493edc63fb5746 | treesnapshot (tar.gz zip) |
| parent | 7302efc23eb80f9a40954ac7e316889cd848ca12 | commitdiff |
ada: Fix visibility error with DIC or Type_Invariant aspect on generic type
The compiler fails to capture global references during the analysis of the
aspect on the generic type because it analyzes a copy of the expression.
gcc/ada/
* exp_util.adb (Build_DIC_Procedure_Body.Add_Own_DIC): When inside
a generic unit, preanalyze the expression directly.
(Build_Invariant_Procedure_Body.Add_Own_Invariants): Likewise.
The compiler fails to capture global references during the analysis of the
aspect on the generic type because it analyzes a copy of the expression.
gcc/ada/
* exp_util.adb (Build_DIC_Procedure_Body.Add_Own_DIC): When inside
a generic unit, preanalyze the expression directly.
(Build_Invariant_Procedure_Body.Add_Own_Invariants): Likewise.
| gcc/ada/exp_util.adb | diffblobblamehistory |