On 03/30/2016 01:18 PM, Dominique d'Humières wrote: > Is the following patch OK for trunk and the gcc-4.9 and gcc-5 branches after some delay (bootstrapped and regtested on x86_64-apple-darwin15)? Yes, OK, thanks for help!! Jerry