http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55561
--- Comment #34 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2013-01-10 11:26:23 UTC --- (In reply to comment #33) > Can you sent it to review? You can also mention that it fixes issue 40362. I had a closer look at PR40362. Actually, I don't think this patch fixes PR40362, as it only addresses the config/linux/ variant and not the config/posix/ (which is what the --disable-linux-futex choice in PR40362 follows). I would be happy if you could sent the patch, I wouldn't be able to explain the rationale for the changes, I just followed your instructions in comment #26. You'll notice that the changelog I prepared also puts your name, I think this is appropriate.