1cb93a386Sopenharmony_ci// Expect 15 errors
2cb93a386Sopenharmony_ci
3cb93a386Sopenharmony_civoid loop_length_128()    { for (int i = 0; i < 128; i++) {} }   // OK, under kLoopTerminationLimit
4cb93a386Sopenharmony_civoid loop_length_129()    { for (int i = 0; i < 129; i++) {} }   // OK, under kLoopTerminationLimit
5cb93a386Sopenharmony_civoid loop_length_99999()  { for (int i = 0; i < 99999; i++) {} } // OK, under kLoopTerminationLimit
6cb93a386Sopenharmony_civoid loop_length_100000() { for (int i = 0; i < 100000; i++) {} }
7cb93a386Sopenharmony_civoid infinite_loop1()     { for (int i = 0; i < 1;  i += 0) {} }
8cb93a386Sopenharmony_civoid infinite_loop2()     { for (int i = 3; i >= 3; i += 0) {} }
9cb93a386Sopenharmony_civoid infinite_loop3()     { for (float i = 3; i >= 3; i += 1e-20) {} }
10cb93a386Sopenharmony_ci
11cb93a386Sopenharmony_civoid set(out int x)   { x = 1; }
12cb93a386Sopenharmony_civoid inc(inout int x) { x++; }
13cb93a386Sopenharmony_ci
14cb93a386Sopenharmony_civoid index_modified()    { for (int i = 0; i < 2; i++) { i++; } }
15cb93a386Sopenharmony_civoid index_out_param()   { for (int i = 0; i < 1; i++) { set(i); } }
16cb93a386Sopenharmony_civoid index_inout_param() { for (int i = 0; i < 1; i++) { inc(i); } }
17cb93a386Sopenharmony_ci
18cb93a386Sopenharmony_civoid infinite_loop_le()   { for (int i = 0; i <= 3; --i)  {} }
19cb93a386Sopenharmony_civoid infinite_loop_lt()   { for (int i = 0; i <  4; --i)  {} }
20cb93a386Sopenharmony_civoid infinite_loop_ge()   { for (int i = 3; i >= 0; ++i)  {} }
21cb93a386Sopenharmony_civoid infinite_loop_gt()   { for (int i = 3; i > -1; ++i)  {} }
22cb93a386Sopenharmony_civoid infinite_loop_eq1()  { for (int i = 0; i == 0; i-=0) {} }
23cb93a386Sopenharmony_civoid infinite_loop_eq2()  { for (int i = 1; i == 1; i+=0) {} }
24cb93a386Sopenharmony_civoid infinite_loop_ne1()  { for (int i = 0; i != 4; i--)  {} }
25cb93a386Sopenharmony_civoid infinite_loop_ne2()  { for (int i = 0; i != 4; i+=3) {} }
26