Add support for member references (E1.E2, E1->E2) with C++ semantics,

which can refer to static data members, enumerators, and member
functions as well as to non-static data members.

Implement correct lvalue computation for member references in C++. 
Compute the result type of non-static data members of reference type properly.

llvm-svn: 61294

1 files changed, 22 insertions, 0 deletions

diff --git a/clang/test/SemaCXX/member-expr.cpp b/clang/test/SemaCXX/member-expr.cpp
new file mode 100644
index 00000000000..0175bd6f138
--- /dev/null
+++ b/clang/test/SemaCXX/member-expr.cpp
@@ -0,0 +1,22 @@
+// RUN: clang -fsyntax-only -verify %s
+
+class X{
+public:
+  enum E {Enumerator};
+  int f();
+  static int mem;
+  static float g();
+};
+
+void test(X* xp, X x) {
+  int i1 = x.f();
+  int i2 = xp->f();
+  x.E; // expected-error{{cannot refer to type member 'E' with '.'}}
+  xp->E; // expected-error{{cannot refer to type member 'E' with '->'}}
+  // FIXME: lookup needs to find enumerators  int i3 = x.Enumerator;
+  // FIXME:  int i4 = xp->Enumerator;
+  x.mem = 1;
+  xp->mem = 2;
+  float f1 = x.g();
+  float f2 = xp->g();
+}