tests/conformance/4-statements/uninit_branch_rejected.zc


1
2
3
4
5
6
7
8
9
10

// expect error: used before it is initialized
// spec 4.1.5: a local set on only some branches is unset at the join
include rt;
fn main() {
	int x;
	if (0) x = 1;
	rt.put_n(x);
	return 0;
}
// zc0: skip