1 files changed, 49 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/warn/Wconversion-null.C b/gcc/testsuite/g++.dg/warn/Wconversion-null.C
new file mode 100644
index 000000000..e2ca13e51
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wconversion-null.C
@@ -0,0 +1,49 @@
+// { dg-do link  }
+// { dg-options "-Wconversion -Wno-conversion-null -Wno-pointer-arith" }
+
+#include <cstddef>
+
+void g(int) {}
+void g(long) {}
+void g(long long) {}
+extern void g(void*);
+
+template <int I>
+void h() {}
+
+void k(int) {}
+
+template <class T>
+void l(T);
+
+template <>
+void l(int) {}
+
+template <>
+void l(long) {}
+
+template <>
+void l(long long) {}
+
+int main()
+{
+  int i = NULL; //  converting NULL to non-pointer type
+  float z = NULL; //  converting NULL to non-pointer type
+  int a[2];
+
+  i != NULL; //  NULL used in arithmetic
+  NULL != z; //  NULL used in arithmetic
+  k != NULL; // No warning: decay conversion
+  NULL != a; // Likewise.
+  -NULL;     //  converting NULL to non-pointer type
+  +NULL;     //  converting NULL to non-pointer type
+  ~NULL;     //  converting NULL to non-pointer type
+  a[NULL] = 3; //  converting NULL to non-pointer-type
+  i = NULL;  //  converting NULL to non-pointer type
+  z = NULL;  //  converting NULL to non-pointer type
+  k(NULL);   //  converting NULL to int
+  g(NULL);   //  converting NULL to int
+  h<NULL>(); // No warning: NULL bound to integer template parameter
+  l(NULL);   //  converting NULL to int
+  NULL && NULL; // No warning: converting NULL to bool is OK
+}