obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 74 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-type.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-type.C
new file mode 100644
index 000000000..3b2a2a76a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-type.C
@@ -0,0 +1,74 @@
+// Every id-expression that is a use (_basic.def.odr_ 3.2) of an entity
+// captured by copy is transformed into an access to the corresponding
+// unnamed data member of the closure type.
+//...
+// Every occurrence of decltype((x)) where x is a possibly parenthesized
+// id-expression that names an entity of automatic storage duration is
+// treated as if x were transformed into an access to a corresponding data
+// member of the closure type that would have been declared if x were a use
+// of the denoted entity.
+
+// So, other appearances of 'x' within decltype do not refer to the closure
+// member, because they are not "use"s in the sense of 3.2.
+
+// { dg-options -std=c++0x }
+
+template<class T, class U>
+struct same_type;
+template <class T>
+struct same_type<T,T> { };
+
+int main()
+{
+  int i;
+  [=] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int const&>();
+    i+1;
+    same_type<decltype((i)),int const&>();
+    same_type<decltype(i),int>();
+  };
+  [=] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int const&>();
+    same_type<decltype(i),int>();
+  };
+  [=] () mutable {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+    same_type<decltype(i),int>();
+  };
+  [&] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+    same_type<decltype(i),int>();
+  };
+  [i] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int const&>();
+  };
+  [&,i] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int const&>();
+  };
+  [i] () mutable {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+  };
+  [&,i] () mutable {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+  };
+  [&i] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+  };
+  [=,&i] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int &>();
+  };
+  [] {
+    same_type<decltype(i),int>();
+    same_type<decltype((i)),int const&>(); // { dg-error "" "not captured" }
+  };
+}