blob: 70a7e8802f66fdd08bb7a659277eb6bd7e3e7c1c [file] [log] [blame] [edit]
SKIP: FAILED
static uint x_1 = 0u;
static bool x_7 = false;
static bool x_8 = false;
void main_1() {
const bool x_101 = x_7;
const bool x_102 = x_8;
while (true) {
uint x_2 = 0u;
if (x_101) {
break;
}
x_2 = 0u;
if (x_102) {
x_2 = 1u;
{
x_1 = x_2;
}
continue;
} else {
{
x_1 = x_2;
}
continue;
}
{
x_1 = x_2;
}
}
return;
}
void main() {
main_1();
return;
}