https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80385 --- Comment #1 from Jason Koenig <jrkoenig at stanford dot edu> --- Created attachment 41169 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41169&action=edit main.ii (gzipped)