From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 10 Oct 2024 11:06:12 +0000 (+0200)
Subject: ada: Fix internal error on alignment clause for type declared in generic unit
X-Git-Tag: basepoints/gcc-16~4653
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f6afd361c53c319f5151ddd6c0700eea8b0125c9;p=thirdparty%2Fgcc.git

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 --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