https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88158
sandra at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at redhat dot com, | |jason at redhat dot com, | |nathan at acm dot org --- Comment #1 from sandra at gcc dot gnu.org --- CC'ing relevant maintainers + patch author.