On Thu, May 18, 2017 at 09:03:31AM +0200, Richard Biener wrote:
> On Wed, May 17, 2017 at 4:10 PM, Marek Polacek wrote:
> > We are failing to detect accessing a null pointer in >i because
> > v_3 = _2->i;
> > is not gimple_assign_load_p:
> > 1997 if (flag_sanitize &
On Wed, May 17, 2017 at 4:10 PM, Marek Polacek wrote:
> We are failing to detect accessing a null pointer in >i because
> v_3 = _2->i;
> is not gimple_assign_load_p:
> 1997 if (flag_sanitize & (SANITIZE_NULL | SANITIZE_ALIGNMENT))
> 1998 {
> 1999
We are failing to detect accessing a null pointer in >i because
v_3 = _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);