https://gcc.gnu.org/g:c6b571c6c7c45bd86abe4de22fb5f10130ed92e1
commit r15-10052-gc6b571c6c7c45bd86abe4de22fb5f10130ed92e1
Author: Piotr Trojanek <troja...@adacore.com>
Date: Fri Jul 4 11:52:46 2025 +0200
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:
---
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 3fced544fb5f..d4bfd64483a4 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
