// Purpose:
//      Test that \DexLimitSteps can be used without a condition (i.e. the
//      breakpoint range is set any time from_line is stepped on).
//
// REQUIRES: system-linux
//
// RUN: %dexter_regression_test -- %s | FileCheck %s
// CHECK: unconditional.cpp

int glob;
int main() {
  int test = 0;
  for (test = 1; test < 4; test++) {
    glob += test; // DexLabel('from')
    glob += test; // DexLabel('to')
  }
  return test; // test = 4
}

// DexLimitSteps(from_line=ref('from'), to_line=ref('to'))
//// Unconditionally limit dexter's view of the program from line 'from' to
//// 'to'. Check for test=0, 1, 2 so that the test will fail if dexter sees
//// test=0 or test=4.
// DexExpectWatchValue('test', 1, 2, 3)