new smatch
@@ -56,11 +56,11 @@ if (rl_max(rl).uvalue < array_size) return; if (buf_comparison_index_ok(expr)) return; - if (getting_address()) + if (getting_address(expr)) return; if (is_capped(offset)) return; set_state_expr(my_used_id, offset, alloc_state_num(array_size)); }