1 // Purpose:
2 // Check that \DexExpectStepOrder applies no penalty when the expected
3 // order is found.
4 //
5 // UNSUPPORTED: system-darwin
6 //
7 // RUN: %dexter_regression_test_build %s -o %t
8 // RUN: %dexter_regression_test_run --binary %t -- %s | FileCheck %s
9 // CHECK: expect_step_order.cpp:
10
main()11 int main() // DexLabel('main')
12 {
13 volatile int a = 1; // DexExpectStepOrder(1)
14 volatile int b = 1; // DexExpectStepOrder(2)
15 volatile int c = 1; // DexExpectStepOrder(3)
16
17 volatile int x = 1;
18 volatile int y = 1;
19 volatile int z = 1;
20 return 0;
21 }
22
23 // DexExpectStepOrder(4, on_line=ref('main')+6);
24 // DexExpectStepOrder(5, on_line=ref('main')+7);
25 // DexExpectStepOrder(6, on_line=ref('main')+8);
26