tion in cp_finish_decl?
That seems to work nicely :) All xfailed tests for the static data
member initialization case now also pass.
Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for
trunk?
-- >8 --
Subject: [PATCH] c++: detecting copy-init context during CTAD [PR102137]
Here we're
; well. And I suppose we might as well use it in do_class_deduction
> > > > > > too,
> > > > > > since doing so lets us remove the flags parameter.
> > > > >
> > > > > Before removing the flags parameter please try ass
mber initialization case now also pass.
Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for
trunk?
-- >8 --
Subject: [PATCH] c++: detecting copy-init context during CTAD [PR102137]
Here we're failing to communicate to cp_finish_decl from tsubst_expr
that we're in a copy-initial
lass_deduction:
> >
> >gcc_assert (bool(flags & LOOKUP_ONLYCONVERTING) == is_copy_initialization
> > (init));
> >
> > Turns out removing the flags parameter breaks CTAD for new-expressions
> > of the form 'new TT(x)' because in this case build_new pass
ATCH] c++: detecting copy-init context during CTAD [PR102137]
Here we're failing to communicate to cp_finish_decl from tsubst_expr
that we're in a copy-initialization context (via the LOOKUP_ONLYCONVERTING
flag), which causes us to always consider explicit deduction guides when
performing CTAD for a te
sses just 'x'
as the initializer to do_auto_deduction (as opposed to a single TREE_LIST),
for which is_copy_initialization returns true even though it's really
direct initalization.
Also turns out we're similarly not passing the right LOOKUP_* flags to
cp_finish_decl from instantiate_body, which breaks co
remove the flags parameter.
Before removing the flags parameter please try asserting that it now
matches is_copy_initialization and see if anything breaks.
-- >8 --
Subject: [PATCH] c++: detecting copy-init context during CTAD [PR102137]
Here we're failing to communicate to cp_finish_d
hat code from build_aggr_init to
cp_finish_decl broke things, but using it in both spots seems to work
well. And I suppose we might as well use it in do_class_deduction too,
since doing so lets us remove the flags parameter.
-- >8 --
Subject: [PATCH] c++: detecting copy-init co
On 3/4/22 14:24, Patrick Palka wrote:
Here we're failing to communicate to cp_finish_decl from tsubst_expr
that we're in a copy-initialization context (via the LOOKUP_ONLYCONVERTING
flag), which causes do_class_deduction to always consider explicit
deduction guides when performing CTAD for a
Here we're failing to communicate to cp_finish_decl from tsubst_expr
that we're in a copy-initialization context (via the LOOKUP_ONLYCONVERTING
flag), which causes do_class_deduction to always consider explicit
deduction guides when performing CTAD for a templated variable initializer.
We could
10 matches
Mail list logo
