[libcxx] Remove bad_array_length

[ldionne]

Summary

std::bad_array_length was added by n3467, but this never made it into C++.
This commit removes the definition of std::bad_array_length from the headers
AND from the shared library. See the comments in the ABI changelog for details
about the ABI implications of this change.

[ldionne]

Note that this depends on https://reviews.llvm.org/D54801.

[dexonsmith]

If we have shipped this in libc++abi.dylib, we need to continue supporting it for bincompat of existing apps.

[ldionne]

In D54804#1308795, @dexonsmith wrote:

If we have shipped this in libc++abi.dylib, we need to continue supporting it for bincompat of existing apps.

I don't think it's possible for any application to actually use the symbols, as they were marked as unavailable on Darwin. It would technically be possible for an application to depend on the symbol by e.g. forward-declaring it themselves, but I think it is quite unlikely this has ever happened, especially for something that was not even standardized. The same reasoning applies to symbols that we have been exporting "by mistake" through implicit instantiations of function templates that were not marked as hidden. We're comfortable removing such symbols because nobody could depend on those symbols being part of the dylib, except if they _really_ tried hard (by forward declaring the function template and using an explicit instantiation declaration with default visibility).

[dexonsmith]

In D54804#1308803, @ldionne wrote:

In D54804#1308795, @dexonsmith wrote:

If we have shipped this in libc++abi.dylib, we need to continue supporting it for bincompat of existing apps.

I don't think it's possible for any application to actually use the symbols, as they were marked as unavailable on Darwin.

I think I added that markup later though. What was the setup for applications built before that markup was there?

(Agreed that we don't think there are people that added their own declarations.)

[dexonsmith]

libcxx/lib/abi/CHANGELOG.TXT

23 ↗

(On Diff #174947)

If the symbols really didn't ship until that late, then we may be okay.

[dexonsmith]

Louis confirmed that we had the unavailable in place before shipping the symbols. This LGTM from our perspective, but do other vendors have comments?

[ldionne]

Added release notes.

[ldionne]

I'd like to merge this early in the cycle to give vendors the chance to notice failures in case there are any (but we don't expect that to happen given our investigation). I'll merge this now because I'm not aware of any other vendor that could be worried by this (and so the waiting time implied by Duncan's question above is potentially unbounded). However, if anyone has concerns, please comment here and I'll insta-revert until we've come to an agreement.

docs/ReleaseNotes.rst

- Starting with LLVM 8.0.0, users that wish to link together translation units
   those translation units. Not defining _LIBCPP_HIDE_FROM_ABI_PER_TU to 1 and
   linking translation units built with different versions of libc++'s headers
   together may lead to ODR violations and ABI issues. On the flipside, code
   size improvements should be expected for everyone not defining the macro.
 - Starting with LLVM 8.0.0, std::dynarray has been removed from the library.
   std::dynarray was a feature proposed for C++14 that was pulled from the
   Standard at the last minute and was never standardized. Since there are no
   plans to standardize this facility it is being removed.
+- Starting with LLVM 8.0.0, std::bad_array_length has been removed from the
+  library. std::bad_array_length was a feature proposed for C++14 alongside
+  std::dynarray, but it never actually made it into the C++ Standard. There
+  are no plans to standardize this feature at this time. Formally speaking,
+  this removal constitutes an ABI break because the symbols were shipped in
+  the shared library. However, on macOS systems, the feature was not usable
+  because it was hidden behind availability annotations. We do not expect
+  any actual breakage to happen from this change.

include/__config

#  define _LIBCPP_AVAILABILITY_SHARED_MUTEX                                    \
      __attribute__((availability(watchos,strict,introduced=3.0)))
 #  define _LIBCPP_AVAILABILITY_BAD_OPTIONAL_ACCESS                             \
      __attribute__((availability(macosx,strict,introduced=10.14)))             \
      __attribute__((availability(ios,strict,introduced=12.0)))                 \
      __attribute__((availability(tvos,strict,introduced=12.0)))                \
      __attribute__((availability(watchos,strict,introduced=5.0)))
 #  define _LIBCPP_AVAILABILITY_BAD_VARIANT_ACCESS                              \
      _LIBCPP_AVAILABILITY_BAD_OPTIONAL_ACCESS
-#  define _LIBCPP_AVAILABILITY_BAD_ARRAY_LENGTH __attribute__((unavailable))
 #  define _LIBCPP_AVAILABILITY_BAD_ANY_CAST                                    \
      _LIBCPP_AVAILABILITY_BAD_OPTIONAL_ACCESS
 #  define _LIBCPP_AVAILABILITY_UNCAUGHT_EXCEPTIONS                             \
      __attribute__((availability(macosx,strict,introduced=10.12)))             \
      __attribute__((availability(ios,strict,introduced=10.0)))                 \
      __attribute__((availability(tvos,strict,introduced=10.0)))                \
      __attribute__((availability(watchos,strict,introduced=3.0)))
 #  define _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE                                \
#  define _LIBCPP_AVAILABILITY_LOCALE_CATEGORY                                 \
      __attribute__((availability(ios,strict,introduced=7.0)))
 #  define _LIBCPP_AVAILABILITY_ATOMIC_SHARED_PTR                               \
      __attribute__((availability(macosx,strict,introduced=10.9)))              \
      __attribute__((availability(ios,strict,introduced=7.0)))
 #else
 #  define _LIBCPP_AVAILABILITY_SHARED_MUTEX
 #  define _LIBCPP_AVAILABILITY_BAD_VARIANT_ACCESS
 #  define _LIBCPP_AVAILABILITY_BAD_OPTIONAL_ACCESS
-#  define _LIBCPP_AVAILABILITY_BAD_ARRAY_LENGTH
 #  define _LIBCPP_AVAILABILITY_BAD_ANY_CAST
 #  define _LIBCPP_AVAILABILITY_UNCAUGHT_EXCEPTIONS
 #  define _LIBCPP_AVAILABILITY_SIZED_NEW_DELETE
 #  define _LIBCPP_AVAILABILITY_FUTURE_ERROR
 #  define _LIBCPP_AVAILABILITY_TYPEINFO_VTABLE
 #  define _LIBCPP_AVAILABILITY_LOCALE_CATEGORY
 #  define _LIBCPP_AVAILABILITY_ATOMIC_SHARED_PTR
 #endif

include/new

 {
 public:
     bad_alloc() noexcept;
     bad_alloc(const bad_alloc&) noexcept;
     bad_alloc& operator=(const bad_alloc&) noexcept;
     virtual const char* what() const noexcept;
 };
 
-class bad_array_length : public bad_alloc // FIXME: Not part of C++
-{
-public:
-    bad_array_length() noexcept;
-};
-
 class bad_array_new_length : public bad_alloc // C++14
 {
 public:
     bad_array_new_length() noexcept;
 };
 
 enum class align_val_t : size_t {}; // C++17
 struct nothrow_t {};

 typedef void (*new_handler)();
 _LIBCPP_FUNC_VIS new_handler set_new_handler(new_handler) _NOEXCEPT;
 _LIBCPP_FUNC_VIS new_handler get_new_handler() _NOEXCEPT;
 
 #endif // !_LIBCPP_ABI_MICROSOFT || _LIBCPP_NO_VCRUNTIME
 
 _LIBCPP_NORETURN _LIBCPP_FUNC_VIS void __throw_bad_alloc();  // not in C++ spec
 
-#if defined(_LIBCPP_BUILDING_LIBRARY) || (_LIBCPP_STD_VER > 11)
-
-class _LIBCPP_EXCEPTION_ABI _LIBCPP_AVAILABILITY_BAD_ARRAY_LENGTH
-    bad_array_length : public bad_alloc {
-public:
-    bad_array_length() _NOEXCEPT;
-    virtual ~bad_array_length() _NOEXCEPT;
-    virtual const char* what() const _NOEXCEPT;
-};
-
-#define _LIBCPP_BAD_ARRAY_LENGTH_DEFINED
-
-#endif  // defined(_LIBCPP_BUILDING_LIBRARY) || (_LIBCPP_STD_VER > 11)
-
 #if !defined(_LIBCPP_HAS_NO_LIBRARY_ALIGNED_ALLOCATION) && \
     !defined(_LIBCPP_DEFER_NEW_TO_VCRUNTIME)
 #ifndef _LIBCPP_CXX03_LANG
 enum class _LIBCPP_ENUM_VIS align_val_t : size_t { };
 #else
 enum align_val_t { __zero = 0, __max = (size_t)-1 };
 #endif
 #endif

 inline _LIBCPP_INLINE_VISIBILITY void __libcpp_deallocate(void* __ptr, size_t __size, size_t __align) {
   _DeallocateCaller::__do_deallocate_handle_size_align(__ptr, __size, __align);
 }
 
 inline _LIBCPP_INLINE_VISIBILITY void __libcpp_deallocate_unsized(void* __ptr, size_t __align) {
   _DeallocateCaller::__do_deallocate_handle_align(__ptr, __align);
 }
 
-#ifdef _LIBCPP_BAD_ARRAY_LENGTH_DEFINED
-_LIBCPP_NORETURN inline _LIBCPP_INLINE_VISIBILITY
-#ifndef _LIBCPP_NO_EXCEPTIONS
-_LIBCPP_AVAILABILITY_BAD_ARRAY_LENGTH
-#endif
-void __throw_bad_array_length()
-{
-#ifndef _LIBCPP_NO_EXCEPTIONS
-    throw bad_array_length();
-#else
-    _VSTD::abort();
-#endif
-}
-#endif
-
 template <class _Tp>
 _LIBCPP_NODISCARD_AFTER_CXX17 inline
 _LIBCPP_CONSTEXPR _Tp* __launder(_Tp* __p) _NOEXCEPT
 {
     static_assert (!(is_function<_Tp>::value), "can't launder functions" );
     static_assert (!(is_same<void, typename remove_cv<_Tp>::type>::value), "can't launder cv-void" );
 #ifdef _LIBCPP_COMPILER_HAS_BUILTIN_LAUNDER
     return __builtin_launder(__p);

lib/abi/CHANGELOG.TXT

 Afterwards the ABI list should be updated to include the new changes.
 
 New entries should be added directly below the "Version" header.
 
 -----------
 Version 8.0
 -----------
 
+* rXXXXX - Remove std::bad_array_length
+
+  The change removes the definition of std::bad_array_length (which never made
+  it into the standard) from the headers and the dylib. This is technically an
+  ABI break because the symbols are shipped starting with mac OSX 10.13, however
+  users couldn't be relying on the functionality because it is marked as being
+  unavailable using Clang's availability attribute.
+
+  x86_64-apple-darwin16.0
+  -----------------------
+  Symbol removed: __ZNKSt16bad_array_length4whatEv
+  Symbol removed: __ZNKSt16bad_array_length4whatEv
+  Symbol removed: __ZNSt16bad_array_lengthC1Ev
+  Symbol removed: __ZNSt16bad_array_lengthC1Ev
+  Symbol removed: __ZNSt16bad_array_lengthC2Ev
+  Symbol removed: __ZNSt16bad_array_lengthC2Ev
+  Symbol removed: __ZNSt16bad_array_lengthD0Ev
+  Symbol removed: __ZNSt16bad_array_lengthD0Ev
+  Symbol removed: __ZNSt16bad_array_lengthD1Ev
+  Symbol removed: __ZNSt16bad_array_lengthD1Ev
+  Symbol removed: __ZNSt16bad_array_lengthD2Ev
+  Symbol removed: __ZNSt16bad_array_lengthD2Ev
+  Symbol removed: __ZTISt16bad_array_length
+  Symbol removed: __ZTISt16bad_array_length
+  Symbol removed: __ZTSSt16bad_array_length
+  Symbol removed: __ZTSSt16bad_array_length
+  Symbol removed: __ZTVSt16bad_array_length
+  Symbol removed: __ZTVSt16bad_array_length
+
 * r347395 - Making libc++ build under -fvisibility=hidden on Linux
 
   The change marks several function templates as hidden. This removes symbols
   from the shared library, but this is not an ABI break because it's impossible
   for programs linking against libc++.so to actually depend on that symbol.
   The reason is that the symbol is exported from the shared library through
   an implicit instantiation present in the shared object itself only. Furthermore,
   if a user's shared object was implicitly instantiating one of these functions,

lib/abi/x86_64-apple-darwin.v1.abilist

 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt10bad_typeid4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt10bad_typeid4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt11logic_error4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt11logic_error4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt12bad_any_cast4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt12experimental15fundamentals_v112bad_any_cast4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt13bad_exception4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt13bad_exception4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt13runtime_error4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt13runtime_error4whatEv'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNKSt16bad_array_length4whatEv'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNKSt16bad_array_length4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt16nested_exception14rethrow_nestedEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt18bad_variant_access4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt19bad_optional_access4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt20bad_array_new_length4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt20bad_array_new_length4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__110__time_put8__do_putEPcRS1_PK2tmcc'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__110__time_put8__do_putEPwRS1_PK2tmcc'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__110error_code7messageEv'}

 {'type': 'U', 'is_defined': False, 'name': '__ZNSt14overflow_errorD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt14overflow_errorD2Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD0Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD0Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD1Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD1Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD2Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthC1Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthC1Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthC2Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthC2Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD0Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD0Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD1Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD1Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD2Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD2Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD0Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD0Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD1Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD1Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD2Ev'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNSt16nested_exceptionC1Ev'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNSt16nested_exceptionC2Ev'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTISt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTISt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTISt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt8bad_cast'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTSSt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTSSt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt8bad_cast'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTVSt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTVSt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt8bad_cast'}

lib/abi/x86_64-apple-darwin.v2.abilist

 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt10bad_typeid4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt10bad_typeid4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt11logic_error4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt11logic_error4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt12bad_any_cast4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt12experimental15fundamentals_v112bad_any_cast4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt13bad_exception4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt13bad_exception4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt13runtime_error4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt13runtime_error4whatEv'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNKSt16bad_array_length4whatEv'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNKSt16bad_array_length4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt16nested_exception14rethrow_nestedEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt18bad_variant_access4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt19bad_optional_access4whatEv'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNKSt20bad_array_new_length4whatEv'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNKSt20bad_array_new_length4whatEv'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__210__time_put8__do_putEPcRS1_PK2tmcc'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__210__time_put8__do_putEPwRS1_PK2tmcc'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNKSt3__210error_code7messageEv'}

 {'type': 'U', 'is_defined': False, 'name': '__ZNSt14overflow_errorD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt14overflow_errorD2Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD0Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD0Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD1Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD1Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt15underflow_errorD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt15underflow_errorD2Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthC1Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthC1Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthC2Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthC2Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD0Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD0Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD1Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD1Ev'}
-{'type': 'U', 'is_defined': False, 'name': '__ZNSt16bad_array_lengthD2Ev'}
-{'type': 'I', 'is_defined': True, 'name': '__ZNSt16bad_array_lengthD2Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD0Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD0Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD1Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD1Ev'}
 {'type': 'U', 'is_defined': False, 'name': '__ZNSt16invalid_argumentD2Ev'}
 {'type': 'I', 'is_defined': True, 'name': '__ZNSt16invalid_argumentD2Ev'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNSt16nested_exceptionC1Ev'}
 {'type': 'FUNC', 'is_defined': True, 'name': '__ZNSt16nested_exceptionC2Ev'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTISt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTISt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTISt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTISt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTISt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTISt8bad_cast'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTSSt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTSSt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTSSt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTSSt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTSSt8bad_cast'}

 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt13bad_exception'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt13bad_exception'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt13runtime_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt13runtime_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt14overflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt14overflow_error'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt15underflow_error'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt15underflow_error'}
-{'type': 'U', 'is_defined': False, 'name': '__ZTVSt16bad_array_length'}
-{'type': 'I', 'is_defined': True, 'name': '__ZTVSt16bad_array_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt16invalid_argument'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt16invalid_argument'}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt16nested_exception', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt18bad_variant_access', 'size': 0}
 {'type': 'OBJECT', 'is_defined': True, 'name': '__ZTVSt19bad_optional_access', 'size': 0}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt20bad_array_new_length'}
 {'type': 'I', 'is_defined': True, 'name': '__ZTVSt20bad_array_new_length'}
 {'type': 'U', 'is_defined': False, 'name': '__ZTVSt8bad_cast'}

lib/libc++abi2.exp

 
 __ZNSt16invalid_argumentD0Ev
 __ZNSt16invalid_argumentD1Ev
 __ZNSt16invalid_argumentD2Ev
 __ZTISt16invalid_argument
 __ZTSSt16invalid_argument
 __ZTVSt16invalid_argument
 
-__ZNKSt16bad_array_length4whatEv
-__ZNSt16bad_array_lengthC1Ev
-__ZNSt16bad_array_lengthC2Ev
-__ZNSt16bad_array_lengthD0Ev
-__ZNSt16bad_array_lengthD1Ev
-__ZNSt16bad_array_lengthD2Ev
-__ZTISt16bad_array_length
-__ZTSSt16bad_array_length
-__ZTVSt16bad_array_length
-
 __ZTSDi
 __ZTSDn
 __ZTSDs
 __ZTSPDi
 __ZTSPDn
 __ZTSPDs
 __ZTSPKDi
 __ZTSPKDn

src/support/runtime/exception_fallback.ipp

 }
 
 const char*
 bad_array_new_length::what() const _NOEXCEPT
 {
     return "bad_array_new_length";
 }
 
-
-bad_array_length::bad_array_length() _NOEXCEPT
-{
-}
-
-bad_array_length::~bad_array_length() _NOEXCEPT
-{
-}
-
-const char*
-bad_array_length::what() const _NOEXCEPT
-{
-    return "bad_array_length";
-}
-
-
 bad_cast::bad_cast() _NOEXCEPT
 {
 }
 
 bad_typeid::bad_typeid() _NOEXCEPT
 {
 }
 

src/support/runtime/exception_glibcxx.ipp

 bad_alloc::bad_alloc() _NOEXCEPT
 {
 }
 
 bad_array_new_length::bad_array_new_length() _NOEXCEPT
 {
 }
 
-bad_array_length::bad_array_length() _NOEXCEPT
-{
-}
-
-
 bad_cast::bad_cast() _NOEXCEPT
 {
 }
 
 bad_typeid::bad_typeid() _NOEXCEPT
 {
 }
 
 } // namespace std

src/support/runtime/exception_libcxxrt.ipp

 {
 }
 
 const char* bad_exception::what() const _NOEXCEPT
 {
   return "std::bad_exception";
 }
 
-
-bad_array_length::bad_array_length() _NOEXCEPT
-{
-}
-
-bad_array_length::~bad_array_length() _NOEXCEPT
-{
-}
-
-const char*
-bad_array_length::what() const _NOEXCEPT
-{
-    return "bad_array_length";
-}
-
 } // namespace std

src/support/runtime/exception_msvc.ipp

 }
 
 bool uncaught_exception() _NOEXCEPT { return uncaught_exceptions() > 0; }
 
 int uncaught_exceptions() _NOEXCEPT {
     return __uncaught_exceptions();
 }
 
-bad_array_length::bad_array_length() _NOEXCEPT
-{
-}
-
-bad_array_length::~bad_array_length() _NOEXCEPT
-{
-}
-
-const char*
-bad_array_length::what() const _NOEXCEPT
-{
-    return "bad_array_length";
-}
-
 #if defined(_LIBCPP_NO_VCRUNTIME)
 bad_cast::bad_cast() _NOEXCEPT
 {
 }
 
 bad_cast::~bad_cast() _NOEXCEPT
 {
 }

test/libcxx/language.support/support.dynamic/alloc.errors/new.badlength/bad_array_length.pass.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.
-//
-//===----------------------------------------------------------------------===//
-
-// UNSUPPORTED: c++98, c++03, c++11
-// XFAIL: availability
-
-// XFAIL: availability=macosx10.12
-// XFAIL: availability=macosx10.11
-// XFAIL: availability=macosx10.10
-// XFAIL: availability=macosx10.9
-// XFAIL: availability=macosx10.7
-// XFAIL: availability=macosx10.8
-
-// test bad_array_length
-
-#include <new>
-#include <type_traits>
-#include <cassert>
-
-int main()
-{
-    static_assert((std::is_base_of<std::bad_alloc, std::bad_array_length>::value),
-                  "std::is_base_of<std::bad_alloc, std::bad_array_length>::value");
-    static_assert(std::is_polymorphic<std::bad_array_length>::value,
-                 "std::is_polymorphic<std::bad_array_length>::value");
-    std::bad_array_length b;
-    std::bad_array_length b2 = b;
-    b2 = b;
-    const char* w = b2.what();
-    assert(w);
-}