re PR c++/67504 (ICE with type dependent collapse argument)

	PR c++/67504
	* parser.c (cp_parser_omp_clause_collapse): Test tree_fits_shwi_p
	before INTEGRAL_TYPE_P test.

	* g++.dg/gomp/pr67504.C: New test.

From-SVN: r227579

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3a412aeef36e210492796d7c7b08084d4474d312..515a1e88a9d86c21d203eade651f94d4b42b949a 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2015-09-09  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/67504
+       * parser.c (cp_parser_omp_clause_collapse): Test tree_fits_shwi_p
+       before INTEGRAL_TYPE_P test.
+
 2015-09-08  Jason Merrill  <jason@redhat.com>
 
        PR c++/67041

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 67fbcda442651b770ae0035f7509939945bf58de..d96825b08af03784139edf53727796053a95ca1e 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -29228,8 +29228,8 @@ cp_parser_omp_clause_collapse (cp_parser *parser, tree list, location_t location
   if (num == error_mark_node)
     return list;
   num = fold_non_dependent_expr (num);
-  if (!INTEGRAL_TYPE_P (TREE_TYPE (num))
-      || !tree_fits_shwi_p (num)
+  if (!tree_fits_shwi_p (num)
+      || !INTEGRAL_TYPE_P (TREE_TYPE (num))
       || (n = tree_to_shwi (num)) <= 0
       || (int) n != n)
     {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 996fb61d46c7ee7111612910dcee2def6be65b81..3506d4a3a4023d97e67304bc5b54c4bd01e52017 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2015-09-09  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/67504
+       * g++.dg/gomp/pr67504.C: New test.
+
        PR c/67501
        * c-c++-common/gomp/pr67501.c: New test.
 

diff --git a/gcc/testsuite/g++.dg/gomp/pr67504.C b/gcc/testsuite/g++.dg/gomp/pr67504.C
new file mode 100644 (file)
index 0000000..0f1758b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/gomp/pr67504.C
@@ -0,0 +1,15 @@
+// PR c++/67504
+// { dg-do compile }
+// { dg-options "-fopenmp" }
+
+int bar (int);
+double bar (double);
+
+template <typename T>
+void
+foo (T x)
+{
+  #pragma omp for collapse (x + 1) // { dg-error "collapse argument needs positive constant integer expression" }
+  for (int i = 0; i < 10; i++)
+    ;
+}