http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49152
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-03-22 11:17:36 UTC --- Also, comment 2 shows another clear bug in the current diagnostics. It doesn't matter whether you prefer carets or types or reconstructed expressions, printing x[1] as *(x + 4u) is plain wrong. So let's keep it open.