[Bug ada/127880] internal error on instantiation with postcondition on formal subprogram

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot 
gnu.org
            Summary|GNAT BUG DETECTED           |internal error on
                   |instantiating generic       |instantiation with
                   |                            |postcondition on formal
                   |                            |subprogram
             Status|NEW                         |ASSIGNED