[Bug fortran/80768] NULL pointer dereferenced in gfc_check_num_images at fortran/check.c
mpolacek at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Tue May 16 16:36:00 GMT 2017
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80768
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
We don't instrument such expressions because
v_3 = &s_2->i;
is not gimple_assign_load_p:
1997 if (flag_sanitize & (SANITIZE_NULL | SANITIZE_ALIGNMENT))
1998 {
1999 if (gimple_store_p (stmt))
2000 instrument_null (gsi, true);
2001 if (gimple_assign_load_p (stmt))
2002 instrument_null (gsi, false);
2003 }
More information about the Gcc-bugs
mailing list