diff mbox series

[COMMITTED,4/9] ada: Assert failure in repinfo

Message ID	20240806090241.576862-4-poulhies@adacore.com
State	Committed
Commit	59276c4d98a62e19622dc9ff9905f6d113497811
Headers	DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org AD57E385842A From: =?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Javier Miranda <miranda@adacore.com> Subject: [COMMITTED 4/9] ada: Assert failure in repinfo Date: Tue, 6 Aug 2024 11:02:36 +0200 Message-ID: <20240806090241.576862-4-poulhies@adacore.com> In-Reply-To: <20240806090241.576862-1-poulhies@adacore.com> References: <20240806090241.576862-1-poulhies@adacore.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: list Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org
Series	[COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library \| [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library [COMMITTED,2/9] ada: Fix propagation of SPARK_Mode for renaming-as-body [COMMITTED,3/9] ada: Use fully qualified in the runtime library [COMMITTED,4/9] ada: Assert failure in repinfo [COMMITTED,5/9] ada: Use fully qualified in more library files [COMMITTED,6/9] ada: Spurious error on the default value of a derived scalar type [COMMITTED,7/9] ada: GNAT-LLVM compiler crash on container aggregates with iterators [COMMITTED,8/9] ada: Implement type inference for generic parameters [COMMITTED,9/9] ada: Fix error in GNATprove inlining with array concatenation

Commit Message

Marc Poulhiès Aug. 6, 2024, 9:02 a.m. UTC

  From: Javier Miranda <miranda@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/repinfo.adb | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff mbox series

Patch

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