From beb8106d9b2ca3aa2ab3b3e06e657ea409a68d9c Mon Sep 17 00:00:00 2001
From: nathan <nathan@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 20 Dec 1999 15:54:19 +0000
Subject: [PATCH] * g++.old-deja/g++.other/cast3.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@31035 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/testsuite/ChangeLog                      |  4 +++
 gcc/testsuite/g++.old-deja/g++.other/cast3.C | 44 ++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)
 create mode 100644 gcc/testsuite/g++.old-deja/g++.other/cast3.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8682ef7..47957a2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+1999-12-20  Nathan Sidwell  <nathan@acm.org>
+
+	* g++.old-deja/g++.other/cast3.C: New test.
+
 1999-12-14  Bernd Schmidt  <bernds@cygnus.co.uk>
 
 	* gcc.dg/991214-1.c: Use "__asm__", not "asm".
diff --git a/gcc/testsuite/g++.old-deja/g++.other/cast3.C b/gcc/testsuite/g++.old-deja/g++.other/cast3.C
new file mode 100644
index 0000000..e8d9f0e
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/cast3.C
@@ -0,0 +1,44 @@
+// Build don't link:
+// Copyright (C) 1999 Free Software Foundation, Inc.
+// Contributed by Nathan Sidwell 12 Dec 1999 <nathan@acm.org>
+
+// static_cast should not cast _away_ constness ([expr.static.cast]/6),
+// but nothing bans _adding_ constness. [expr.static.cast]/10 states that a
+// pointer of type cv void can be cast to pointer to object type.
+
+struct X;
+struct Y {};
+struct Z : Y {};
+
+void fn (void *p, void const *cp, Y *yp, Y const *ycp, Z *zp, Z const *zcp)
+{
+  static_cast <X *> (p);
+  static_cast <X const *> (p);
+  static_cast <int *> (p);
+  static_cast <int const *> (p);
+  static_cast <int **> (p);
+  static_cast <int const **> (p);
+  static_cast <int *const *> (p);
+  static_cast <int const *const *> (p);
+  
+  static_cast <X *> (cp);           // ERROR - lose const
+  static_cast <X const *> (cp);
+  static_cast <int *> (cp);         // ERROR - lose const
+  static_cast <int const *> (cp);
+  static_cast <int **> (cp);        // ERROR - lose const
+  static_cast <int const **> (cp);  // ERROR - lose const
+  static_cast <int *const *> (cp);
+  static_cast <int const *const *> (cp);
+  
+  static_cast <Z *> (yp);
+  static_cast <Z const *> (yp);
+
+  static_cast <Z *> (ycp);          // ERROR - lose const
+  static_cast <Z const *> (ycp);
+
+  static_cast <Y *> (zp);
+  static_cast <Y const *> (zp);
+
+  static_cast <Y *> (zcp);          // ERROR - lose const
+  static_cast <Y const *> (zcp);
+}
-- 
2.7.4