// Purpose:
//      Check the DexLimit steps only gathers step info for 2 iterations of a
//      for loop.
//
// REQUIRES: system-linux
//
// RUN: %dexter_regression_test -- %s | FileCheck %s
// CHECK: limit_steps_expect_loop.cpp:

int main(const int argc, const char * argv[]) {
  unsigned int sum = 1;
  for(unsigned int ix = 0; ix != 5; ++ix) {
    unsigned thing_to_add = ix + ix - ix;   // DexLabel('start')
    sum += ix;                              // DexLabel('end')
  }
  return sum;
}

// DexLimitSteps('ix', 0, 3, from_line=ref('start'), to_line=ref('end'))
// DexExpectWatchValue('ix', 0, 3, from_line=ref('start'), to_line=ref('end'))