1// compile
2
3// Copyright 2018 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	var B bool
11	B2 := (B || B && !B) && !B
12	B3 := B2 || B
13	for (B3 || B2) && !B2 && B {
14	}
15}
16