23 lines · cpp
1namespace std {2void definitely_aborts() { __builtin_verbose_trap("Failed", "Invariant violated"); }3 4void aborts_soon() { definitely_aborts(); }5} // namespace std6 7void g() { std::aborts_soon(); }8 9namespace std {10namespace detail {11void eventually_aborts() { g(); }12} // namespace detail13 14inline namespace __1 {15void eventually_aborts() { detail::eventually_aborts(); }16} // namespace __117} // namespace std18 19int main() {20 std::eventually_aborts();21 return 0;22}23