https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80138
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- It isn't spurious. Of little use and unwanted, yes. It is telling you that the compiler assumed that your code was correct, that can hardly be wrong...
