[Bug tree-optimization/25643] VRP does not remove -fbounds-check for Fortran

[pinskia at gcc dot gnu dot org]

------- Comment #10 from pinskia at gcc dot gnu dot org  2008-01-12 12:48 -------
There should be no call to _gfortran_runtime_error_at and I still get one:
  # i_2 = PHI <1(3), i_27(6)>
  if (i_2 > size.1_4)
    goto <bb 5>;
  else
    goto <bb 6>;

<bb 5>:
  # i_32 = PHI <i_2(4)>  _gfortran_runtime_error_at (&"At line 7 of file
t.f90"[1]{lb: 1 sz: 1}, &"Array reference out of bounds for array \'v\', upper
bound of dimension 1 exceeded (%ld > %ld)"[1]{lb: 1 sz: 1}, i_32, size.1_4);


Yes one call to _gfortran_runtime_error_at is removed but that is the lower
bound one.

Even the C testcase has the same issue.
we still get a call to abort:
L4:
        call    _abort


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25643