re PR c++/33836 (ICE with invalid use of &&)

	PR c++/33836
	* parser.c (cp_parser_unary_expression): For &&label call
	cp_parser_non_integral_constant_expression and return error_mark_node
	if it returned true.

	* g++.dg/ext/label10.C: New test.

From-SVN: r129896

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5eb1dcebedb771a997da507b3c35e63f91beeb03..78697654c5cb510e273c17322cdc810dc5bd46bc 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/33836
+       * parser.c (cp_parser_unary_expression): For &&label call
+       cp_parser_non_integral_constant_expression and return error_mark_node
+       if it returned true.
+
        PR c++/33969
        * decl.c (grokdeclarator): Don't call build_memfn_type if type
        is neither FUNCTION_TYPE nor METHOD_TYPE.

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 0772c870420c3c7efa01362e0b304f3057144d46..4729d1ed5dd1cbc904a676a20edb1c6a13a77dd0 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -5329,13 +5329,18 @@ cp_parser_unary_expression (cp_parser *parser, bool address_p, bool cast_p)
               && token->type == CPP_AND_AND)
        {
          tree identifier;
+         tree expression;
 
          /* Consume the '&&' token.  */
          cp_lexer_consume_token (parser->lexer);
          /* Look for the identifier.  */
          identifier = cp_parser_identifier (parser);
          /* Create an expression representing the address.  */
-         return finish_label_address_expr (identifier);
+         expression = finish_label_address_expr (identifier);
+         if (cp_parser_non_integral_constant_expression (parser,
+                                               "the address of a label"))
+           expression = error_mark_node;
+         return expression;
        }
     }
   if (unary_operator != ERROR_MARK)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3e6d7441a22066713a94869afff5387ce9861299..69d30f90b9eacf4c762b6f0d35e00b5cb2e5eac6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/33836
+       * g++.dg/ext/label10.C: New test.
+
        PR c++/33969
        * g++.dg/other/ptrmem9.C: New test.
 

diff --git a/gcc/testsuite/g++.dg/ext/label10.C b/gcc/testsuite/g++.dg/ext/label10.C
new file mode 100644 (file)
index 0000000..735fe06
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/label10.C
@@ -0,0 +1,17 @@
+// PR c++/33836
+// { dg-do compile }
+// { dg-options "-std=gnu++98" }
+
+template<int N> struct A
+{
+  enum { M = && N };   // { dg-error "referenced outside|cannot appear in" }
+};
+
+A<0> a;
+
+void foo ()
+{
+  __label__ P;
+  enum { O = && P };   // { dg-error "cannot appear in" }
+  P:;
+}