re PR c++/92504 (ICE on gcc-9 -fopenmp: internal compiler error: tree check: expected...

	PR c++/92504
	* semantics.c (handle_omp_for_class_iterator): Don't call
	cp_fully_fold on cond.

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

From-SVN: r278433

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9bf64dfa6269ea570aa8d979d35c0a8c338af034..30ebf18a24494f88f75ce63b5ba622f6abb34b19 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2019-11-19  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/92504
+       * semantics.c (handle_omp_for_class_iterator): Don't call
+       cp_fully_fold on cond.
+
 2019-11-18  Paolo Carlini  <paolo.carlini@oracle.com>
 
        * typeck.c (cp_build_addr_expr_1): Use cp_expr_loc_or_input_loc

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index 0ce73af5bc6ec21515d7f7df009368c772e2b0d1..2adc9ef792b2c42beb7ce07b28ee37ce2d736573 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -8434,7 +8434,6 @@ handle_omp_for_class_iterator (int i, location_t locus, enum tree_code code,
   if (init && EXPR_HAS_LOCATION (init))
     elocus = EXPR_LOCATION (init);
 
-  cond = cp_fully_fold (cond);
   switch (TREE_CODE (cond))
     {
     case GT_EXPR:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 193a8d84890b5f19319ddade0b1ce4b3fd8087c4..b569888344b4a90c7f21a25e1927971b0c3d8c35 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2019-11-19  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/92504
+       * g++.dg/gomp/pr92504.C: New test.
+
        PR tree-optimization/92557
        * gcc.dg/gomp/pr92557.c: New test.
 

diff --git a/gcc/testsuite/g++.dg/gomp/pr92504.C b/gcc/testsuite/g++.dg/gomp/pr92504.C
new file mode 100644 (file)
index 0000000..8df6762
--- /dev/null
+++ b/gcc/testsuite/g++.dg/gomp/pr92504.C
@@ -0,0 +1,29 @@
+// PR c++/92504
+// { dg-do compile { target c++11 } }
+// { dg-additional-options "-O2" }
+
+namespace std {
+  typedef __SIZE_TYPE__ size_t;
+  typedef __PTRDIFF_TYPE__ ptrdiff_t;
+}
+
+struct A {
+  A ();
+  A (const A &);
+  A & operator++ ();
+  bool operator != (const A &) const;
+  std::ptrdiff_t operator - (const A &);
+  A & operator += (std::size_t);
+  int a;
+  A & begin ();
+  A & end ();                          // { dg-message "declared here" }
+};
+
+void
+bar ()
+{
+  A a;
+  #pragma omp for
+  for (auto b = a; b != a.end; ++b)    // { dg-error "invalid use of non-static member function" }
+    ;
+}