new 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)); }