On 06/11/2015 11:21 AM, Richard Biener wrote:
That sounds perfect: thank you Richard! I am about to commit the original fix on mainline: should I still open a bugreport before commiting it to the GCC 5 branch?Yes please.
For the record, as you already noticed, I opened PR debug/66503. Original fix pushed on both trunk and the GCC 5 branch.
Thank you very much for your help! Should I close the PR, now? -- Pierre-Marie de Rodat