diff options
author | Nico Weber <nicolasweber@gmx.de> | 2016-01-15 15:44:14 +0000 |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2016-01-15 15:44:14 +0000 |
commit | def0085395a2018b3243f4758abf3ece719a4acf (patch) | |
tree | b41330cad2ac469fed3f3588396399588d6fab86 /test/incomplete_type.sh.cpp | |
parent | d04ecd028fa2e2dc066923ff850d4c7ec526cff6 (diff) |
Revert r256322 (and follow-up 256323), the test it added does not pass on OS X.
git-svn-id: https://llvm.org/svn/llvm-project/libcxxabi/trunk@257896 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/incomplete_type.sh.cpp')
-rw-r--r-- | test/incomplete_type.sh.cpp | 162 |
1 files changed, 0 insertions, 162 deletions
diff --git a/test/incomplete_type.sh.cpp b/test/incomplete_type.sh.cpp deleted file mode 100644 index a806c6d..0000000 --- a/test/incomplete_type.sh.cpp +++ /dev/null @@ -1,162 +0,0 @@ -//===------------------------- incomplete_type.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. -// -//===----------------------------------------------------------------------===// -// http://mentorembedded.github.io/cxx-abi/abi.html#rtti-layout - -// Two abi::__pbase_type_info objects can always be compared for equality -// (i.e. of the types represented) or ordering by comparison of their name -// NTBS addresses. In addition, unless either or both have either of the -// incomplete flags set, equality can be tested by comparing the type_info -// addresses. - -// RUN: %cxx %flags %compile_flags -c %s -o %t.one.o -// RUN: %cxx %flags %compile_flags -c %s -o %t.two.o -DTU_ONE -// RUN: %cxx %flags %link_flags -o %t.exe %t.one.o %t.two.o -// RUN: %t.exe - -#include <stdio.h> -#include <cassert> -#include <typeinfo> - -struct NeverDefined; -void ThrowNeverDefinedMP(); - -struct IncompleteAtThrow; -void ThrowIncompleteMP(); -void ThrowIncompletePP(); -void ThrowIncompletePMP(); -std::type_info const& ReturnTypeInfoIncompleteMP(); -std::type_info const& ReturnTypeInfoIncompletePP(); - -struct CompleteAtThrow; -void ThrowCompleteMP(); -void ThrowCompletePP(); -void ThrowCompletePMP(); -std::type_info const& ReturnTypeInfoCompleteMP(); -std::type_info const& ReturnTypeInfoCompletePP(); - -void ThrowNullptr(); - -#ifndef TU_ONE - -void ThrowNeverDefinedMP() { throw (int NeverDefined::*)nullptr; } - -void ThrowIncompleteMP() { throw (int IncompleteAtThrow::*)nullptr; } -void ThrowIncompletePP() { throw (IncompleteAtThrow**)nullptr; } -void ThrowIncompletePMP() { throw (int IncompleteAtThrow::**)nullptr; } - -std::type_info const& ReturnTypeInfoIncompleteMP() { return typeid(int IncompleteAtThrow::*); } -std::type_info const& ReturnTypeInfoIncompletePP() { return typeid(IncompleteAtThrow**); } - -struct CompleteAtThrow {}; -void ThrowCompleteMP() { throw (int CompleteAtThrow::*)nullptr; } -void ThrowCompletePP() { throw (CompleteAtThrow**)nullptr; } -void ThrowCompletePMP() { throw (int CompleteAtThrow::**)nullptr; } - -std::type_info const& ReturnTypeInfoCompleteMP() { return typeid(int CompleteAtThrow::*); } -std::type_info const& ReturnTypeInfoCompletePP() { return typeid(CompleteAtThrow**); } - -void ThrowNullptr() { throw nullptr; } - -#else - -struct IncompleteAtThrow {}; - -int main() { - try { - ThrowNeverDefinedMP(); - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (int CompleteAtThrow::*) { - assert(false); - } catch (int NeverDefined::*) {} - - assert(ReturnTypeInfoIncompleteMP() != typeid(int IncompleteAtThrow::*)); - try { - ThrowIncompleteMP(); - assert(false); - } catch (CompleteAtThrow**) { - assert(false); - } catch (int CompleteAtThrow::*) { - assert(false); - } catch (IncompleteAtThrow**) { - assert(false); - } catch (int IncompleteAtThrow::*) {} - - assert(ReturnTypeInfoIncompletePP() != typeid(IncompleteAtThrow**)); - try { - ThrowIncompletePP(); - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (IncompleteAtThrow**) {} - - try { - ThrowIncompletePMP(); - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (IncompleteAtThrow**) { - assert(false); - } catch (int IncompleteAtThrow::**) {} - - assert(ReturnTypeInfoCompleteMP() != typeid(int CompleteAtThrow::*)); - try { - ThrowCompleteMP(); - assert(false); - } catch (IncompleteAtThrow**) { - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (CompleteAtThrow**) { - assert(false); - } catch (int CompleteAtThrow::*) {} - - assert(ReturnTypeInfoCompletePP() != typeid(CompleteAtThrow**)); - try { - ThrowCompletePP(); - assert(false); - } catch (IncompleteAtThrow**) { - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (int CompleteAtThrow::*) { - assert(false); - } catch (CompleteAtThrow**) {} - - try { - ThrowCompletePMP(); - assert(false); - } catch (IncompleteAtThrow**) { - assert(false); - } catch (int IncompleteAtThrow::*) { - assert(false); - } catch (int CompleteAtThrow::*) { - assert(false); - } catch (CompleteAtThrow**) { - assert(false); - } catch (int CompleteAtThrow::**) {} - -#if __cplusplus >= 201103L - // Catch nullptr as complete type - try { - ThrowNullptr(); - } catch (int IncompleteAtThrow::*) {} - - // Catch nullptr as an incomplete type - try { - ThrowNullptr(); - } catch (int CompleteAtThrow::*) {} - // Catch nullptr as a type that is never complete. - try { - ThrowNullptr(); - } catch (int NeverDefined::*) {} -#endif -} -#endif |