| Ian Lance Taylor | 08918ba | 2012-12-05 15:46:45 -0800 | [diff] [blame] | 1 | // errorcheck |
| 2 | |
| 3 | // Copyright 2012 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 4251: slice with inverted range is an error. |
| 8 | |
| 9 | package p |
| 10 | |
| 11 | func F1(s []byte) []byte { |
| Ian Lance Taylor | 161a45a | 2013-12-12 17:18:12 -0800 | [diff] [blame] | 12 | return s[2:1] // ERROR "invalid slice index|inverted slice range" |
| Ian Lance Taylor | 08918ba | 2012-12-05 15:46:45 -0800 | [diff] [blame] | 13 | } |
| 14 | |
| 15 | func F2(a [10]byte) []byte { |
| Ian Lance Taylor | 161a45a | 2013-12-12 17:18:12 -0800 | [diff] [blame] | 16 | return a[2:1] // ERROR "invalid slice index|inverted slice range" |
| Ian Lance Taylor | 08918ba | 2012-12-05 15:46:45 -0800 | [diff] [blame] | 17 | } |
| 18 | |
| 19 | func F3(s string) string { |
| Ian Lance Taylor | 161a45a | 2013-12-12 17:18:12 -0800 | [diff] [blame] | 20 | return s[2:1] // ERROR "invalid slice index|inverted slice range" |
| Ian Lance Taylor | 08918ba | 2012-12-05 15:46:45 -0800 | [diff] [blame] | 21 | } |
