[C++ Patch] PR 41769

[Paolo Carlini <paolo.carlini@oracle.com>]

[-- Attachment #1: Type: text/plain, Size: 244 bytes --]

Hi,

as it happens, a couple of years ago Johannes filed a PR quite similar 
to 29003 but for function parameters, and we have a similar issue for 
catch clauses too. Patch tested x86_64-linux.

Is it Ok?

Thanks,
Paolo.

/////////////////////

[-- Attachment #2: CL_41769 --]
[-- Type: text/plain, Size: 251 bytes --]

/cp
2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/29003
	* decl.c (grokdeclarator): Reject operator names in parameters.

/testsuite
2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/29003
	* g++.dg/parse/error39.C: New.

[-- Attachment #3: patch_41769 --]
[-- Type: text/plain, Size: 1265 bytes --]

Index: testsuite/g++.dg/parse/error39.C
===================================================================
--- testsuite/g++.dg/parse/error39.C	(revision 0)
+++ testsuite/g++.dg/parse/error39.C	(revision 0)
@@ -0,0 +1,14 @@
+// PR c++/41769
+
+void f(void operator+()); // { dg-error "declaration" }
+
+void g()
+{
+  try
+    {
+
+    }
+  catch(void operator+()) // { dg-error "declaration" }
+    {
+    }
+}
Index: cp/decl.c
===================================================================
--- cp/decl.c	(revision 174918)
+++ cp/decl.c	(working copy)
@@ -8441,11 +8441,18 @@ grokdeclarator (const cp_declarator *declarator,
       return error_mark_node;
     }
 
-  if (dname && IDENTIFIER_OPNAME_P (dname)
-      && declspecs->specs[(int)ds_typedef])
+  if (dname && IDENTIFIER_OPNAME_P (dname))
     {
-      error ("declaration of %qD as %<typedef%>", dname);
-      return error_mark_node;
+      if (declspecs->specs[(int)ds_typedef])
+	{
+	  error ("declaration of %qD as %<typedef%>", dname);
+	  return error_mark_node;
+	}
+      else if (decl_context == PARM || decl_context == CATCHPARM)
+	{
+	  error ("declaration of %qD as parameter", dname);
+	  return error_mark_node;
+	}
     }
 
   /* Anything declared one level down from the top level