On 05/29/2017 09:50 AM, Pierre-Marie de Rodat wrote:
> Bootstrapped and reg-tested on x86_64-linux.  Ok to commit? Thank you in
> advance!

I just realized that I forgot to add the testcase: here it is, sorry!

-- 
Pierre-Marie de Rodat