From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 4 Jul 2025 09:52:46 +0000 (+0200)
Subject: ada: Tune recent change for bit-packed arrays to help GNATprove backend
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6b571c6c7c45bd86abe4de22fb5f10130ed92e1;p=thirdparty%2Fgcc.git

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

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