[Bug c/88581] GCC thinks that
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88581 --- Comment #3 from Anders Granlund --- Yes. That is correct.
[Bug c/88581] GCC thinks that
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88581 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---
[Bug c/88581] GCC thinks that
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88581 Marek Polacek changed: What|Removed |Added CC||mpolacek at gcc dot gnu.org --- Comment