--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/ext/attr-malloc.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,69 @@
+// Bug c++/83503 - bogus -Wattributes for const and pure on function template
+// specialization
+// Test to verify that an explicit template specifialization does not
+// "inherit" attribute malloc from a primary template declared with one.
+// { dg-do compile }
+// { dg-options "-O -Wall -fdump-tree-optimized" }
+
+template <class>
+void* __attribute__ ((malloc))
+fmalloc (unsigned);
+
+template <>
+void*
+fmalloc<int>(unsigned);       // { dg-warning "may be missing attributes" }
+
+static char a[8];
+
+void fmalloc_void_malloc ();
+void fmalloc_int_not_malloc ();
+
+void test_fmalloc_primary (void)
+{
+  void *p = fmalloc<void>(1);
+  if (!p)
+    return;
+
+  if (p == a)                     // must be false
+    fmalloc_void_malloc ();       // should be eliminated
+
+  // Verify that the call to fmalloc_void_malloc() is eliminated.
+  // { dg-final { scan-tree-dump-not "fmalloc_void_malloc" "optimized" } }
+}
+
+
+void test_fmalloc_spec_none (void)
+{
+  void *p = fmalloc<int>(1);
+  if (!p)
+    return;
+
+  if (p == a)                     // can be true
+    fmalloc_int_not_malloc ();    // must not be eliminated
+
+  // Verify that the call to fmalloc_int_not_malloc() is retained.
+  // { dg-final { scan-tree-dump-times "fmalloc_int_not_malloc" 1 "optimized" } }
+}
+
+template <>
+void*
+fmalloc<long>(unsigned);          // { dg-warning "may be missing attributes" }
+
+template <>
+void* __attribute__ ((malloc))
+fmalloc<long>(unsigned);
+
+void fmalloc_long_malloc ();
+
+void test_fmalloc_spec_malloc (void)
+{
+  void *p = fmalloc<long>(1);
+  if (!p)
+    return;
+
+  if (p == a)                     // can be true
+    fmalloc_long_malloc ();       // must not be eliminated
+
+  // Verify that the call to fmalloc_long_malloc() is eliminated.
+  // { dg-final { scan-tree-dump-not "fmalloc_long_malloc" "optimized" } }
+}