| 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 |