re PR c++/47476 ([C++0x] ICE in potential_constant_expression_1)

	PR c++/47476
	* semantics.c (potential_constant_expression_1): Handle
	TRUTH_XOR_EXPR.

	* g++.dg/cpp0x/pr47476.C: New test.

From-SVN: r169306

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 05d075f33249f368e96cef7697449461ac53d436..4e5c760823668dbdbb5d4d5f4752ba2bcc5bc978 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2011-01-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47476
+       * semantics.c (potential_constant_expression_1): Handle
+       TRUTH_XOR_EXPR.
+
 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
 
        PR c++/43601

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index ea8a7ae8669db93bf1c102e5bac1bea1b2b90b59..161812b06ab3444792e14c3abcfdb5277a4e434a 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -7656,6 +7656,7 @@ potential_constant_expression_1 (tree t, bool want_rval, tsubst_flags_t flags)
     case BIT_IOR_EXPR:
     case BIT_XOR_EXPR:
     case BIT_AND_EXPR:
+    case TRUTH_XOR_EXPR:
     case UNLT_EXPR:
     case UNLE_EXPR:
     case UNGT_EXPR:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e5133d02145035c1fa5877e9cf8408dad207aa15..527b3ed676f5e1c8a990b78a7c343b9c1bf3b333 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-01-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/47476
+       * g++.dg/cpp0x/pr47476.C: New test.
+
 2011-01-26  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc.c-torture/compile/20110126-1.c: New test.

diff --git a/gcc/testsuite/g++.dg/cpp0x/pr47476.C b/gcc/testsuite/g++.dg/cpp0x/pr47476.C
new file mode 100644 (file)
index 0000000..1f6f09c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr47476.C
@@ -0,0 +1,10 @@
+// PR c++/47476
+// { dg-do compile }
+// { dg-options "-std=c++0x" }
+
+int
+foo (int a, int b)
+{
+  const bool c ((a != 0) == (b != 26));
+  return c;
+}