[LLVMbugs] [Bug 23714] New: Explicit template arguments of overload name ignored by ADL

[bugzilla-daemon at llvm.org]

https://llvm.org/bugs/show_bug.cgi?id=23714

            Bug ID: 23714
           Summary: Explicit template arguments of overload name ignored
                    by ADL
           Product: clang
           Version: 3.6
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: C++11
          Assignee: unassignedclangbugs at nondot.org
          Reporter: david_work at me.com
                CC: dgregor at apple.com, llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The last sentence of [basic.lookup.argdep] §3.4.2/2 is unimplemented.

"Additionally, if the aforementioned set of overloaded functions is named with
a template-id, its associated classes and namespaces also include those of its
type template-arguments and its template template-arguments."

This was added to the IS in C++11, but it's probably applicable to C++98 too.
Clang implements a similar, non-template case added by C++03 in C++98 mode
(since C++98 and C++03 modes are the same thing).


namespace hide {
    struct s {};

    template< typename >
    void f() {}

    void call( void (*fn) () ) {
        fn();
    }
}

int main() {
    call( hide::f< hide::s > );
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150601/8fcdf662/attachment.html>