More lambda work: semantic analysis of capturing 'this'. It's a bit complicated, but we have to be careful about when exactly captures are marked given PotentiallyPotentiallyEvaluated contexts. (Actually, it's not 100% correct yet, but it's close enough for the moment.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@147723 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 21 insertions, 4 deletions

diff --git a/test/SemaCXX/lambda-expressions.cpp b/test/SemaCXX/lambda-expressions.cpp
index 50d0d6deb8..9411c34ec8 100644
--- a/test/SemaCXX/lambda-expressions.cpp
+++ b/test/SemaCXX/lambda-expressions.cpp
@@ -1,5 +1,7 @@
 // RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
 
+namespace std { class type_info; };
+
 namespace ExplicitCapture {
   int GlobalVar; // expected-note {{declared here}}
 
@@ -10,10 +12,13 @@ namespace ExplicitCapture {
   using namespace N;
 
   class C {
-    int x;
+    int Member;
+
+    static void Overload(int);
+    void Overload();
+    virtual C& Overload(float);
 
-    void f(int);
-    void f() {
+    void ExplicitCapture() {
       int foo;
 
       [foo, foo] () {}; // expected-error {{'foo' can appear only once}} expected-error {{not supported yet}}
@@ -24,11 +29,23 @@ namespace ExplicitCapture {
       [&, foo] () {}; // expected-error {{not supported yet}}
       [&, &foo] () {}; // expected-error {{'&' cannot precede a capture when}} expected-error {{not supported yet}}
       [&, this] () {}; // expected-error {{not supported yet}}
-      [&f] () {}; // expected-error {{does not name a variable}} expected-error {{not supported yet}}
+      [&Overload] () {}; // expected-error {{does not name a variable}} expected-error {{not supported yet}}
       [&GlobalVar] () {}; // expected-error {{does not have automatic storage duration}} expected-error {{not supported yet}}
       [&AmbiguousVar] () {} // expected-error {{reference to 'AmbiguousVar' is ambiguous}} expected-error {{not supported yet}}
       [&Globalvar] () {}; // expected-error {{use of undeclared identifier 'Globalvar'; did you mean 'GlobalVar}}
     }
+
+    void ImplicitThisCapture() {
+      [](){(void)Member;}; // expected-error {{'this' cannot be implicitly captured in this context}} expected-error {{not supported yet}}
+      [&](){(void)Member;}; // expected-error {{not supported yet}}
+      [this](){(void)Member;}; // expected-error {{not supported yet}}
+      [this]{[this]{};};// expected-error 2 {{not supported yet}}
+      []{[this]{};};// expected-error {{'this' cannot be implicitly captured in this context}} expected-error 2 {{not supported yet}}
+      []{Overload(3);}; // expected-error {{not supported yet}}
+      []{Overload();}; // expected-error {{'this' cannot be implicitly captured in this context}} expected-error {{not supported yet}}
+      []{(void)typeid(Overload());};// expected-error {{not supported yet}}
+      []{(void)typeid(Overload(.5f));};// expected-error {{'this' cannot be implicitly captured in this context}} expected-error {{not supported yet}}
+    }
   };
 
   void f() {