This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/2922] [DR 197] two-stage name lookup
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 29 Apr 2004 12:15:39 -0000
- Subject: [Bug c++/2922] [DR 197] two-stage name lookup
- References: <20010524020601.2922.jens.maurer@gmx.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From giovannibajo at libero dot it 2004-04-29 12:15 -------
For reference, the problem is that for unqualified function calls with type-
dependent arguments, we should:
1) do a normal unqualified lookup at parsing time, and preserve the result,
which is an overload set. (will be done in cp_parser_postfix_expression, case
CPP_OPEN_PAREN).
2) perform a koenig lookup at instantiation time, merging its result with the
previous set. (done in tsusbt_copy_and_build, case CALL_EXPR).
3) do overload resolution, etc.
Instead, what happens currently is that both kind of lookups are deferred till
instantiation time. I'm fixing this, but it is not trivial because I'm doing
cleanups as I go.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922