| // Purpose: | |
| // Check that \DexExpectStepKind correctly applies a penalty when | |
| // unexpected step kinds are encountered. | |
| // | |
| // UNSUPPORTED: system-darwin | |
| // | |
| // RUN: not %dexter_regression_test -- %s | FileCheck %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) |