aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp/call.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/cp/call.c')
-rw-r--r--gcc/cp/call.c20
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index a855963..5f12f7e 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -3953,6 +3953,26 @@ convert_default_arg (type, arg, fn, parmnum)
tree fn;
int parmnum;
{
+ if (TREE_CODE (arg) == DEFAULT_ARG)
+ {
+ /* When processing the default args for a class, we can find that
+ there is an ordering constraint, and we call a function who's
+ default args have not yet been converted. For instance,
+ class A {
+ A (int = 0);
+ void Foo (A const & = A ());
+ };
+ We must process A::A before A::Foo's default arg can be converted.
+ Remember the dependent function, so do_pending_defargs can retry,
+ and check loops. */
+ unprocessed_defarg_fn (fn);
+
+ /* Don't return error_mark node, as we won't be able to distinguish
+ genuine errors from this case, and that would lead to repeated
+ diagnostics. Just make something of the right type. */
+ return build1 (NOP_EXPR, type, integer_zero_node);
+ }
+
if (fn && DECL_TEMPLATE_INFO (fn))
arg = tsubst_default_argument (fn, type, arg);