@@ -1078,8 +1078,7 @@ get_nth_callarg (tree t, int n)
static tree
cxx_eval_builtin_function_call (const constexpr_ctx *ctx, tree t, tree fun,
- bool lval,
- bool *non_constant_p, bool *overflow_p)
+ bool, bool *non_constant_p, bool *overflow_p)
{
const int nargs = call_expr_nargs (t);
tree *args = (tree *) alloca (nargs * sizeof (tree));
@@ -1105,7 +1104,7 @@ cxx_eval_builtin_function_call (const co
for (i = 0; i < nargs; ++i)
{
args[i] = cxx_eval_constant_expression (&new_ctx, CALL_EXPR_ARG (t, i),
- lval, &dummy1, &dummy2);
+ false, &dummy1, &dummy2);
if (bi_const_p)
/* For __built_in_constant_p, fold all expressions with constant values
even if they aren't C++ constant-expressions. */
@@ -1119,6 +1118,27 @@ cxx_eval_builtin_function_call (const co
/* Fold away the NOP_EXPR from fold_builtin_n. */
new_call = fold (new_call);
force_folding_builtin_constant_p = save_ffbcp;
+
+ if (cxx_dialect >= cxx14)
+ {
+ tree r = new_call;
+ if (TREE_CODE (r) == NON_LVALUE_EXPR)
+ r = TREE_OPERAND (r, 0);
+ if (TREE_CODE (r) == COMPOUND_EXPR
+ && TREE_CODE (TREE_OPERAND (r, 0)) == MODIFY_EXPR
+ && reduced_constant_expression_p (TREE_OPERAND (TREE_OPERAND (r, 0),
+ 1)))
+ {
+ /* The frexp, modf, remquo and lgamma_r builtins (and their variants)
+ with &var as last argument are folded into
+ (var = const1), const2, sometimes wrapped into
+ NON_LVALUE_EXPR. */
+ cxx_eval_constant_expression (&new_ctx, TREE_OPERAND (r, 0),
+ false, non_constant_p, overflow_p);
+ new_call = TREE_OPERAND (r, 1);
+ }
+ }
+
VERIFY_CONSTANT (new_call);
return new_call;
}
@@ -0,0 +1,100 @@
+// PR c++/50060
+// { dg-do compile { target c++14 } }
+
+// sincos and lgamma_r aren't available in -std=c++14,
+// only in -std=gnu++14. Use __builtin_* in that case.
+extern "C" void sincos (double, double *, double *);
+extern "C" double frexp (double, int *);
+extern "C" double modf (double, double *);
+extern "C" double remquo (double, double, int *);
+extern "C" double lgamma_r (double, int *);
+
+constexpr double
+f0 (double x)
+{
+ double y {};
+ double z {};
+ __builtin_sincos (x, &y, &z);
+ return y;
+}
+
+constexpr double
+f1 (double x)
+{
+ double y {};
+ double z {};
+ __builtin_sincos (x, &y, &z);
+ return z;
+}
+
+constexpr double
+f2 (double x)
+{
+ int y {};
+ return frexp (x, &y);
+}
+
+constexpr int
+f3 (double x)
+{
+ int y {};
+ frexp (x, &y);
+ return y;
+}
+
+constexpr double
+f4 (double x)
+{
+ double y {};
+ return modf (x, &y);
+}
+
+constexpr double
+f5 (double x)
+{
+ double y {};
+ modf (x, &y);
+ return y;
+}
+
+constexpr double
+f6 (double x, double y)
+{
+ int z {};
+ return remquo (x, y, &z);
+}
+
+constexpr int
+f7 (double x, double y)
+{
+ int z {};
+ remquo (x, y, &z);
+ return z;
+}
+
+constexpr double
+f8 (double x)
+{
+ int y {};
+ return __builtin_lgamma_r (x, &y);
+}
+
+constexpr int
+f9 (double x)
+{
+ int y {};
+ __builtin_lgamma_r (x, &y);
+ return y;
+}
+
+static_assert (f0 (0.0) == 0.0, "");
+static_assert (f1 (0.0) == 1.0, "");
+static_assert (f2 (6.5) == 0.8125, "");
+static_assert (f3 (6.5) == 3, "");
+static_assert (f4 (-7.25) == -0.25, "");
+static_assert (f5 (-7.25) == -7.0, "");
+static_assert (f6 (3.0, 2.0) == -1.0, "");
+static_assert (f7 (3.0, 2.0) == 2, "");
+static_assert (f8 (0.75) >= 0.20 && f8 (0.75) <= 0.21, "");
+static_assert (f8 (0.75) >= 0.20 && f8 (0.75) <= 0.21, "");
+static_assert (f9 (0.75) == 1, "");