tests/conformance/6-ownership/if_join_mismatch.zc


1
2
3
4
5
6

// expect error: p: ends the branches of an if in different states
// spec 6.10.1
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int* p = rt.new(1); p[0] = 1; int k = 1; if (k) { u*p; } else { pn(p[0]); } return 0; }
// zc0: skip