| SKIP: FAILED | |
| struct S { | |
| field0 : u32; | |
| field1 : f32; | |
| field2 : array<u32, 2u>; | |
| }; | |
| fn main_1() { | |
| var x_25 : u32; | |
| let x_2 : u32 = (1u + 1u); | |
| x_25 = 1u; | |
| loop { | |
| continuing { | |
| x_25 = x_2; | |
| } | |
| } | |
| x_25 = 2u; | |
| return; | |
| } | |
| [[stage(fragment)]] | |
| fn main() { | |
| main_1(); | |
| } | |
| error: loop does not exit |