119_static_labeladdr_data.toy (292B)
1 fn __user_main(): i64 { 2 label zero; 3 label one; 4 5 let @[.static] dispatch: [2]*void = [ 6 @labeladdr(zero), 7 @labeladdr(one), 8 ]; 9 10 let idx: isize = 1; 11 goto *dispatch[idx] within (zero, one); 12 13 zero: 14 return 1; 15 one: 16 return 0; 17 } 18 19 fn main(): i32 { return __user_main() as i32; }