From: Jason Merrill <jason@redhat.com>
Date: Wed, 8 Jun 2011 21:34:54 +0000 (-0400)
Subject: semantics.c (potential_constant_expression_1): Handle destructor call.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=535fb6eb200870e582a7f4abf2ea929cfc7e24c6;p=gcc.git

semantics.c (potential_constant_expression_1): Handle destructor call.

	* semantics.c (potential_constant_expression_1): Handle destructor
	call.

From-SVN: r174819
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f785c89e610..5675020503f 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2011-06-08  Jason Merrill  <jason@redhat.com>
+
+	* semantics.c (potential_constant_expression_1): Handle destructor
+	call.
+
 2011-06-08  Jakub Jelinek  <jakub@redhat.com>
 
 	* cp-tree.h (struct tinst_level): Add chain_next GTY
diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index ebca840ea2e..53e599305ba 100644
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -7763,6 +7763,12 @@ potential_constant_expression_1 (tree t, bool want_rval, tsubst_flags_t flags)
       want_rval = true;
       goto binary;
 
+    case BIT_NOT_EXPR:
+      /* A destructor.  */
+      if (TYPE_P (TREE_OPERAND (t, 0)))
+	return true;
+      /* else fall through.  */
+
     case REALPART_EXPR:
     case IMAGPART_EXPR:
     case CONJ_EXPR:
@@ -7771,7 +7777,6 @@ potential_constant_expression_1 (tree t, bool want_rval, tsubst_flags_t flags)
     case FLOAT_EXPR:
     case NEGATE_EXPR:
     case ABS_EXPR:
-    case BIT_NOT_EXPR:
     case TRUTH_NOT_EXPR:
     case FIXED_CONVERT_EXPR:
     case UNARY_PLUS_EXPR: