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