On 01/18/2016 10:47 AM, Pierre-Marie de Rodat wrote:
> Thank you for your inputs! I’m going to try that, then. I hope this test
> will not be too fragile…

Here it is! Re-bootstrapped and regtested successfuly on x86_64-linux. 
I’ve checked that the testcase fails on the mainline.

-- 
Pierre-Marie de Rodat