--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/ext/attr-warning.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,49 @@
+// Bug c++/83871 - wrong code due to attributes on distinct template
+// specializations
+// Test to verify that an explicit template specifialization does not
+// "inherit" attribute warning from a primary template declared with
+// it.
+// { dg-do compile }
+// { dg-options "-Wall" }
+
+struct Special;
+
+// Primary has no attributes here.
+template <class T>
+void fwarn_primary ();
+
+// Uses of the primary template, including declarations of its
+// specializations, should not be diagnosed until after it has
+// been redeclared with attribute warning.
+template <>
+void fwarn_primary<Special> ();
+
+void use_primary_before_warning ()
+{
+  // Verify that uses of the primary are not diagnosed.
+  fwarn_primary<char>();
+  fwarn_primary<short>();
+}
+
+// Redeclare the primary with attribute warning.
+template <class T>
+void __attribute__ ((warning ("primary")))
+fwarn_primary ();
+
+// Attribute warning is special in that it only warns for functions
+// that are actually used, not those that are only declared.
+template <>
+void fwarn_primary<double> ();
+
+void use_primary_after_warning ()
+{
+  // Verify that uses of the redeclared primary are diagnosed.
+  fwarn_primary<int>();           // { dg-warning "primary" }
+  fwarn_primary<long>();          // { dg-warning "primary" }
+}
+
+void use_special ()
+{
+  // Verify that the use of the specializatoin is not diagnosed.
+  fwarn_primary<Special>();
+}