[Bug middle-end/87041] [8/9 Regression] GCC 8 regression: -Wformat "reading through null pointer" on unreachable code

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87041

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I don't think we want to move it there, that will mean lots of false positives
due to jump threading etc.
It is a good thing this is a FE warning.