re PR c++/58565 ([c++11] ICE with label in statement expression)

/cp
2013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58565
	* semantics.c (potential_constant_expression_1): Handle LABEL_EXPR.

/testsuite
2013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/58565
	* g++.dg/parse/crash64.C: New.

From-SVN: r203109

gcc/cp/ChangeLog

+2013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/58565
+	* semantics.c (potential_constant_expression_1): Handle LABEL_EXPR.
+
 2013-10-01  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/58563

gcc/cp/semantics.c

@@ -8422,6 +8422,7 @@ potential_constant_expression_1 (tree t, bool want_rval, tsubst_flags_t flags)
     case OVERLOAD:
     case TEMPLATE_ID_EXPR:
     case LABEL_DECL:
+    case LABEL_EXPR:
     case CONST_DECL:
     case SIZEOF_EXPR:
     case ALIGNOF_EXPR:

gcc/testsuite/ChangeLog

+2013-10-02  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/58565
+	* g++.dg/parse/crash64.C: New.
+
 2013-10-02  Yufeng Zhang  <yufeng.zhang@arm.com>
 
 	* gcc.dg/tree-ssa/slsr-40.c: New test.

gcc/testsuite/g++.dg/parse/crash64.C

+// PR c++/58565
+// { dg-options "" }
+
+void foo()
+{
+  int i = ({ L: ; });  // { dg-error "void value not ignored" }
+}