http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53184
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> --- Somebody could suggest an appropriate name for the warning. Then a patchlet would be easy to do and also easy to approve I think (naming warnings is in general a sensible idea)
