On 11 December 2017 at 18:58, Thomas Koenig <tkoe...@netcologne.de> wrote: > >> I have created https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83379 >> and assigned it to myself. This should be easy to fix. > > > OK, I have updated the test cases in question. They pass for > me at least. > > I'll keep the PR open for a couple of days to make sure this > is really fixed. >
Thanks, it seems clean now. Christophe > Regards > > Thomas
