https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540
--- Comment #9 from Vittorio Zecca <zeccav at gmail dot com> --- This test case is wrong. It dereferences thrice a NULL pointer str4. Unfortunately -fcheck=pointer does not detect this one. Just added to the CC list the test case author.