func bug7840() bool {
	return false && a == 0 && a == 0
}
Regression test for issue 7840 (covered by SSA sanity checker).
package main
func init() {
	ch := make(chan int)
	select {
	case n, _ := <-ch:
		_ = n
	default:
	}
	type mybool bool
	var x int
	var y mybool
	select {
	case x, y = <-ch:
	default:
	}
	_ = x
	_ = y
}
var a int