* g++.old-deja/g++.other/cast5.C: New test.

From-SVN: r31850

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2186c29..3d6cb6f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2000-02-08  Nathan Sidwell  <nathan@acm.org>
+
+       * g++.old-deja/g++.other/cast5.C: New test.
+
 2000-02-05  Alan Modra  <alan@SPRI.Levels.UniSA.Edu.Au>
 
        * gcc.c-torture/execute/20000205-1.c: New.

diff --git a/gcc/testsuite/g++.old-deja/g++.other/cast5.C b/gcc/testsuite/g++.old-deja/g++.other/cast5.C
new file mode 100644 (file)
index 0000000..80640eb
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/cast5.C
@@ -0,0 +1,38 @@
+// Build don't link:
+
+// Copyright (C) 2000 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 4 Feb 2000 <nathan@acm.org>
+
+// Array of cv T decays to pointer to cv T, and pointer to array of cv T can
+// be converted to pointer to cv T. We need to make sure the `cv's don't
+// confuse us.
+
+typedef char const *ary_t[2];
+
+void f0 (ary_t const *const &ary)
+{
+  static_cast <void const *> (ary);
+  static_cast <void *> (ary);         // ERROR - casts away const
+  (void const *) (ary);
+}
+
+void f1 (ary_t *const &ary)
+{
+  static_cast <void *> (ary);
+  static_cast <void const *> (ary);
+  (void const *) (ary);
+}
+
+void f2 (ary_t const *&ary)
+{
+  static_cast <void const *> (ary);
+  static_cast <void *> (ary);         // ERROR - casts away const
+  (void const *) (ary);
+}
+
+void f3 (ary_t *&ary)
+{
+  static_cast <void *> (ary);
+  static_cast <void const *> (ary);
+  (void const *) (ary);
+}