1// compile -d=ssa/check/seed
2
3// Copyright 2021 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
7// This code caused an internal consistency error due to a bad shortcircuit optimization.
8
9package p
10
11func f() {
12	var b bool
13	if b {
14		b = true
15	}
16l:
17	for !b {
18		b = true
19		goto l
20	}
21}
22