https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66711
--- Comment #1 from Steffen Müthing <steffen.muething at iwr dot uni-heidelberg.de> --- I just noticed the wrong filename (error.cc) and driver (cc1plus) in the first two outputs: I compiled those with g++ instead of gcc, but the same problem is present in the C frontend.
