[Bug ada/123138] [15/16 Regression] ICE when comparing reduction expression with integer constant

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

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

--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Wow, that was fast! Thank you so much!

You're welcome.  Yes, it turns out that the resolution of reduction expressions
has been a hot topic lately.