mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-25 07:06:06 +00:00
3497500946
This patch removes many annotations that are not relevant anymore since we don't support or test back-deploying to macOS < 10.13. It also cleans up raw usage of target triples to identify versions of dylibs shipped on prior versions of macOS, and uses the target-agnostic Lit features instead. Finally, it reorders both the Lit backdeployment features and the corresponding availability macros in the library in a way that makes more sense, and reformulates the Lit backdeployment features in terms of when a version of LLVM was introduced instead of encoding the system versions on which it hasn't been introduced yet. Although one can be derived from the other, encoding the negative form is extremely error-prone. Fixes #80901
67 lines
1.4 KiB
C++
67 lines
1.4 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Can a noexcept function pointer be caught by a non-noexcept catch clause?
|
|
// UNSUPPORTED: c++03, c++11, c++14
|
|
// UNSUPPORTED: no-exceptions
|
|
|
|
#include <cassert>
|
|
|
|
template<bool Noexcept> void f() noexcept(Noexcept) {}
|
|
template<bool Noexcept> using FnType = void() noexcept(Noexcept);
|
|
|
|
template<bool ThrowNoexcept, bool CatchNoexcept>
|
|
void check()
|
|
{
|
|
try
|
|
{
|
|
auto *p = f<ThrowNoexcept>;
|
|
throw p;
|
|
assert(false);
|
|
}
|
|
catch (FnType<CatchNoexcept> *p)
|
|
{
|
|
assert(ThrowNoexcept || !CatchNoexcept);
|
|
assert(p == &f<ThrowNoexcept>);
|
|
}
|
|
catch (...)
|
|
{
|
|
assert(!ThrowNoexcept && CatchNoexcept);
|
|
}
|
|
}
|
|
|
|
void check_deep() {
|
|
auto *p = f<true>;
|
|
try
|
|
{
|
|
throw &p;
|
|
}
|
|
catch (FnType<false> **q)
|
|
{
|
|
assert(false);
|
|
}
|
|
catch (FnType<true> **q)
|
|
{
|
|
}
|
|
catch (...)
|
|
{
|
|
assert(false);
|
|
}
|
|
}
|
|
|
|
int main(int, char**)
|
|
{
|
|
check<false, false>();
|
|
check<false, true>();
|
|
check<true, false>();
|
|
check<true, true>();
|
|
check_deep();
|
|
|
|
return 0;
|
|
}
|