https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125179
--- Comment #3 from Edoardo Lolletti <edoardo762 at gmail dot com> --- Created attachment 64366 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64366&action=edit preprocessed source compressed for size
