From c6b571c6c7c45bd86abe4de22fb5f10130ed92e1 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 4 Jul 2025 11:52:46 +0200 Subject: [PATCH] ada: Tune recent change for bit-packed arrays to help GNATprove backend When GNAT is operating in GNATprove_Mode the Expander_Active flag is disabled, but we still must do things that ordinary backends expect. gcc/ada/ChangeLog: * sem_util.adb (Get_Actual_Subtype): Do the same for GCC and GNATprove backends. --- gcc/ada/sem_util.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 3fced544fb5..d4bfd64483a 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -10002,7 +10002,7 @@ package body Sem_Util is -- pass to the back end should contain no references to Atyp (and a -- freeze node would contain such a reference). - elsif not Expander_Active then + elsif not (Expander_Active or GNATprove_Mode) then return Typ; -- Else build the actual subtype -- 2.47.2