From: Jason Merrill <jason@redhat.com>
Date: Tue, 18 Nov 2014 21:14:49 +0000 (-0500)
Subject: re PR c++/63940 (C++ constexpr errors on AIX)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f899317ec285f038d1cd3a17e46b0639e7340af4;p=gcc.git

re PR c++/63940 (C++ constexpr errors on AIX)

	PR c++/63940
	* constexpr.c (cxx_eval_binary_expression): Don't assume the
	expression was already folded.
	(cxx_eval_unary_expression): Likewise.

From-SVN: r217738
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 2e18932dc49..0759a575c9e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2014-11-18  Jason Merrill  <jason@redhat.com>
+
+	PR c++/63940
+	* constexpr.c (cxx_eval_binary_expression): Don't assume the
+	expression was already folded.
+	(cxx_eval_unary_expression): Likewise.
+
 2014-11-18  Marc Glisse  <marc.glisse@inria.fr>
 
 	PR libstdc++/43622
diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index 5abea14ae39..517bf23145f 100644
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -1461,9 +1461,17 @@ cxx_eval_unary_expression (const constexpr_ctx *ctx, tree t,
 					   addr, non_constant_p, overflow_p,
 					   NULL);
   VERIFY_CONSTANT (arg);
-  if (arg == orig_arg)
-    return t;
-  r = fold_build1 (TREE_CODE (t), TREE_TYPE (t), arg);
+  location_t loc = EXPR_LOCATION (t);
+  enum tree_code code = TREE_CODE (t);
+  tree type = TREE_TYPE (t);
+  r = fold_unary_loc (loc, code, type, arg);
+  if (r == NULL_TREE)
+    {
+      if (arg == orig_arg)
+	r = t;
+      else
+	r = build1_loc (loc, code, type, arg);
+    }
   VERIFY_CONSTANT (r);
   return r;
 }
@@ -1488,9 +1496,18 @@ cxx_eval_binary_expression (const constexpr_ctx *ctx, tree t,
 				      allow_non_constant, addr,
 				      non_constant_p, overflow_p, NULL);
   VERIFY_CONSTANT (rhs);
-  if (lhs == orig_lhs && rhs == orig_rhs)
-    return t;
-  r = fold_build2 (TREE_CODE (t), TREE_TYPE (t), lhs, rhs);
+
+  location_t loc = EXPR_LOCATION (t);
+  enum tree_code code = TREE_CODE (t);
+  tree type = TREE_TYPE (t);
+  r = fold_binary_loc (loc, code, type, lhs, rhs);
+  if (r == NULL_TREE)
+    {
+      if (lhs == orig_lhs && rhs == orig_rhs)
+	r = t;
+      else
+	r = build2_loc (loc, code, type, lhs, rhs);
+    }
   VERIFY_CONSTANT (r);
   return r;
 }