https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83394
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- This PR is solely about the lack of the warning for the case where we were warning about it (and should be warning about it). It shouldn't be an error, warning is right.