diff options
Diffstat (limited to 'test/prove.go')
| -rw-r--r-- | test/prove.go | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/prove.go b/test/prove.go index e04b510e17..e12b6087d3 100644 --- a/test/prove.go +++ b/test/prove.go @@ -2552,7 +2552,7 @@ func swapbound(v []int) { for i := 0; i < len(v)/2; i++ { // ERROR "Proved Div64 is unsigned|Induction variable" v[i], // ERROR "Proved IsInBounds" v[len(v)-1-i] = // ERROR "Proved IsInBounds" - v[len(v)-1-i], + v[len(v)-1-i], // ERROR "Proved IsInBounds" v[i] // ERROR "Proved IsInBounds" } } @@ -2726,6 +2726,14 @@ func issue76688(x, y uint64) uint64 { return x * y } +func issue76429(s []byte, k int) byte { + if k < 0 || k >= len(s) { + return 0 + } + s = s[k:] // ERROR "Proved IsSliceInBounds" "Proved slicemask not needed" + return s[0] // ERROR "Proved IsInBounds" +} + //go:noinline func prove(x int) { } |