https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60517
--- Comment #17 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #16) > Note that we still do not warn for my original testcase. I didn't close the PR ;-) There are patches around that may need more work, see these discussions (I picked a random message for the link): https://gcc.gnu.org/ml/gcc-patches/2014-07/msg00376.html https://gcc.gnu.org/ml/gcc-patches/2014-07/msg00422.html (apparently the patches do manage to warn on your original testcase, at least I said so in one of the emails)