Print this page
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));
 }