https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065 --- Comment #32 from Nicolas Boulenguez <nicolas at debian dot org> --- Created attachment 59645 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59645&action=edit Differences between v12 and v13