PR c++/91845 - ICE with invalid pointer-to-member.

	* expr.c (mark_use): Use error_operand_p.
	* typeck2.c (build_m_component_ref): Check error_operand_p after
	calling mark_[lr]value_use.

	* g++.dg/cpp1y/pr91845.C: New test.

From-SVN: r276102

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5b561e6bdbb74dbb55ea2f3e6732954002b61a0f..1cd2a630c79e38f7c9dfed357650b1a97b931ec0 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2019-09-24  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/91845 - ICE with invalid pointer-to-member.
+       * expr.c (mark_use): Use error_operand_p.
+       * typeck2.c (build_m_component_ref): Check error_operand_p after
+       calling mark_[lr]value_use.
+
 2019-09-23  Paolo Carlini  <paolo.carlini@oracle.com>
 
        * pt.c (check_explicit_specialization): Use cp_expr_loc_or_input_loc.

diff --git a/gcc/cp/expr.c b/gcc/cp/expr.c
index 212a7f93c5a21125577669d6d8c52510ef0dd0fa..d488912d5dbf149d9602b509b69ec8e099467e52 100644 (file)
--- a/gcc/cp/expr.c
+++ b/gcc/cp/expr.c
@@ -96,7 +96,7 @@ mark_use (tree expr, bool rvalue_p, bool read_p,
 {
 #define RECUR(t) mark_use ((t), rvalue_p, read_p, loc, reject_builtin)
 
-  if (expr == NULL_TREE || expr == error_mark_node)
+  if (expr == NULL_TREE || error_operand_p (expr))
     return expr;
 
   if (reject_builtin && reject_gcc_builtin (expr, loc))

diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c
index d5098fa24bb465ce70d95eae82bc62f16d4b2a0d..58fa54f40af5b8a065f36fe27fc759ee33133393 100644 (file)
--- a/gcc/cp/typeck2.c
+++ b/gcc/cp/typeck2.c
@@ -2068,12 +2068,12 @@ build_m_component_ref (tree datum, tree component, tsubst_flags_t complain)
   tree binfo;
   tree ctype;
 
-  if (error_operand_p (datum) || error_operand_p (component))
-    return error_mark_node;
-
   datum = mark_lvalue_use (datum);
   component = mark_rvalue_use (component);
 
+  if (error_operand_p (datum) || error_operand_p (component))
+    return error_mark_node;
+
   ptrmem_type = TREE_TYPE (component);
   if (!TYPE_PTRMEM_P (ptrmem_type))
     {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 55b3bab945b9e8094010a2a0246e38732a55d688..a38a0573c28dbce4b9c66d8a31f090de5ce47f02 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-09-24  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/91845 - ICE with invalid pointer-to-member.
+       * g++.dg/cpp1y/pr91845.C: New test.
+
 2019-09-24  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
        * gcc.target/aarch64/nosplit-di-const-volatile_1.c: New test.

diff --git a/gcc/testsuite/g++.dg/cpp1y/pr91845.C b/gcc/testsuite/g++.dg/cpp1y/pr91845.C
new file mode 100644 (file)
index 0000000..cb80dd7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/pr91845.C
@@ -0,0 +1,14 @@
+// PR c++/91845 - ICE with invalid pointer-to-member.
+// { dg-do compile { target c++14 } }
+
+void non_const_mem_ptr() {
+  struct A {
+  };
+  constexpr A a = {1, 2}; // { dg-error "too many initializers" }
+  struct B {
+    int A::*p;
+    constexpr int g() const {
+      return a.*p; // { dg-error "use of local variable" }
+    };
+  };
+}