| // compile |
| |
| // 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. |
| |
| // This program results in a loop inferred to increment |
| // j by 0, causing bounds check elimination to attempt |
| // something%0, which panics (in the bug). |
| |
| package q |
| |
| func f() { |
| var s1 string |
| var b bool |
| if b { |
| b = !b |
| s1 += "a" |
| } |
| |
| var s2 string |
| var i, j int |
| if (s1 <= "") || (s2 >= "") { |
| j = len(s1[:6]) |
| } else { |
| i = len("b") |
| } |
| |
| for j < 0 { |
| j += i |
| } |
| } |
