&& TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (ref))) == NULL_TREE)
/* Accesses after the end of arrays of size 0 (gcc
extension) and 1 are likely intentional ("struct
- hack"). Note that up_bound is array dimension - 1. */
- || compare_tree_int (up_bound, 1) < 0)
+ hack"). */
+ || compare_tree_int (up_bound, 1) <= 0)
return;
low_bound = array_ref_low_bound (ref);