From 918adccdf1f85273e016452c8da6f6b241496cb8 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 d1d2537c6d6..4c289c251f0 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -10073,7 +10073,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