This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/25643] VRP does not remove -fbounds-check for Fortran
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 2 Jan 2006 20:23:47 -0000
- Subject: [Bug tree-optimization/25643] VRP does not remove -fbounds-check for Fortran
- References: <bug-25643-6528@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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