https://gcc.gnu.org/g:f6afd361c53c319f5151ddd6c0700eea8b0125c9
commit r15-4900-gf6afd361c53c319f5151ddd6c0700eea8b0125c9
Author: Eric Botcazou <ebotca...@adacore.com>
Date: Thu Oct 10 13:06:12 2024 +0200
ada: Fix internal error on alignment clause for type declared in generic
unit
The front-end raises Program_Error on an alignment clause for a type in a
generic unit that references the alignment of another type in the unit.
gcc/ada/ChangeLog:
PR ada/117051
* freeze.adb (Freeze_Entity): Call the layout procedure on subtypes
declared in a generic unit when they are static.
Diff:
---
gcc/ada/freeze.adb | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index c7e3be028a7c..9a862176c30a 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -8022,9 +8022,11 @@ package body Freeze is
-- generation, and so the size and alignment values for such types
-- are irrelevant. Ditto for types declared within a generic unit,
-- which may have components that depend on generic parameters, and
- -- that will be recreated in an instance.
+ -- that will be recreated in an instance, except for static subtypes
+ -- because they may be referenced in the static expressions of the
+ -- generic unit, which need to be evaluated during its processing.
- if Inside_A_Generic then
+ if Inside_A_Generic and then not Is_Static_Subtype (E) then
null;
-- Otherwise we call the layout procedure
