https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113536
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |14.0 Last reconfirmed| |2024-02-03 CC| |ebotcazou at gcc dot gnu.org Ever confirmed|0 |1 Summary|valid reduction expression |[14 regression] valid |rejected by -gnatVo |reduction expression | |rejected Status|UNCONFIRMED |NEW --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Yes, it's a regression on the mainline.