[Bug ada/117517] internal error on reduce attribute with swapped arguments

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Reduce attribute creates    |internal error on reduce
                   |bug                         |attribute with swapped
                   |                            |arguments
   Last reconfirmed|2024-11-10 00:00:00         |2024-11-19
           Keywords|                            |ice-on-invalid-code
     Ever confirmed|0                           |1
                 CC|                            |ebotcazou at gcc dot gnu.org
           Severity|normal                      |minor
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The compiler is as confused as the programmer here, but we should give a proper
error message instead of an ICE.  The proper syntax is:

  B : Positive := A'Reduce (Positive'Max, 1);