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

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-01-02 20:23 -------
C testcase:
int v[10000]={0};
void f(int n)
{
  int i;
  if (n <= 0)
    return;
  if (n > 0)
    {
      i = 1;
      do {
        _Bool t = i <= 0;
        _Bool t1 = i > n;
        _Bool t2 = t || t1;
        if (t2)  __builtin_abort ();

        v[i] = i*i;

        i++;
      } while (i != n);
    }
}


-- 


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