[Bug ada/125984] [15/16/17 regression] wrong code at -O1 for up-level reference

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125984

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
                 CC|                            |ebotcazou at gcc dot gnu.org
            Summary|[16/17 regression] GNAT     |[15/16/17 regression] wrong
                   |16.1.0 generates incorrect  |code at -O1 for up-level
                   |code at -O1 for nested      |reference
                   |procedure accessing         |
                   |enclosing-scope variables   |
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2026-06-25
   Target Milestone|16.2                        |15.4

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
This can be reproduced with GCC 15.x too, but 13.x and 14.x are OK.