199451b44SJordan Rupprecht #include <cstdlib> 299451b44SJordan Rupprecht 399451b44SJordan Rupprecht int counter = 0; 499451b44SJordan Rupprecht inc_counter()599451b44SJordan Rupprechtvoid inc_counter() { ++counter; } 699451b44SJordan Rupprecht do_abort()7*cfb29e4aSRaphael Isemannvoid do_abort() { std::abort(); } 899451b44SJordan Rupprecht main()999451b44SJordan Rupprechtint main() { 1099451b44SJordan Rupprecht return 0; // break here 1199451b44SJordan Rupprecht } 12