diff options
| author | Jonathan Roelofs <jonathan@codesourcery.com> | 2015-01-21 19:05:37 +0000 |
|---|---|---|
| committer | Jonathan Roelofs <jonathan@codesourcery.com> | 2015-01-21 19:05:37 +0000 |
| commit | e434b34fa342da0539581690334b105101d00155 (patch) | |
| tree | aac5c35a8c7931251e06f007af33d4182627b1f5 /libcxxabi/test/test_aux_runtime.pass.cpp | |
| parent | 311730ac7834eb2d1283c86b6303e688343271bd (diff) | |
| download | bcm5719-llvm-e434b34fa342da0539581690334b105101d00155.tar.gz bcm5719-llvm-e434b34fa342da0539581690334b105101d00155.zip | |
Rename all of the tests in preparation for merging lit configs with libcxx
http://reviews.llvm.org/D7101
llvm-svn: 226691
Diffstat (limited to 'libcxxabi/test/test_aux_runtime.pass.cpp')
| -rw-r--r-- | libcxxabi/test/test_aux_runtime.pass.cpp | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/libcxxabi/test/test_aux_runtime.pass.cpp b/libcxxabi/test/test_aux_runtime.pass.cpp new file mode 100644 index 00000000000..5506ee335f9 --- /dev/null +++ b/libcxxabi/test/test_aux_runtime.pass.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 {bool b = 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; + } |

