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.cpp:
11 
12 int
main()13 main()
14 {
15   return 1;  // DexUnreachable()
16 }
17