1 // Purpose:
2 //    Check that \DexUnreachable has no effect if the command line is never
3 //    stepped on.
4 //
5 // UNSUPPORTED: system-darwin
6 //
7 // RUN: %dexter_regression_test -- %s | FileCheck %s
8 // CHECK: unreachable.cpp:
9 
main()10 int main()
11 {
12   return 0;
13   return 1; // DexUnreachable()
14 }
15