From: Javier Miranda <miranda@adacore.com>
Date: Mon, 22 Jul 2024 10:26:41 +0000 (+0000)
Subject: ada: Assert failure in repinfo
X-Git-Tag: basepoints/gcc-16~6807
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59276c4d98a62e19622dc9ff9905f6d113497811;p=thirdparty%2Fgcc.git

ada: Assert failure in repinfo

Using switch gnatR4, the frontend crashes when generating information
for a private record type.

gcc/ada/

	* repinfo.adb (List_Record_Info): Handle private record types.
---

diff --git a/gcc/ada/repinfo.adb b/gcc/ada/repinfo.adb
index 7dada5358f7..c08a232a3ab 100644
--- a/gcc/ada/repinfo.adb
+++ b/gcc/ada/repinfo.adb
@@ -521,7 +521,11 @@ package body Repinfo is
 
                elsif Is_Record_Type (E) then
                   if List_Representation_Info >= 1 then
-                     List_Record_Info (E, Bytes_Big_Endian);
+                     if Is_Private_Type (E) then
+                        List_Record_Info (Full_View (E), Bytes_Big_Endian);
+                     else
+                        List_Record_Info (E, Bytes_Big_Endian);
+                     end if;
 
                      --  Recurse into entities local to a record type