This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Elementary question about complete_type vs tsubst_flags_t
- From: Jason Merrill <jason at redhat dot com>
- To: Paolo Carlini <paolo dot carlini at oracle dot com>, "gcc at gnu dot org" <gcc at gnu dot org>
- Date: Fri, 10 Jul 2015 10:01:45 -0400
- Subject: Re: Elementary question about complete_type vs tsubst_flags_t
- Authentication-results: sourceware.org; auth=none
- References: <559FABE5 dot 6010704 at oracle dot com> <559FCBC0 dot 6040109 at redhat dot com> <559FCE31 dot 8010904 at oracle dot com>
On 07/10/2015 09:52 AM, Paolo Carlini wrote:
Good. Thus in practice the "immediate context" theory boils down to
those irrevocable instantiations, that wasn't completely clear to me,
thanks.
Right.
Does that imply that c++/62085 should be closed?
I think so, yes.
The compilers I have
here aren't all in agreement: EDG rejects the testcase like GCC but
recent clangs don't, likewise SolarisStudio.
Well, the standard gives implementations some latitude to avoid
instantiations if it can figure out another way to determine the winning
candidate: see 14.7.1p7. I don't know if that's the basis for the
difference.
Jason