https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96418
anlauf at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |vehre at gcc dot gnu.org --- Comment #3 from anlauf at gcc dot gnu.org --- CC'ing Andre as the author of commit r7-5273 .