Print this page
11972 resync smatch
*** 56,66 ****
if (rl_max(rl).uvalue < array_size)
return;
if (buf_comparison_index_ok(expr))
return;
! if (getting_address())
return;
if (is_capped(offset))
return;
set_state_expr(my_used_id, offset, alloc_state_num(array_size));
}
--- 56,66 ----
if (rl_max(rl).uvalue < array_size)
return;
if (buf_comparison_index_ok(expr))
return;
! if (getting_address(expr))
return;
if (is_capped(offset))
return;
set_state_expr(my_used_id, offset, alloc_state_num(array_size));
}