Author: hans Date: Tue Jan 19 15:06:49 2016 New Revision: 258186 URL: http://llvm.org/viewvc/llvm-project?rev=258186&view=rev Log: Merging r257896: ------------------------------------------------------------------------ r257896 | nico | 2016-01-15 07:44:14 -0800 (Fri, 15 Jan 2016) | 1 line
Revert r256322 (and follow-up 256323), the test it added does not pass on OS X. ------------------------------------------------------------------------ Removed: libcxxabi/branches/release_38/test/incomplete_type.sh.cpp Modified: libcxxabi/branches/release_38/ (props changed) libcxxabi/branches/release_38/src/private_typeinfo.cpp Propchange: libcxxabi/branches/release_38/ ------------------------------------------------------------------------------ svn:mergeinfo = /libcxxabi/trunk:257896 Modified: libcxxabi/branches/release_38/src/private_typeinfo.cpp URL: http://llvm.org/viewvc/llvm-project/libcxxabi/branches/release_38/src/private_typeinfo.cpp?rev=258186&r1=258185&r2=258186&view=diff ============================================================================== --- libcxxabi/branches/release_38/src/private_typeinfo.cpp (original) +++ libcxxabi/branches/release_38/src/private_typeinfo.cpp Tue Jan 19 15:06:49 2016 @@ -34,12 +34,9 @@ // // _LIBCXX_DYNAMIC_FALLBACK is currently off by default. - -#include <string.h> - - #ifdef _LIBCXX_DYNAMIC_FALLBACK #include "abort_message.h" +#include <string.h> #include <sys/syslog.h> #endif @@ -60,19 +57,31 @@ namespace __cxxabiv1 #pragma GCC visibility push(hidden) +#ifdef _LIBCXX_DYNAMIC_FALLBACK + inline bool is_equal(const std::type_info* x, const std::type_info* y, bool use_strcmp) { -#ifndef _WIN32 if (!use_strcmp) return x == y; return strcmp(x->name(), y->name()) == 0; +} + +#else // !_LIBCXX_DYNAMIC_FALLBACK + +inline +bool +is_equal(const std::type_info* x, const std::type_info* y, bool) +{ +#ifndef _WIN32 + return x == y; #else return (x == y) || (strcmp(x->name(), y->name()) == 0); -#endif +#endif } +#endif // _LIBCXX_DYNAMIC_FALLBACK // __shim_type_info @@ -342,17 +351,8 @@ bool __pbase_type_info::can_catch(const __shim_type_info* thrown_type, void*&) const { - if (is_equal(thrown_type, &typeid(std::nullptr_t), false)) return true; - bool use_strcmp = this->__flags & (__incomplete_class_mask | - __incomplete_mask); - if (!use_strcmp) { - const __pbase_type_info* thrown_pbase = dynamic_cast<const __pbase_type_info*>( - thrown_type); - if (!thrown_pbase) return false; - use_strcmp = thrown_pbase->__flags & (__incomplete_class_mask | - __incomplete_mask); - } - return is_equal(this, thrown_type, use_strcmp); + return is_equal(this, thrown_type, false) || + is_equal(thrown_type, &typeid(std::nullptr_t), false); } #ifdef __clang__ Removed: libcxxabi/branches/release_38/test/incomplete_type.sh.cpp URL: http://llvm.org/viewvc/llvm-project/libcxxabi/branches/release_38/test/incomplete_type.sh.cpp?rev=258185&view=auto ============================================================================== --- libcxxabi/branches/release_38/test/incomplete_type.sh.cpp (original) +++ libcxxabi/branches/release_38/test/incomplete_type.sh.cpp (removed) @@ -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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits