diff options
author | Nathan Sidwell <nathan@acm.org> | 2020-11-03 08:39:47 -0800 |
---|---|---|
committer | Nathan Sidwell <nathan@acm.org> | 2020-11-03 08:49:26 -0800 |
commit | 1c8b8efa5becb70e04216a60021b835387ffea4e (patch) | |
tree | 9db051ab6852eeebb12c5271cfea6b2ab63e3b9f /gcc | |
parent | 770ec066b8b5d70921dfab9fcd1bbb87abeb0dc5 (diff) | |
download | gcc-1c8b8efa5becb70e04216a60021b835387ffea4e.zip gcc-1c8b8efa5becb70e04216a60021b835387ffea4e.tar.gz gcc-1c8b8efa5becb70e04216a60021b835387ffea4e.tar.bz2 |
c++: A couple of template instantiation cleanups
I noticed that we were handling lambda extra scope during template
instantiation in a different order to how we handle the non-template
case. Reordered that for consistency. Also some more RAII during
template instantiation.
gcc/cp/
* pt.c (tsubst_lambda_expr): Reorder extra-scope handling to match
the non-template case.
(instantiate_body): Move a couple of declarations to their
initializers.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/cp/pt.c | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index c3492f6..f1c8c09 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -19081,15 +19081,6 @@ tsubst_lambda_expr (tree t, tree args, tsubst_flags_t complain, tree in_decl) LAMBDA_EXPR_MUTABLE_P (r) = LAMBDA_EXPR_MUTABLE_P (t); LAMBDA_EXPR_INSTANTIATED (r) = true; - if (LAMBDA_EXPR_EXTRA_SCOPE (t) == NULL_TREE) - /* A lambda in a default argument outside a class gets no - LAMBDA_EXPR_EXTRA_SCOPE, as specified by the ABI. But - tsubst_default_argument calls start_lambda_scope, so we need to - specifically ignore it here, and use the global scope. */ - record_null_lambda_scope (r); - else - record_lambda_scope (r); - gcc_assert (LAMBDA_EXPR_THIS_CAPTURE (t) == NULL_TREE && LAMBDA_EXPR_PENDING_PROXIES (t) == NULL); @@ -19168,6 +19159,15 @@ tsubst_lambda_expr (tree t, tree args, tsubst_flags_t complain, tree in_decl) if (type == error_mark_node) return error_mark_node; + if (LAMBDA_EXPR_EXTRA_SCOPE (t) == NULL_TREE) + /* A lambda in a default argument outside a class gets no + LAMBDA_EXPR_EXTRA_SCOPE, as specified by the ABI. But + tsubst_default_argument calls start_lambda_scope, so we need to + specifically ignore it here, and use the global scope. */ + record_null_lambda_scope (r); + else + record_lambda_scope (r); + /* Do this again now that LAMBDA_EXPR_EXTRA_SCOPE is set. */ determine_visibility (TYPE_NAME (type)); @@ -25571,9 +25571,6 @@ instantiate_body (tree pattern, tree args, tree d, bool nested_p) if (VAR_P (d)) { - tree init; - bool const_init = false; - /* Clear out DECL_RTL; whatever was there before may not be right since we've reset the type of the declaration. */ SET_DECL_RTL (d, NULL); @@ -25583,7 +25580,8 @@ instantiate_body (tree pattern, tree args, tree d, bool nested_p) regenerate_decl_from_template so we don't need to push/pop_access_scope again here. Pull it out so that cp_finish_decl can process it. */ - init = DECL_INITIAL (d); + bool const_init = false; + tree init = DECL_INITIAL (d); DECL_INITIAL (d) = NULL_TREE; DECL_INITIALIZED_P (d) = 0; |