https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84052
ezannoni <ezannoni at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ezannoni at gmail dot com --- Comment #10 from ezannoni <ezannoni at gmail dot com> --- Hi Andrew, do you have a pointer to the committee recommendation or discussion, it would be helpful to understand the reasoning. thanks