[LLVMbugs] [Bug 12583] declval() with incomplete type

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=12583

Petr Ovtchenkov <abominable-snowman at yandex.ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |INVALID

--- Comment #8 from Petr Ovtchenkov <abominable-snowman at yandex.ru> 2012-04-18 04:04:13 CDT ---
Summary:

Not a bug, because during evaluating

    template <class T>
    static decltype( declval<typename T::pointer>(), declval<true_type>())
__test_p( int );

compiler check possible (not available here, but still possible) comma operator

  operator ,( x_pair<int, Incomplete>*, true_type )

Checking this operator assume instantiation of x_pair<int, Incomplete> due to
ADL (similar to 

  S<incomplete> *p; // not instantiated here
  int k = f(p);     // instantiated here

instantiation of S<incomplete> due to ADL for f(p)).

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.