In r12-3643 I improved our handling of type names after . or -> when
unqualified lookup doesn't find anything, but it needs to handle auto
specially.
Tested x86_64-pc-linux-gnu, applying to trunk.
PR c++/105734
gcc/cp/ChangeLog:
* parser.cc (cp_parser_postfix_dot_deref_expression): Use typeof
if the expression has auto type.
gcc/testsuite/ChangeLog:
* g++.dg/cpp0x/auto57.C: New test.
---
gcc/cp/parser.cc | 2 +-
gcc/testsuite/g++.dg/cpp0x/auto57.C | 15 +++++++++++++++
2 files changed, 16 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/g++.dg/cpp0x/auto57.C
diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc
index 0eefa740dc5..3fc73442da5 100644
--- a/gcc/cp/parser.cc
+++ b/gcc/cp/parser.cc
@@ -8262,7 +8262,7 @@ cp_parser_postfix_dot_deref_expression (cp_parser *parser,
tree type = TREE_TYPE (postfix_expression);
/* If we don't have a (type-dependent) object of class type, use
typeof to figure out the type of the object. */
- if (type == NULL_TREE)
+ if (type == NULL_TREE || is_auto (type))
type = finish_typeof (postfix_expression);
parser->context->object_type = type;
}
diff --git a/gcc/testsuite/g++.dg/cpp0x/auto57.C
b/gcc/testsuite/g++.dg/cpp0x/auto57.C
new file mode 100644
index 00000000000..fedcfde2f0c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/auto57.C
@@ -0,0 +1,15 @@
+// PR c++/105734
+// { dg-do compile { target c++11 } }
+
+namespace N {
+ struct A { };
+ A f(A);
+}
+
+template <class T>
+void bar() {
+ auto m = f(T());
+ m.~A();
+}
+
+void foo() { bar<N::A>(); }
base-commit: ae54c1b09963779c5c3914782324ff48af32e2f1
prerequisite-patch-id: f5fe205a2e35ff3b41ef11e9c72a2f2c12c0f3c5
--
2.27.0
