// statements could trip up phi insertion.
func issue62211(x bool) { // ERROR "can inline issue62211"
	if issue62211F(x) { // ERROR "inlining call to issue62211F"
	}
	if issue62211G(x) { // ERROR "inlining call to issue62211G"
	}

	// Initial fix CL caused a "non-monotonic scope positions" failure
	// on code like this.
	if z := 0; false {
		panic(z)
	}
}

func issue62211F(x bool) bool { // ERROR "can inline issue62211F"

	_ = x[a:b+d:c]
	_ = x[a:b+d:c+d]
	_ = x[a+d:b:c]
	_ = x[a+d:b:c+d]
	_ = x[a+d:b+d:c]
	_ = x[a+d:b+d:c+d]

	_ = x[:b:c]
	_ = x[:b:c+d]
	_ = x[:b+d:c]
	_ = x[:b+d:c+d]
}

func issue22111() {
	_ = x[:]

	_ = x[:b]
	_ = x[:b+1]

	_ = x[a:]
	_ = x[a+1:]

	_ = x[a:b]
	_ = x[a+1:b]
	_ = x[a:b+1]
	_ = x[a+1:b+1]

	_ = x[:b:c]
	_ = x[:b+1:c]

	_ = x[a+d : b : c]
	_ = x[a+d : b : c+d]
	_ = x[a+d : b+d : c]
	_ = x[a+d : b+d : c+d]

	_ = x[:b:c]
	_ = x[: b : c+d]
	_ = x[: b+d : c]
	_ = x[: b+d : c+d]
}

func issue22111() {
	_ = x[:]

	_ = x[:b]
	_ = x[:b+1]

	_ = x[a:]
	_ = x[a+1:]

	_ = x[a:b]
	_ = x[a+1 : b]
	_ = x[a : b+1]
	_ = x[a+1 : b+1]

	_ = x[:b:c]
	_ = x[: b+1 : c]

	_ = x[a+d : b : c]
	_ = x[a+d : b : c+d]
	_ = x[a+d : b+d : c]
	_ = x[a+d : b+d : c+d]

	_ = x[:b:c]
	_ = x[: b : c+d]
	_ = x[: b+d : c]
	_ = x[: b+d : c+d]
}

func issue22111() {
	_ = x[:]

	_ = x[:b]
	_ = x[:b+1]

	_ = x[a:]
	_ = x[a+1:]

	_ = x[a:b]
	_ = x[a+1 : b]
	_ = x[a : b+1]
	_ = x[a+1 : b+1]

	_ = x[:b:c]
	_ = x[: b+1 : c]