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