aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2023-03-16 13:11:32 -0400
committerJason Merrill <jason@redhat.com>2023-03-16 18:09:30 -0400
commit1cc8814098bb46f9fca58a0b831fbf9a8574bdc9 (patch)
treeb32884027442d2d79aace7de491817f36aef6868
parente6ccae0ac0d53cfa9099d62fada050ee87d4d0ad (diff)
downloadgcc-1cc8814098bb46f9fca58a0b831fbf9a8574bdc9.zip
gcc-1cc8814098bb46f9fca58a0b831fbf9a8574bdc9.tar.gz
gcc-1cc8814098bb46f9fca58a0b831fbf9a8574bdc9.tar.bz2
c++: &enum::enumerator [PR101869]
We don't want to call build_offset_ref with an enum. PR c++/101869 gcc/cp/ChangeLog: * semantics.cc (finish_qualified_id_expr): Don't try to build a pointer-to-member if the scope is an enumeration. gcc/testsuite/ChangeLog: * g++.dg/cpp0x/enum43.C: New test.
-rw-r--r--gcc/cp/semantics.cc3
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/enum43.C11
2 files changed, 13 insertions, 1 deletions
diff --git a/gcc/cp/semantics.cc b/gcc/cp/semantics.cc
index 57dd7b6..87c2e8a 100644
--- a/gcc/cp/semantics.cc
+++ b/gcc/cp/semantics.cc
@@ -2386,7 +2386,8 @@ finish_qualified_id_expr (tree qualifying_class,
/* If EXPR occurs as the operand of '&', use special handling that
permits a pointer-to-member. */
- if (address_p && done)
+ if (address_p && done
+ && TREE_CODE (qualifying_class) != ENUMERAL_TYPE)
{
if (TREE_CODE (expr) == SCOPE_REF)
expr = TREE_OPERAND (expr, 1);
diff --git a/gcc/testsuite/g++.dg/cpp0x/enum43.C b/gcc/testsuite/g++.dg/cpp0x/enum43.C
new file mode 100644
index 0000000..b2cd979
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/enum43.C
@@ -0,0 +1,11 @@
+// PR c++/101869
+
+enum E { A };
+E operator & (E e)
+{
+ return e;
+}
+E f(void)
+{
+ return &E::A; // { dg-error "not a class" "" { target c++98_only } }
+}