https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78203
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- > In my opinion, the warning should be given Nobody contradicted you, we agree that it would be good to issue the warning. We already know about this issue (there are duplicates you can search for in bugzilla). The reason we haven't fixed it yet is that it is hard (we don't want to generate tons of false positives, or to pessimize code generation, etc). If you know how to fix it, contributing a patch to gcc-patc...@gcc.gnu.org would be welcome.
