golang issue25993 代码
文件路径：/test/fixedbugs/issue25993.go
/ compile -d=ssa/check/on
/ Copyright 2018 The Go Authors. All rights reserved.
/ Use of this source code is governed by a BSD-style
/ license that can be found in the LICENSE file.
/ Issue 25993: SSA check fails on ARM.
package p
func f() {
var x int
var B0 bool
B0 = !B0 || B0
if B0 && B0 {
x = -1
}
var AI []int
var AB []bool
_ = AI[x] > 0 && AB[x]
}