1 // The dbgeng driver doesn't support \DexCommandLine yet.
2 // UNSUPPORTED: system-windows
3 //
4 // RUN: %dexter_regression_test_build %s -o %t
5 // RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s
6 // CHECK: command_line.c:
7 
main(int argc,const char ** argv)8 int main(int argc, const char **argv) {
9   if (argc == 4)
10     return 0; // DexLabel('retline')
11 
12   return 1; // DexUnreachable()
13 }
14 
15 // DexExpectWatchValue('argc', '4', on_line=ref('retline'))
16 
17 // Three args will be appended to the 'default' argument.
18 // DexCommandLine(['a', 'b', 'c'])
19