michael@0: function f0(p0) {
michael@0:     var v0 = 0;
michael@0:     var v1;
michael@0:     var v2;
michael@0:     if (v1)
michael@0:         v2 = v1 + v1;
michael@0:     v1 | v2;
michael@0:     if (v0) {
michael@0:         while (p0)
michael@0:             v2 = v1 + v2;
michael@0:         v2 = v0;
michael@0:     }
michael@0: }
michael@0: assertEq(f0(1), undefined);