--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/ext/attr-malloc-2.C	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,49 @@
+// Bug c++/83503 - bogus -Wattributes for const and pure on function template
+// specialization
+// Test to verify that attribute malloc on multiple declarations of
+// the same ordinary function are merged.
+// { dg-do compile }
+// { dg-options "-O -Wall -fdump-tree-optimized" }
+
+void* __attribute__ ((malloc))
+fmalloc_none (unsigned);
+
+void*
+fmalloc_none (unsigned);
+
+static char a[8];
+
+void fmalloc_none_failed ();
+
+void test_fmalloc_none (void)
+{
+  void *p = fmalloc_none (1);
+  if (!p)
+    return;
+
+  if (p == a)                     // must be false
+    fmalloc_none_failed ();       // should be eliminated
+
+  // Verify that the call to fmalloc_none() is eliminated.
+  // { dg-final { scan-tree-dump-not "fmalloc_none_failed" "optimized" } }
+}
+
+void* fnone_malloc (unsigned);
+
+void* __attribute__ ((malloc))
+fnone_malloc (unsigned);
+
+void fnone_malloc_failed ();
+
+void test_fnone_malloc (void)
+{
+  void *p = fnone_malloc (1);
+  if (!p)
+    return;
+
+  if (p == a)                     // must be false
+    fnone_malloc_failed ();       // should be eliminated
+
+  // Verify that the call to fnone_malloc() is eliminated.
+  // { dg-final { scan-tree-dump-not "fnone_malloc_failed" "optimized" } }
+}