[Bug c/88367] [9 Regression] -fno-delete-null-pointer-checks doesn't work properly
rguenth at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Wed Dec 5 12:29:00 GMT 2018
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88367
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |9.0
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
This isn't about NULL pointers. &link_a->map_link is never NULL unless link_a
is a NULL pointer and map_link is the first member. Thus GCC preserves the
check
with
struct X { int i; };
int foo (struct X *p)
{
return &p->i == (void *)0;
}
I suspect your hlist_entry et al have a returns_nonnull attribute or so?
More information about the Gcc-bugs
mailing list