diff options
| author | Andrew Stubbs <ams@codesourcery.com> | 2015-03-18 14:27:13 +0000 |
|---|---|---|
| committer | Andrew Stubbs <ams@gcc.gnu.org> | 2015-03-18 14:27:13 +0000 |
| commit | b4f3051a5fc315c5103f034b81e4d4b3c288fdc4 (patch) | |
| tree | 69b1cb1f705af4cd981f939fff7d9571ae8a9784 /gcc/testsuite/gcc.dg/undefined-loop-2.c | |
| parent | 1aec2ecce4085a664f489e7a3585d993a9939a1d (diff) | |
| download | gcc-b4f3051a5fc315c5103f034b81e4d4b3c288fdc4.zip gcc-b4f3051a5fc315c5103f034b81e4d4b3c288fdc4.tar.gz gcc-b4f3051a5fc315c5103f034b81e4d4b3c288fdc4.tar.bz2 | |
re PR middle-end/64491 (incorrect warning: loop exit may only be reached after undefined behavior)
Fix PR64491
2015-03-18 Andrew Stubbs <ams@codesourcery.com>
PR middle-end/64491
Revert:
2014-11-20 Andrew Stubbs <ams@codesourcery.com>
* tree-ssa-loop-niter.c (maybe_lower_iteration_bound): Warn if a loop
condition would be removed due to undefined behaviour.
2015-03-18 Andrew Stubbs <ams@codesourcery.com>
PR middle-end/64491
Revert:
2014-11-20 Andrew Stubbs <ams@codesourcery.com>
* gcc.dg/undefined-loop-1.c: New file.
* gcc.dg/undefined-loop-2.c: New file.
2014-12-24 Andrew Stubbs <ams@codesourcery.com>
PR testsuite/64032
* gcc.dg/undefined-loop-2.c: Don't allow GCC to optimize away the
loop exits too early.
From-SVN: r221492
Diffstat (limited to 'gcc/testsuite/gcc.dg/undefined-loop-2.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/undefined-loop-2.c | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/gcc/testsuite/gcc.dg/undefined-loop-2.c b/gcc/testsuite/gcc.dg/undefined-loop-2.c deleted file mode 100644 index 7ab37f4..0000000 --- a/gcc/testsuite/gcc.dg/undefined-loop-2.c +++ /dev/null @@ -1,25 +0,0 @@ -/* Check that loops whose final iteration is undefined are detected. */ -/* { dg-do compile } */ -/* { dg-options "-O2 -Waggressive-loop-optimizations" } */ - -void doSomething(char); - -char array1[5]; -char array2[5]; - -void -foo (int p) -{ - int i; - for (i=0; - (p - ? array1[i] /* { dg-message "note: possible undefined statement is here" } */ - : array2[i]) /* { dg-message "note: possible undefined statement is here" } */ - && i < 100; /* { dg-warning "loop exit may only be reached after undefined behavior" } */ - i++) - { - if (i >= 5) /* { dg-warning "loop exit may only be reached after undefined behavior" } */ - break; - doSomething(array1[i]); - } -} |