blob: 47c27443352acd708e726a2eaa2d9aa908c01ec1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// Purpose:
// Check that \DexExpectStepKind correctly applies a penalty when
// unexpected step kinds are encountered.
//
// UNSUPPORTED: system-darwin
//
// RUN: %dexter_regression_test_cxx_build %s -o %t
// RUN: not %dexter_regression_test_run --binary %t -- %s | FileCheck --dump-input-context=999999999 %s
// CHECK: expect_step_kinds.cpp:
int abs(int i){
return i < 0? i * -1: i;
}
int main()
{
volatile int x = 2;
for (int i = 0; i < x; ++i) {
abs(i);
}
return 0;
}
// DexExpectStepKind('FUNC', 5)
// DexExpectStepKind('FUNC_EXTERNAL', 2)
// DexExpectStepKind('VERTICAL_BACKWARD', 2)
|
