| commit | c6b571c6c7c45bd86abe4de22fb5f10130ed92e1 | [log] [tgz] |
|---|---|---|
| author | Piotr Trojanek <trojanek@adacore.com> | Fri Jul 04 11:52:46 2025 +0200 |
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | Tue Jul 22 12:10:33 2025 +0200 |
| tree | 3fef7a6d36fcd9b0c37a7a5ef343a88aee1a6dbc | |
| parent | 633f73c006f94e13dea2a0d5a5423f632c25c38f [diff] |
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.