https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126217

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|check_out_of_bounds_and_war |check_out_of_bounds_and_war
                   |n uses get_legacy_range     |n and
                   |                            |array_bounds_checker::check
                   |                            |_array_ref uses
                   |                            |get_legacy_range

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
  int_range_max vr;
  if (TREE_CODE (low_sub_org) == SSA_NAME)
    {
      get_value_range (vr, low_sub_org, stmt);
      if (!vr.undefined_p () && !vr.varying_p ())
        {
          tree min, max;
          value_range_kind kind = get_legacy_range (vr, min, max);
          low_sub = kind == VR_RANGE ? max : min;
          up_sub = kind == VR_RANGE ? min : max;
        }
    }

Reply via email to