1// compile -d=ssa/check/on
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
7// Issue 25993: SSA check fails on ARM.
8
9package p
10
11func f() {
12	var x int
13	var B0 bool
14	B0 = !B0 || B0
15	if B0 && B0 {
16		x = -1
17	}
18	var AI []int
19	var AB []bool
20	_ = AI[x] > 0 && AB[x]
21}
22