| SKIP: FAILED |
| |
| |
| struct S { |
| field0 : u32; |
| field1 : f32; |
| field2 : array<u32, 2u>; |
| }; |
| |
| var<private> x_1 : u32; |
| |
| var<private> x_17 : bool; |
| |
| fn main_1() { |
| let x_101 : bool = x_17; |
| loop { |
| var x_2_phi : u32; |
| var x_5_phi : u32; |
| x_2_phi = 0u; |
| x_5_phi = 1u; |
| loop { |
| var x_7 : u32; |
| let x_2 : u32 = x_2_phi; |
| let x_5 : u32 = x_5_phi; |
| let x_4 : u32 = (x_2 + 1u); |
| let x_6 : u32 = (x_4 + 1u); |
| if (x_101) { |
| break; |
| } |
| |
| continuing { |
| x_7 = (x_4 + x_6); |
| x_2_phi = x_4; |
| x_5_phi = x_7; |
| } |
| } |
| } |
| return; |
| } |
| |
| @stage(fragment) |
| fn main() { |
| main_1(); |
| } |
| |
| error: loop does not exit |
