summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarshall Clow <mclow@qualcomm.com>2011-06-03 13:54:37 +0000
committerMarshall Clow <mclow@qualcomm.com>2011-06-03 13:54:37 +0000
commitf8da5b22af16dd303417175b5edee3b439346a43 (patch)
tree1882b22906cc526e935206aebd86708a2ebc519d
parentd4de06861d384bd5a9fd980b46987b3ba2d9423a (diff)
downloadbcm5719-llvm-f8da5b22af16dd303417175b5edee3b439346a43.tar.gz
bcm5719-llvm-f8da5b22af16dd303417175b5edee3b439346a43.zip
Tests for bad_typeid and bad_cast
llvm-svn: 132545
-rw-r--r--libcxxabi/test/test_aux_runtime.cpp64
1 files changed, 64 insertions, 0 deletions
diff --git a/libcxxabi/test/test_aux_runtime.cpp b/libcxxabi/test/test_aux_runtime.cpp
new file mode 100644
index 00000000000..0d239b47d43
--- /dev/null
+++ b/libcxxabi/test/test_aux_runtime.cpp
@@ -0,0 +1,64 @@
+//===-------------------------- test_aux_runtime.cpp ----------------------===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file is dual licensed under the MIT and the University of Illinois Open
+// Source Licenses. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+
+#include <typeinfo>
+#include <iostream>
+
+// Test taken from 5.2.8.2
+// When typeid is applied to a glvalue expression whose type is a polymorphic
+// class type, (10.3), the result refers to a std::type_info object
+// representing the type of the most derived object (1.8) (that is, the
+// dynamic type) to which the glvalue refers. If the glvalue expression is
+// obtained by applying the unary * operator to a pointer(68) and the pointer
+// is a null pointer value (4.10), the typeid expression throws the
+// std::bad_typeid exception (18.7.3).
+//
+// 68) If p is an expression of pointer type, then *p, (*p), *(p),
+// ((*p)), *((p)), and so on all meet this requirement.
+bool bad_typeid_test () {
+ class A { virtual void f() {}};
+ class B { virtual void g() {}};
+
+ B *bp = NULL;
+ try { typeid(*bp) == typeid (A); }
+ catch ( const std::bad_typeid &bc ) { return true; }
+ return false;
+ }
+
+
+// The value of a failed cast to pointer type is the null pointer value of
+// the required result type. A failed cast to reference type throws
+// std::bad_cast (18.7.2).
+bool bad_cast_test () {
+ class A { virtual void f() {}};
+ class B { virtual void g() {}};
+ class D : public virtual A, private B {};
+
+ D d;
+ B *bp = (B*)&d; // cast needed to break protection
+ try { D &dr = dynamic_cast<D&> (*bp); }
+ catch ( const std::bad_cast &bc ) { return true; }
+ return false;
+ }
+
+int main ( int argc, char *argv [] ) {
+ int ret_val = 0;
+
+ if ( !bad_typeid_test ()) {
+ std::cerr << "TypeID test failed!" << std::endl;
+ ret_val = 1;
+ }
+
+ if ( !bad_cast_test ()) {
+ std::cerr << "Bad cast test failed!" << std::endl;
+ ret_val = 1;
+ }
+
+ return ret_val;
+ }
OpenPOWER on IntegriCloud