From f899317ec285f038d1cd3a17e46b0639e7340af4 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Tue, 18 Nov 2014 16:14:49 -0500 Subject: [PATCH] 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 --- gcc/cp/ChangeLog | 7 +++++++ gcc/cp/constexpr.c | 29 +++++++++++++++++++++++------ 2 files changed, 30 insertions(+), 6 deletions(-) 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 + + 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 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; } -- 2.30.2