https://gcc.gnu.org/g:032f5216d3e72fb74c10b4214bf7c25c1708e985
commit r17-870-g032f5216d3e72fb74c10b4214bf7c25c1708e985 Author: Javier Miranda <[email protected]> Date: Tue Feb 24 19:03:38 2026 +0000 ada: Fix regression under GNATProve mode This patch fixes a regression recently introduced compiling code under GNATprove mode. gcc/ada/ChangeLog: * sem_res.adb (Resolve_Declare_Expression): Do not create a transient scope under GNATprove mode. Diff: --- gcc/ada/sem_res.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 3af928ee1e2b..33148e935a26 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -7775,6 +7775,7 @@ package body Sem_Res is -- be needed, we assume the worst case. if not Preanalysis_Active + and then not GNATprove_Mode and then (Requires_Transient_Scope (Typ) or else Has_Sec_Stack_Call (Expr)) then
