https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84986 --- Comment #1 from Gergö Barany <gergo.barany at inria dot fr> --- Created attachment 43714 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43714&action=edit test driver