[cfe-commits] r155940 - in /cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref: p1-cxx11.cpp p4-cxx11.cpp
Douglas Gregor
dgregor at apple.com
Tue May 1 13:31:53 PDT 2012
Author: dgregor
Date: Tue May 1 15:31:53 2012
New Revision: 155940
URL: http://llvm.org/viewvc/llvm-project?rev=155940&view=rev
Log:
Add test cases for r155935.
Added:
cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p1-cxx11.cpp
cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p4-cxx11.cpp
Added: cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p1-cxx11.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p1-cxx11.cpp?rev=155940&view=auto
==============================================================================
--- cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p1-cxx11.cpp (added)
+++ cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p1-cxx11.cpp Tue May 1 15:31:53 2012
@@ -0,0 +1,89 @@
+// RUN: %clang_cc1 -std=c++11 -fsyntax-only -fdiagnostics-show-option -verify %s
+
+// C++98 [basic.lookup.classref]p1:
+// In a class member access expression (5.2.5), if the . or -> token is
+// immediately followed by an identifier followed by a <, the identifier must
+// be looked up to determine whether the < is the beginning of a template
+// argument list (14.2) or a less-than operator. The identifier is first
+// looked up in the class of the object expression. If the identifier is not
+// found, it is then looked up in the context of the entire postfix-expression
+// and shall name a class or function template. If the lookup in the class of
+// the object expression finds a template, the name is also looked up in the
+// context of the entire postfix-expression and
+// -- if the name is not found, the name found in the class of the object
+// expression is used, otherwise
+// -- if the name is found in the context of the entire postfix-expression
+// and does not name a class template, the name found in the class of the
+// object expression is used, otherwise
+// -- if the name found is a class template, it must refer to the same
+// entity as the one found in the class of the object expression,
+// otherwise the program is ill-formed.
+
+// From PR 7247
+template<typename T>
+struct set{};
+struct Value {
+ template<typename T>
+ void set(T value) {}
+
+ void resolves_to_same() {
+ Value v;
+ v.set<double>(3.2);
+ }
+};
+void resolves_to_different() {
+ {
+ Value v;
+ // The fact that the next line is a warning rather than an error is an
+ // extension.
+ v.set<double>(3.2);
+ }
+ {
+ int set; // Non-template.
+ Value v;
+ v.set<double>(3.2);
+ }
+}
+
+namespace rdar9915664 {
+ struct A {
+ template<typename T> void a();
+ };
+
+ struct B : A { };
+
+ struct C : A { };
+
+ struct D : B, C {
+ A &getA() { return static_cast<B&>(*this); }
+
+ void test_a() {
+ getA().a<int>();
+ }
+ };
+}
+
+namespace PR11856 {
+ template<typename T> T end(T);
+
+ template <typename T>
+ void Foo() {
+ T it1;
+ if (it1->end < it1->end) {
+ }
+ }
+
+ template<typename T> T *end(T*);
+
+ class X { };
+ template <typename T>
+ void Foo2() {
+ T it1;
+ if (it1->end < it1->end) {
+ }
+
+ X *x;
+ if (x->end < 7) { // expected-error{{no member named 'end' in 'PR11856::X'}}
+ }
+ }
+}
Added: cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p4-cxx11.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p4-cxx11.cpp?rev=155940&view=auto
==============================================================================
--- cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p4-cxx11.cpp (added)
+++ cfe/trunk/test/CXX/basic/basic.lookup/basic.lookup.classref/p4-cxx11.cpp Tue May 1 15:31:53 2012
@@ -0,0 +1,21 @@
+// RUN: %clang_cc1 -std=c++11 %s -verify
+
+struct A { void f(); };
+struct C { void f(); };
+struct B : A { typedef A X; };
+struct D : C { typedef C X; void g(); };
+
+void D::g()
+{
+ B * b = new B;
+ b->X::f(); // lookup for X finds B::X
+}
+
+typedef int X;
+void h(void)
+{
+ B * b = new B;
+ b->X::f(); // lookup for X finds B::X
+}
+
+
More information about the cfe-commits
mailing list