mirror of
https://github.com/boykopovar/AnyPS5.git
synced 2026-10-22 08:33:12 -05:00
Dean Galvin
6670c52571
GCC gives C code built with -fexceptions, and cleanup-only functions after link-time optimization, the C personality __gcc_personality_v0. The unwinder accepted only its own C++ personality, so an exception thrown through such a frame was never caught. libc now provides the C personality, which never catches and installs the frame's cleanup landing pad in the cleanup phase, and the unwinder calls it for those frames.
50 lines
1.6 KiB
C++
50 lines
1.6 KiB
C++
#include <cstdio>
|
|
#include <sys/wait.h>
|
|
#include <unistd.h>
|
|
|
|
extern "C" void CallWithCleanup(void (*function)(), int* count);
|
|
extern "C" void CallAroundCleanup(void (*before)(), void (*within)(), int* count);
|
|
extern "C" void (*_ZSt13set_terminatePFvvE_nid_postfix(void (*)()))();
|
|
|
|
int cleanups;
|
|
|
|
struct Counted { ~Counted() { ++cleanups; } };
|
|
|
|
[[gnu::noinline]] void Throw() { throw 42; }
|
|
[[gnu::noinline]] void Nothing() {}
|
|
[[gnu::noinline]] void ThrowThroughCleanup() { CallWithCleanup(Throw, &cleanups); }
|
|
|
|
bool Caught(void (*function)(), int expectedCleanups) {
|
|
cleanups = 0;
|
|
try {
|
|
function();
|
|
} catch (int value) {
|
|
return value == 42 && cleanups == expectedCleanups;
|
|
}
|
|
return false;
|
|
}
|
|
|
|
bool TerminatesWithoutCleanup() {
|
|
pid_t child = fork();
|
|
if (child < 0) return false;
|
|
if (child == 0) {
|
|
cleanups = 0;
|
|
_ZSt13set_terminatePFvvE_nid_postfix([] { _exit(cleanups == 0 ? 61 : 62); });
|
|
CallWithCleanup(Throw, &cleanups);
|
|
_exit(63);
|
|
}
|
|
int status;
|
|
return waitpid(child, &status, 0) == child && WIFEXITED(status) && WEXITSTATUS(status) == 61;
|
|
}
|
|
|
|
int main() {
|
|
if (!Caught([] { CallWithCleanup(Throw, &cleanups); }, 1)) return 1;
|
|
if (!Caught([] { CallWithCleanup(ThrowThroughCleanup, &cleanups); }, 2)) return 2;
|
|
if (!Caught([] { CallAroundCleanup(Throw, Nothing, &cleanups); }, 0)) return 3;
|
|
if (!Caught([] { CallAroundCleanup(Nothing, Throw, &cleanups); }, 1)) return 4;
|
|
if (!Caught([] { Counted counted; CallWithCleanup(Throw, &cleanups); }, 2)) return 5;
|
|
if (!TerminatesWithoutCleanup()) return 6;
|
|
std::puts("exception C cleanup tests passed");
|
|
return 0;
|
|
}
|