commit 4d4c5c65269b6dcde93fa13a90f2af925c8082c7
Author: Jason Merrill <jason@redhat.com>
Date: Wed Mar 23 13:51:42 2016 -0400
PR c++/70344
* constexpr.c (cxx_eval_call_expression): Catch invalid recursion.
@@ -1239,6 +1239,21 @@ cxx_eval_call_expression (const constexpr_ctx *ctx, tree t,
return t;
}
+ if (fun == current_function_decl)
+ {
+ /* A call to the current function, i.e.
+ constexpr int f (int i) {
+ constexpr int j = f(i-1);
+ return j;
+ }
+ This would be OK without the constexpr on the declaration of j. */
+ if (!ctx->quiet)
+ error_at (loc, "%qD called in a constant expression before its "
+ "definition is complete", fun);
+ *non_constant_p = true;
+ return t;
+ }
+
constexpr_ctx new_ctx = *ctx;
if (DECL_CONSTRUCTOR_P (fun) && !ctx->object
&& TREE_CODE (t) == AGGR_INIT_EXPR)
new file mode 100644
@@ -0,0 +1,17 @@
+// PR c++/70344
+// { dg-do compile { target c++11 } }
+
+struct Z
+{
+ Z () = default;
+ Z (Z const &) = default;
+ constexpr Z (Z &&) {}
+};
+
+constexpr int
+fn (Z v)
+{
+ return fn (v);
+}
+
+auto t = fn (Z ());