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

["maxim dot yegorushkin at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

------- 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