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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115349 --- Comment #3 from simon at pushface dot org --- The attachment says, effectively, V: IntVecs.Vector; -- of Positive U : Positive; begin ... U := V'Reduce ("+", 0); So if V is empty V’Reduce has to return 0 and the assignment will

[Bug ada/118731] New: ICE with iterator in container aggregate

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118731 Bug ID: 118731 Summary: ICE with iterator in container aggregate Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada

[Bug ada/118731] ICE with iterator in container aggregate

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118731 simon at pushface dot org changed: What|Removed |Added Host||x86_64-apple-darwin23 --- Co

[Bug ada/118782] New: Internal compiler error with -gnatyc

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118782 Bug ID: 118782 Summary: Internal compiler error with -gnatyc Product: gcc Version: 15.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956 --- Comment #4 from simon at pushface dot org --- (In reply to simon from comment #1) > It’s the -gnatX. It seems to be the combination of -gnata with either -gnat2022 or -gnatX -- and this package doesn’t need either!

<    1   2