[Bug ada/117956] assertion failure on 'Old in post-condition with -gnat2022

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|assertion failure in        |assertion failure on 'Old
                   |precondition of Sinfo.Nodes |in post-condition with
                   |with -gnatX                 |-gnat2022
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot 
gnu.org
              Build|x86_64-apple-darwin         |
           Keywords|ice-checking                |
               Host|x86_64-apple-darwin         |
             Target|x86_64-apple-darwin         |
             Status|NEW                         |ASSIGNED

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
In fact -gnat2022 is already sufficient.  Investigating.