re PR tree-optimization/53265 (Warn when undefined behavior implies smaller iteration...

	PR tree-optimization/53265
	* gcc.dg/graphite/scop-3.c (toto): Increase array size to avoid
	undefined behavior.
	* gcc.dg/graphite/id-6.c (test): Likewise.
	* gcc.dg/graphite/pr35356-2.c: Adjust regexp patterns to only look for
	MIN_EXPR and MAX_EXPR in GIMPLE stmts.

From-SVN: r196655

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 19fab0e0d5bac1d8bbdd5252788e1b9f0155c90e..e3b49888ea54437aae2eee8ae2aba8ce64d98199 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,12 @@
 2013-03-14  Jakub Jelinek  <jakub@redhat.com>
 
+       PR tree-optimization/53265
+       * gcc.dg/graphite/scop-3.c (toto): Increase array size to avoid
+       undefined behavior.
+       * gcc.dg/graphite/id-6.c (test): Likewise.
+       * gcc.dg/graphite/pr35356-2.c: Adjust regexp patterns to only look for
+       MIN_EXPR and MAX_EXPR in GIMPLE stmts.
+
        PR tree-optimization/53265
        * gcc.dg/pr53265.c: New test.
        * gcc.dg/torture/pr49518.c: Add -Wno-aggressive-loop-optimizations

diff --git a/gcc/testsuite/gcc.dg/graphite/id-6.c b/gcc/testsuite/gcc.dg/graphite/id-6.c
index c3aab432a59612f205d8d4595033ae782617d318..dd6fecda3bddf911731d462e57445fd75b898347 100644 (file)
--- a/gcc/testsuite/gcc.dg/graphite/id-6.c
+++ b/gcc/testsuite/gcc.dg/graphite/id-6.c
@@ -2,7 +2,7 @@
 void foo (int);
 int test ()
 {
-  int a[N];
+  int a[N + 8];
   unsigned i;
 
   for (i = 0; i < N; i++)

diff --git a/gcc/testsuite/gcc.dg/graphite/pr35356-2.c b/gcc/testsuite/gcc.dg/graphite/pr35356-2.c
index 66cfdea5aefecac046b42e24a0041898d8ac28e4..b406d1096baf5dad1cecef6f7b0946d4a991ae64 100644 (file)
--- a/gcc/testsuite/gcc.dg/graphite/pr35356-2.c
+++ b/gcc/testsuite/gcc.dg/graphite/pr35356-2.c
@@ -39,6 +39,6 @@ foo (int bar, int n, int k)
 */
 
 
-/* { dg-final { scan-tree-dump-times "MIN_EXPR" 4 "graphite" } } */
-/* { dg-final { scan-tree-dump-times "MAX_EXPR" 4 "graphite" } } */
+/* { dg-final { scan-tree-dump-times "MIN_EXPR\[^\\n\\r]*;" 4 "graphite" } } */
+/* { dg-final { scan-tree-dump-times "MAX_EXPR\[^\\n\\r]*;" 4 "graphite" } } */
 /* { dg-final { cleanup-tree-dump "graphite" } } */

diff --git a/gcc/testsuite/gcc.dg/graphite/scop-3.c b/gcc/testsuite/gcc.dg/graphite/scop-3.c
index e20bfdcb34bb8f70f9d9fab2dfba5cb8dbbb9d0a..18917c0edcc28df3357abcc9bd1f5b49fbba998e 100644 (file)
--- a/gcc/testsuite/gcc.dg/graphite/scop-3.c
+++ b/gcc/testsuite/gcc.dg/graphite/scop-3.c
@@ -1,7 +1,7 @@
 int toto()
 {
   int i, j, k;
-  int a[100][100];
+  int a[100][200];
   int b[100];
 
   for (i = 1; i < 100; i++)