https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65168
--- Comment #2 from Jan Kratochvil <jan.kratochvil at redhat dot com> --- It should check the '!&r' condition which makes no sense. The variable initialization in real world programs is too complicated to be able to figure out it may be NULL.