https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61904
--- Comment #4 from Linus Torvalds <torva...@linux-foundation.org> --- As I already mentioned to Jakub Jelinek separately in the original email thread about the kernel problem: "Note that I don't personally have a reproducer (my machine has gcc-4.8.3, and I don't see the same behavior), but I included the incorrect fair.s file that Michel sent me (which has all the command line options in it), and a pre-processed "fair.i" source file that I generated and that *should* match the configuration that was the source for that result. So there might be some version/configuration skew there between the two files, but I think they match. Holler if you cannot reproduce the problem based on that." so if the attached *.i and resulting buggy *.s files don't match up perfectly, that's the explanation.
