https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70255
--- Comment #13 from Marek Polacek <mpolacek at gcc dot gnu.org> --- So what exactly is not documented? And I disagree that a warning isn't necessary just because something is documented -- that applies for almost any warning.