| 1 | export fn a() void { |
| 2 | var x: *i32 = undefined; |
| 3 | _ = &x; |
| 4 | var y: *i32 = undefined; |
| 5 | _ = &y; |
| 6 | var rt_cond = false; |
| 7 | _ = &rt_cond; |
| 8 | |
| 9 | var z = if (rt_cond) x else y; |
| 10 | _ = &z; |
| 11 | } |
| 12 | |
| 13 | // error |
| 14 | // backend=selfhosted |
| 15 | // target=spirv32-vulkan |
| 16 | // |
| 17 | // :9:13: error: value with non-mergable pointer type '*i32' depends on runtime control flow |
| 18 | // :9:17: note: runtime control flow here |
| 19 | // :9:13: note: pointers with address space 'generic' cannot be returned from a branch on target 'spirv-vulkan' by compiler backend 'stage2_spirv' |