https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66090
Andrew <wad at infinet dot ru> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |wad at infinet dot ru --- Comment #7 from Andrew <wad at infinet dot ru> --- IMHO "So no GCC bug, just wrongly assuming pointers can't become null pointers if they were not null pointers." Nevertheless, that is no reason to generate an INFINITY LOOP, which will be cleaned all the memory, including the NULL address.