> For those we are unsure whether it is best to: > > a) wait for a fix; > b) implement a workaround in the pretty-printer. I think you missed another possibility: c) fix it in clang and submit a patch -Alexei