// Expect 5 errors

void loop_length_ok() { for (int i = 0; i < 128; i++) {} }  // LEGAL: See kMaxUnrollableLoopLength
void loop_too_long()  { for (int i = 0; i < 129; i++) {} }
void infinite_loop()  { for (int i = 0; i < 1; i += 0) {} }

void set(out int x)   { x = 1; }
void inc(inout int x) { x++; }

void index_modified()    { for (int i = 0; i < 2; i++) { i++; } }
void index_out_param()   { for (int i = 0; i < 1; i++) { set(i); } }
void index_inout_param() { for (int i = 0; i < 1; i++) { inc(i); } }