1### Compilation failed: 2 3error: 6: loop must guarantee termination in fewer iterations 4void loop_length_100000() { for (int i = 0; i < 100000; i++) {} } 5 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 6error: 7: invalid loop expression 7void infinite_loop1() { for (int i = 0; i < 1; i += 0) {} } 8 ^^^^^^ 9error: 8: invalid loop expression 10void infinite_loop2() { for (int i = 3; i >= 3; i += 0) {} } 11 ^^^^^^ 12error: 9: loop must guarantee termination in fewer iterations 13void infinite_loop3() { for (float i = 3; i >= 3; i += 1e-20) {} } 14 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 15error: 14: loop index must not be modified within body of the loop 16void index_modified() { for (int i = 0; i < 2; i++) { i++; } } 17 ^^^^^^^^ 18error: 15: loop index must not be modified within body of the loop 19void index_out_param() { for (int i = 0; i < 1; i++) { set(i); } } 20 ^^^^^^^^^^^ 21error: 16: loop index must not be modified within body of the loop 22void index_inout_param() { for (int i = 0; i < 1; i++) { inc(i); } } 23 ^^^^^^^^^^^ 24error: 18: loop must guarantee termination in fewer iterations 25void infinite_loop_le() { for (int i = 0; i <= 3; --i) {} } 26 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 27error: 19: loop must guarantee termination in fewer iterations 28void infinite_loop_lt() { for (int i = 0; i < 4; --i) {} } 29 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 30error: 20: loop must guarantee termination in fewer iterations 31void infinite_loop_ge() { for (int i = 3; i >= 0; ++i) {} } 32 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 33error: 21: loop must guarantee termination in fewer iterations 34void infinite_loop_gt() { for (int i = 3; i > -1; ++i) {} } 35 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 36error: 22: invalid loop expression 37void infinite_loop_eq1() { for (int i = 0; i == 0; i-=0) {} } 38 ^^^^ 39error: 23: invalid loop expression 40void infinite_loop_eq2() { for (int i = 1; i == 1; i+=0) {} } 41 ^^^^ 42error: 24: loop must guarantee termination in fewer iterations 43void infinite_loop_ne1() { for (int i = 0; i != 4; i--) {} } 44 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 45error: 25: loop must guarantee termination in fewer iterations 46void infinite_loop_ne2() { for (int i = 0; i != 4; i+=3) {} } 47 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 4815 errors 49