2008-12-03 Jason Merrill <jason@redhat.com>
+ PR c++/38256
+ * parser.c (cp_parser_conversion_type_id): Diagnose
+ 'operator auto' here.
+ * decl.c (grokdeclarator): Not here.
+
PR c++/38380
* decl.c (grokdeclarator): Only set DECL_NONCONVERTING_P
on explicit constructors.
{
if (type_uses_auto (type))
{
- if (sfk == sfk_conversion)
- {
- error ("invalid use of %<auto%> in conversion operator");
- return error_mark_node;
- }
- else if (!declarator->u.function.late_return_type)
+ if (!declarator->u.function.late_return_type)
{
error ("%qs function uses %<auto%> type specifier without"
" late return type", name);
/*initialized=*/0, &attributes);
if (attributes)
cplus_decl_attributes (&type_specified, attributes, /*flags=*/0);
+
+ /* Don't give this error when parsing tentatively. This happens to
+ work because we always parse this definitively once. */
+ if (! cp_parser_uncommitted_to_tentative_parse_p (parser)
+ && type_uses_auto (type_specified))
+ {
+ error ("invalid use of %<auto%> in conversion operator");
+ return error_mark_node;
+ }
+
return type_specified;
}
2008-12-03 Jason Merrill <jason@redhat.com>
+ PR c++/38256
+ * g++.dg/cpp0x/auto11.C: New test.
+
PR c++/38380
* g++.dg/cpp0x/initlist10.C: New test.
* g++.old-deja/g++.eh/ctor1.C: Default ctor is a candidate too.
--- /dev/null
+// PR c++/38256
+// { dg-options "-std=c++0x" }
+
+template<int> struct A
+{
+ template<typename T> operator T();
+};
+
+void foo()
+{
+ A<0>().operator auto(); // { dg-error "auto.*conversion" }
+}