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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Apr 18 02:04:13 PDT 2012


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

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.

More information about the llvm-bugs mailing list