https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77614
--- Comment #1 from Lorenz <gcc at 4z2 dot de> --- Created attachment 39629 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39629&action=edit preprocessed file, exhibiting missed optimization -- gzipped because too large otherwise