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