[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[jackie.rosen at hushmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

Jackie Rosen <jackie.rosen at hushmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jackie.rosen at hushmail dot com

--- Comment #29 from Jackie Rosen <jackie.rosen at hushmail dot com> ---
*** Bug 260998 has been marked as a duplicate of this bug. ***
Seen from the domain http://volichat.com
Page where seen: http://volichat.com/adult-chat-rooms
Marked for reference. Resolved as fixed @bugzilla.

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #28 from pinskia at gcc dot gnu dot org  2007-06-20 21:17 -------
*** Bug 32440 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicoara at roguewave dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #27 from pinskia at gcc dot gnu dot org  2006-12-16 18:34 -------
*** Bug 30232 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |whisp at users dot sf dot
                   |                            |net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #26 from pinskia at gcc dot gnu dot org  2006-12-03 17:34 -------
*** Bug 30059 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bagnara at cs dot unipr dot
                   |                            |it


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #25 from pinskia at gcc dot gnu dot org  2006-09-25 22:54 -------
*** Bug 29229 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |debian-gcc at lists dot
                   |                            |debian dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #24 from pinskia at gcc dot gnu dot org  2006-08-07 14:50 -------
*** Bug 28631 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dan at danny dot cz


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #23 from pinskia at gcc dot gnu dot org  2006-02-16 00:33 -------
*** Bug 26311 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mueller at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #22 from pinskia at gcc dot gnu dot org  2006-02-02 18:47 -------
*** Bug 26079 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at eyesopen dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #21 from pinskia at gcc dot gnu dot org  2005-12-25 02:14 -------
*** Bug 24795 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #20 from pinskia at gcc dot gnu dot org  2005-12-19 16:44 -------
*** Bug 25495 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |benoit at zeroc dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Comment #19 from pinskia at gcc dot gnu dot org  2005-12-06 19:27 -------
*** Bug 25278 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |theodore dot papadopoulo at
                   |                            |sophia dot inria dot fr


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-04 18:15 -------
*** Bug 23724 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sylvain dot pion at sophia
                   |                            |dot inria dot fr


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[sebor at roguewave dot com]

------- Additional Comments From sebor at roguewave dot com  2005-07-21 20:33 -------
(In reply to comment #13)
...
> 	* g++.dg/lookup/two-stage2.C: New.

FWIW, the following comment in this patch is wrong:

+  g(2);    // f(char) followed by f(int)
                       ^^^^^^^^^^^^^^^^^^
The call to g<int>(2) should cause 2 calls to f(char).

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-21 15:15 -------
Subject: Bug 2922

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dgregor@gcc.gnu.org	2005-07-21 15:14:59

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/lookup: two-stage5.C 

Log message:
	2005-07-21  Douglas Gregor  <doug.gregor@gmail.com>
	
	PR c++/2922
	* g++.dg/lookup/two-stage5.C: New test from bug comments.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5796&r2=1.5797
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/two-stage5.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-21 14:19 -------
Subject: Bug 2922

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dgregor@gcc.gnu.org	2005-07-21 14:18:54

Modified files:
	gcc/cp         : ChangeLog 

Log message:
	Completed this ChangeLog entry:
	
	2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
	
	PR c++/2922
	* semantics.c (perform_koenig_lookup): For dependent calls, just
	return the set of functions we've found so far. Later, it will be
	augmented by those found through argument-dependent lookup.
	* name-lookup.c (lookup_arg_dependent): Implement DR 164 by removing
	the optimization that skips namespaces where the functions were
	originally found.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4828&r2=1.4829



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-21 04:51 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-21 03:56 -------
Subject: Bug 2922

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dgregor@gcc.gnu.org	2005-07-21 03:56:46

Modified files:
	gcc/testsuite  : ChangeLog 
	gcc/testsuite/g++.dg/template: call3.C crash37.C ptrmem4.C 
	gcc/testsuite/g++.old-deja/g++.other: pmf3.C 
Added files:
	gcc/testsuite/g++.dg/lookup: two-stage2.C two-stage3.C 
	                             two-stage4.C 

Log message:
	2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
	
	PR c++/2922
	* g++.dg/lookup/two-stage2.C: New.
	* g++.dg/lookup/two-stage3.C: New.
	* g++.dg/lookup/two-stage4.C: New. Illustrates how we have not yet
	fixed two-stage name lookup for operators.
	* g++.dg/template/call3.C: Compiler now produces an appropriate
	error message.
	* g++.dg/template/crash37.C: Compiler now describes bla() on line
	14 as a candidate.
	* g++.dg/template/ptrmem4.C: Compiler produces different error
	message.
	* g++.old-deja/g++.other/pmf3.C: Compiler now describes
	connect_to_method as a candidate.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5789&r2=1.5790
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/two-stage2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/two-stage3.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/lookup/two-stage4.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/call3.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/crash37.C.diff?cvsroot=gcc&r1=1.1&r2=1.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/ptrmem4.C.diff?cvsroot=gcc&r1=1.2&r2=1.3
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.old-deja/g++.other/pmf3.C.diff?cvsroot=gcc&r1=1.3&r2=1.4



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-21 03:53 -------
Subject: Bug 2922

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dgregor@gcc.gnu.org	2005-07-21 03:53:08

Modified files:
	gcc/cp         : ChangeLog name-lookup.c semantics.c 

Log message:
	2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
	
	PR c++/2922
	* semantics.c (perform_koenig_lookup): For dependent calls, just
	return the set of functions we've found so far. Later, it will be
	augmented by those found through argument-dependent lookup.
	* name-lookup.c (lookup_arg_dependent):

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4826&r2=1.4827
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/name-lookup.c.diff?cvsroot=gcc&r1=1.129&r2=1.130
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.481&r2=1.482



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[maxim dot yegorushkin at gmail dot com]

------- Additional Comments From maxim dot yegorushkin at gmail dot com  2005-04-23 10:55 -------
(In reply to comment #10)
> Not working on this anymore. Andrew closed PR 11296 as a dup of this, 
but I'm 
> not 100% sure. This is the testcase, so that it can be tested and added to 
the 
> testsuite:
> 
> -----------------------------------------------------
> namespace N {
> template <class T> T foo (T) { return T (); }
> template <class T> T bar (T t) { return foo (t); }
> }
> 
> struct S { S (int i = 0): i_ (i) { } int i_; };
> 
> namespace N {
> /* template <> */ S foo (S) { return S (1); }
> }
> 
> int main ()
> {
>      return 1 == N::bar (S ()).i_;
> } 
> -----------------------------------------------------
> (should return 0, but returns 1).
> 

Here is another test case that does compile time two-phase name check. 
Comeau online 4.3.3 BETA August 4, 2003 passes it, gcc 3.4.3 fails. For 
discussion please see http://groups-beta.google.com/group/comp.lang.c++.
moderated/msg/c7227abb97603d15?hl=en

namespace tpl_ {
 
template<class T>
char test(T);
 
template<class T>
struct check
{
    static T const t;
    enum { value = 1 == sizeof(test(t)) };
};
 
double test(int);
 
}
 
bool const two_phase_lookup_supported = tpl_::check<int>::value;
 
int compile_time_assert[two_phase_lookup_supported ? 1 : -1];


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-07-31 00:21 -------
Not working on this anymore. Andrew closed PR 11296 as a dup of this, but I'm 
not 100% sure. This is the testcase, so that it can be tested and added to the 
testsuite:

-----------------------------------------------------
namespace N {
template <class T> T foo (T) { return T (); }
template <class T> T bar (T t) { return foo (t); }
}

struct S { S (int i = 0): i_ (i) { } int i_; };

namespace N {
/* template <> */ S foo (S) { return S (1); }
}

int main ()
{
     return 1 == N::bar (S ()).i_;
} 
-----------------------------------------------------
(should return 0, but returns 1).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|giovannibajo at libero dot  |unassigned at gcc dot gnu
                   |it                          |dot org
             Status|ASSIGNED                    |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-29 05:16 -------
*** Bug 11296 has been marked as a duplicate of this bug. ***

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922

[Bug c++/2922] [DR 197] two-stage lookup for unqualified function calls with type-dependent arguments

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-29 05:07 -------
*** Bug 13812 has been marked as a duplicate of this bug. ***

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2922