http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50643 --- Comment #2 from Jon Grant <jg at jguk dot org> 2012-01-01 11:58:05 UTC --- differentiation between: * error * promoted-to-error No visibility for the user as they appear the same in the output. Is the differentiation needed?