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