commit 2f96e9f5c90d5ad52734ca2b7a2aa68bf642a3a0
author Jeffrey Yasskin <jyasskin@google.com> Sat Jun 05 01:39:57 2010 +0000
committer Jeffrey Yasskin <jyasskin@google.com> Sat Jun 05 01:39:57 2010 +0000
tree f96c496cd803e82c658fd6fecc2d9fd0bd1399e4
parent 0501b03242925e5d75a5e8478ae6e3b3aac5d3f1

Add an extension to avoid an error when a global template has the same name as
a member template, and you try to call the member template with an explicit
template argument.  See PR7247 

For example, this downgrades the error to a warning in:

template<typename T> struct set{};
struct Value {
    template<typename T>
    void set(T value) {
    }
};
void foo() {
    Value v;
    v.set<double>(3.2);  // Warning here.
}

llvm-svn: 105518

clang/docs/UsersManual.html

diff --git a/clang/docs/UsersManual.html b/clang/docs/UsersManual.html
index 5bff1af..a53a1af 100644
--- a/clang/docs/UsersManual.html
+++ b/clang/docs/UsersManual.html
@@ -386,6 +386,30 @@
  and <a href="">-Wbaz</a>.</p>
 </dd>
 
+<!-- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -->
+<dt id="opt_Wambiguous-member-template"><b>-Wambiguous-member-template</b>:
+Warn about unqualified uses of a member template whose name resolves
+to another template at the location of the use.</dt>
+<dd>This option, which defaults to on, enables a warning in the
+following code:</p>
+
+<pre>
+template&lt;typename T> struct set{};
+template&lt;typename T> struct trait { typedef const T& type; };
+struct Value {
+  template&lt;typename T> void set(typename trait&lt;T>::type value) {}
+};
+void foo() {
+  Value v;
+  v.set&lt;double>(3.2);
+}
+</pre>
+
+<p>C++ [basic.lookup.classref] requires this to be an error, but,
+because it's hard to work around, Clang downgrades it to a warning as
+an extension.</p>
+</dd>
+
 </dl>
 
 <!-- ======================================================================= -->