]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7302efc) | patch
ada: Fix visibility error with DIC or Type_Invariant aspect on generic type
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 11 Apr 2023 10:15:22 +0000 (12:15 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 30 May 2023 07:12:15 +0000 (09:12 +0200)
commit3590b8e7850cc77324c0116718d3587401142d1c
tree298178bec811c612ad28180c2e493edc63fb5746tree
parent7302efc23eb80f9a40954ac7e316889cd848ca12commit | diff
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.
gcc/ada/exp_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git