| SKIP: FAILED | |
| static uint x_1 = 0u; | |
| static bool x_7 = false; | |
| static bool x_8 = false; | |
| void main_1() { | |
| [loop] while (true) { | |
| uint x_2_phi = 0u; | |
| uint x_3_phi = 0u; | |
| const bool x_101 = x_7; | |
| const bool x_102 = x_8; | |
| x_2_phi = 0u; | |
| x_3_phi = 1u; | |
| if (x_101) { | |
| break; | |
| } | |
| [loop] while (true) { | |
| const uint x_3 = x_3_phi; | |
| x_2_phi = (x_2_phi + 1u); | |
| x_3_phi = x_3; | |
| if (x_102) { | |
| break; | |
| } | |
| } | |
| } | |
| return; | |
| } | |
| void main() { | |
| main_1(); | |
| return; | |
| } |