[Bug ada/115349] GNAT infers the wrong Accum_Type for a Reducer expression

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115349 --- Comment #2 from Jack Perry --- Sorry, that's what I mean by "crash": ``` raised CONSTRAINT_ERROR : intvec.adb:14 range check failed ```

[Bug ada/115349] New: compiler infers the wrong Accum_Type for a Reducer expression

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115349 Bug ID: 115349 Summary: compiler infers the wrong Accum_Type for a Reducer expression Product: gcc Version: 14.1.1 Status: UNCONFIRMED Severity: normal

[Bug ada/113536] valid reduction expression rejected by -gnatVo

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113536 --- Comment #1 from Jack Perry --- Per Simon Wright, gcc 14.0.0 does not fail on this, whereas gcc 14.0.1 does, in the same location, but with a different error: `expected type "Value"... found type "Standard.Character"` I edited his message

[Bug ada/113536] New: valid reduction expression rejected by -gnatVo

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113536 Bug ID: 113536 Summary: valid reduction expression rejected by -gnatVo Product: gcc Version: 13.2.1 Status: UNCONFIRMED Severity: normal Priority: P3

[Bug ada/112524] internal error on quantified expression in others clause

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112524 --- Comment #2 from Jack Perry --- Either way, the correct behavior would be to report an error, right? the `for` expression should be surrounded by parentheses, at least when Ada 2022 is selected. But it seems instead to call that an error

[Bug ada/112524] New: gnat crashes when initializing an array to a size determined by a vector's length

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112524 Bug ID: 112524 Summary: gnat crashes when initializing an array to a size determined by a vector's length Product: gcc Version: 13.2.1 Status: UNCONFIRMED