1// compile -d=ssa/check/on
2
3// Copyright 2019 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7package p
8
9func f()
10
11func g() {
12	var a []int
13	var b bool
14	for {
15		b = (b && b) != (b && b)
16		for b && b == b || true {
17			f()
18			_ = a[0]
19		}
20		_ = &b
21		a = []int{}
22	}
23}
24