Hi, I committed a test case for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67539 with
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=80198c701a7fc09e736ccffe470ee5033ca59a69 but that commit did not make it into the PR, I put it in by hand. I had this problem previously, then it was thought that the messed-up spellling of my name caused this. That has been fixed by now. Any ideas what could be going wrong? Best regards Thomas