From 2609a39863cad3d83ec3fbc6f35164a194c3a18d Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sat, 2 Mar 2013 11:17:44 +0000
Subject: [PATCH] re PR c++/52688 (static local variable can accessed from
 local class of function template)

2013-03-02  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/52688
	* g++.dg/template/static33.C: New.
	* g++.dg/template/static34.C: Likewise.

	PR c++/10291
	* g++.dg/template/static35.C: New.

From-SVN: r196405
---
 gcc/testsuite/ChangeLog                  |  9 +++++++++
 gcc/testsuite/g++.dg/template/static33.C | 18 ++++++++++++++++++
 gcc/testsuite/g++.dg/template/static34.C | 21 +++++++++++++++++++++
 gcc/testsuite/g++.dg/template/static35.C | 21 +++++++++++++++++++++
 4 files changed, 69 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/static33.C
 create mode 100644 gcc/testsuite/g++.dg/template/static34.C
 create mode 100644 gcc/testsuite/g++.dg/template/static35.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b446a4893e1..112b6ae37ec 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,12 @@
+2013-03-02  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/52688
+	* g++.dg/template/static33.C: New.
+	* g++.dg/template/static34.C: Likewise.
+
+	PR c++/10291
+	* g++.dg/template/static35.C: New.
+
 2013-03-01  Steve Ellcey  <sellcey@mips.com>
 
 	* gcc.dg/pr56396.c: Require pic support.
diff --git a/gcc/testsuite/g++.dg/template/static33.C b/gcc/testsuite/g++.dg/template/static33.C
new file mode 100644
index 00000000000..2d7b97da138
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/static33.C
@@ -0,0 +1,18 @@
+// PR c++/52688
+// { dg-do link }
+
+template<typename T>
+T f()
+{
+  static const double staticLocalVariable = 100.0;
+  struct local
+  {
+      static double f() { return staticLocalVariable; }
+  };
+  return T(local::f());
+}
+
+int main()
+{
+  f<double>();
+}
diff --git a/gcc/testsuite/g++.dg/template/static34.C b/gcc/testsuite/g++.dg/template/static34.C
new file mode 100644
index 00000000000..122fffafbcb
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/static34.C
@@ -0,0 +1,21 @@
+// PR c++/52688
+// { dg-do link }
+
+template<class T>
+struct A {
+  static bool test() {
+    static bool value = false;
+    if (value)
+      return false;
+    struct S {
+      S() { value = true; }
+    };
+    static S s;
+    return true;
+  }
+};
+
+int main()
+{
+  A<int>::test();
+}
diff --git a/gcc/testsuite/g++.dg/template/static35.C b/gcc/testsuite/g++.dg/template/static35.C
new file mode 100644
index 00000000000..d645f249041
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/static35.C
@@ -0,0 +1,21 @@
+// PR c++/10291
+// { dg-do link }
+
+template <class T>
+int foo ()
+{
+  static int i;
+
+  struct S {
+    int bar () {
+      return i;
+    }
+  } s;
+
+  return s.bar ();
+}
+
+int main ()
+{
+  foo<int>();
+}