"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes: | Still happens with a recent mainline snapshot. This one is tricky. I once had a patch for it, but then the patch broke some other diagnostic. :-( I'll try to revive it. -- Gaby