test/fixedbugs/issue25993.go

   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
   9 package p
  10
  11 func 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 }