blob: 2a99a69cca7ce4d617006390f980be16b1127dcc [file] [log] [blame]
SKIP: FAILED
static uint x_1 = 0u;
void main_1() {
x_1 = 0u;
[loop] while (true) {
uint x_2 = 0u;
x_1 = 1u;
if (false) {
break;
}
x_1 = 3u;
if (true) {
x_2 = (1u + 1u);
} else {
return;
}
x_1 = x_2;
{
x_1 = 4u;
if (false) {
break;
}
}
}
x_1 = 5u;
return;
}
void main() {
main_1();
return;
}