aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/undefined-loop-2.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gcc.dg/undefined-loop-2.c')
-rw-r--r--gcc/testsuite/gcc.dg/undefined-loop-2.c25
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]);
- }
-}