1 void definitely_aborts() { __builtin_verbose_trap("User", "Invariant violated"); } 2 3 namespace std { 4 void aborts_soon() { definitely_aborts(); } 5 } // namespace std 6 7 void g() { std::aborts_soon(); } 8 9 namespace std { 10 namespace detail { 11 void eventually_aborts() { g(); } 12 } // namespace detail 13 14 inline namespace __1 { 15 void eventually_aborts() { detail::eventually_aborts(); } 16 } // namespace __1 17 } // namespace std 18 19 int main() { 20 std::eventually_aborts(); 21 return 0; 22 } 23