https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540
--- Comment #12 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > Actually, the null pointer str4 is dereferenced four times: > at lines 39, 40, 68, 69. I agree for lines 39 and 68, but in lines it points to the strings 'ABCDEFGH' and 4_'ABCDEFGH' AFAIU pointers.