| // 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] | |
| } |