blob: f414729855177b685473e93ca3087e57aae3eac7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Purpose:
// Check that \DexUnreachable has no effect if the command line is never
// stepped on.
//
// UNSUPPORTED: system-darwin
//
// RUN: %dexter_regression_test_cxx_build %s -o %t
// RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s
// CHECK: unreachable_on_line.cpp:
int main()
{
return 0;
return 1; // DexLabel('this_one')
}
// DexUnreachable(on_line=ref('this_one'))
// DexUnreachable(from_line=ref('this_one'), to_line=ref('this_one'))
|