https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122197
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> --- We have similar false positives in other cases where GCC incorrectly opitimize over impossible code path. Some of the warnings checks that the error must happen and adjust formualtion of the warning. I am not sure how to solve those except for declaring that this should be done by static analyzers.
