1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/conversion/dr195.C b/gcc/testsuite/g++.dg/conversion/dr195.C
new file mode 100644
index 000000000..8502c1578
--- /dev/null
+++ b/gcc/testsuite/g++.dg/conversion/dr195.C
@@ -0,0 +1,31 @@
+// Copyright (C) 2004 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 20 Oct 2004 <nathan@codesourcery.com>
+
+// DR 195 will allow conversions between function and object pointers
+// under some circumstances. It is in drafting, so we don't implement
+// it (yet).
+
+// This checks we warn when being pedantic.
+
+typedef void (*PF)(void);
+typedef void *PV;
+typedef int *PO;
+
+void foo ()
+{
+  PF pf;
+  PV pv;
+  PO po;
+
+  /* the following two will almost definitly be ok with 195.  */
+  pf = reinterpret_cast <PF>(pv); // { dg-warning "casting between" "" }
+  pv = reinterpret_cast <PV>(pf); // { dg-warning "casting between" "" }
+
+  /* the following two might or might not be ok with 195.  */
+  pf = reinterpret_cast <PF>(po); // { dg-warning "casting between" "" }
+  po = reinterpret_cast <PO>(pf); // { dg-warning "casting between" "" }
+
+  /* These will never be ok, as they are implicit.  */
+  pv = pf; // { dg-error "invalid conversion" "" }
+  pf = pv; // { dg-error "invalid conversion" "" }
+}