diff options
| author | Marshall Clow <mclow@qualcomm.com> | 2011-06-03 13:54:37 +0000 |
|---|---|---|
| committer | Marshall Clow <mclow@qualcomm.com> | 2011-06-03 13:54:37 +0000 |
| commit | f8da5b22af16dd303417175b5edee3b439346a43 (patch) | |
| tree | 1882b22906cc526e935206aebd86708a2ebc519d | |
| parent | d4de06861d384bd5a9fd980b46987b3ba2d9423a (diff) | |
| download | bcm5719-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.cpp | 64 |
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; + } |

