re PR c++/77555 (unused inline function in-function static variable accessed from...

2017-10-23  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/77555
	* g++.dg/torture/pr77555.C: New.

From-SVN: r254006

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9ca1131a65b7209b71391cdeb2c9f11d69f4c4cb..2af517e07c431c1b5297391d0a277fa4fcc98d6f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-23  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/77555
+       * g++.dg/torture/pr77555.C: New.
+
 2017-10-23  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/82129

diff --git a/gcc/testsuite/g++.dg/torture/pr77555.C b/gcc/testsuite/g++.dg/torture/pr77555.C
new file mode 100644 (file)
index 0000000..540d1a0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr77555.C
@@ -0,0 +1,20 @@
+// { dg-do link }
+// { dg-options "-std=c++11" }
+
+extern "C" int printf(const char*, ...);
+struct A {
+  A(int, char *p2) { printf(p2); }
+};
+template <int, typename> struct B { static A static_var; };
+template <int LINE, typename GETTER>
+A B<LINE, GETTER>::static_var{0, GETTER::get()};
+struct C {
+  void unused() {
+    static char function_static;
+    struct D {
+      static char *get() { return &function_static; }
+    };
+    auto addr = B<0, D>::static_var;
+  }
+};
+int main() {}