test for conversion from 0 to pointers

Author: Daniel Kroening

regression/cpp/Pointer_Conversion2/main.cpp

@@ -0,0 +1,13 @@
+struct some_struct {int whatnot;};
+
+int main()
+{
+  void *ptr1;
+  int some_struct::* ptr2;
+  int (*ptr3)(int);
+  
+  // The number '0' can be converted to any pointer
+  ptr1=0;
+  ptr2=0;
+  ptr3=0;
+}

regression/cpp/Pointer_Conversion2/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+main.cpp
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$