1 // Purpose:
2 //      Check that \DexUnreachable correctly applies a penalty if the command
3 //      line is stepped on.
4 //
5 // UNSUPPORTED: system-darwin
6 //
7 //
8 // RUN: %dexter_regression_test_build %s -o %t
9 // RUN: not %dexter_regression_test_run --binary %t -- %s | FileCheck %s
10 // CHECK: unreachable_on_line.cpp:
11 
12 int
main()13 main()
14 {
15   return 1;  // DexLabel('this_one')
16 }
17 
18 // DexUnreachable(on_line=ref('this_one'))
19