https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84198
simon at pushface dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |simon at pushface dot org --- Comment #2 from simon at pushface dot org --- You can find the options when gcc was configured/built by gcc-7 -v