https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80265
--- Comment #29 from Pedro Alves <palves at redhat dot com> --- OK, our messages crossed. Thanks for the clarification. I can't really comment on the optimizers.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80265
--- Comment #29 from Pedro Alves <palves at redhat dot com> --- OK, our messages crossed. Thanks for the clarification. I can't really comment on the optimizers.