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