Proved by CL104037

gistfile1.txt

> ../src/cmd/compile/internal/gc/timings.go:84:29: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:587:26: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:588:14: Proved IsSliceInBounds
> ../src/cmd/compile/internal/ssa/prove.go:640:55: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:848:29: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:851:18: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:851:29: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:855:18: Proved IsInBounds
> ../src/cmd/compile/internal/ssa/prove.go:857:19: Proved IsInBounds
> ../src/cmd/compile/internal/syntax/parser.go:141:9: Proved IsInBounds
> ../src/cmd/compile/internal/syntax/parser.go:51:23: Proved IsInBounds
> ../src/cmd/go/internal/work/buildid.go:194:27: Proved IsInBounds
> ../src/cmd/gofmt/simplify.go:159:33: Proved IsInBounds
> ../src/cmd/vendor/github.com/google/pprof/internal/binutils/addr2liner_nm.go:97:67: Proved IsInBounds
> ../src/cmd/vendor/github.com/google/pprof/internal/driver/interactive.go:392:24: Proved IsInBounds
> ../src/cmd/vet/print.go:782:24: Proved IsInBounds
> ../src/crypto/rand/util.go:69:8: Proved IsInBounds
> ../src/crypto/tls/handshake_messages.go:311:21: Proved IsSliceInBounds
> ../src/crypto/tls/handshake_messages.go:312:13: Proved IsSliceInBounds
> ../src/crypto/tls/handshake_messages.go:338:30: Proved IsSliceInBounds
> ../src/crypto/tls/handshake_messages.go:340:13: Proved IsSliceInBounds
> ../src/crypto/tls/handshake_messages.go:708:21: Proved IsSliceInBounds
> ../src/crypto/tls/handshake_messages.go:709:13: Proved IsSliceInBounds
> ../src/crypto/x509/verify.go:332:39: Proved IsInBounds
> ../src/encoding/asn1/asn1.go:201:20: Proved IsInBounds
> ../src/encoding/xml/typeinfo.go:203:26: Proved IsInBounds
> ../src/go/ast/import.go:118:25: Proved IsInBounds
> ../src/go/doc/example.go:255:36: Proved IsInBounds
> ../src/go/doc/example.go:352:12: Proved IsInBounds
> ../src/go/doc/reader.go:439:26: Proved IsInBounds
> ../src/go/internal/gcimporter/exportdata.go:30:58: Proved IsInBounds
> ../src/go/printer/nodes.go:132:38: Proved IsInBounds
> ../src/go/types/call.go:404:22: Proved Greater64
> ../src/go/types/selection.go:84:24: Proved Greater64
> ../src/internal/trace/order.go:90:40: Proved IsInBounds
> ../src/regexp/syntax/regexp.go:142:53: Proved IsInBounds
> ../src/runtime/symtab.go:591:23: Proved IsInBounds
> ../src/runtime/time.go:230:18: Proved IsInBounds
> ../src/syscall/route_bsd.go:156:23: Proved IsSliceInBounds
> ../src/syscall/route_bsd.go:168:23: Proved IsSliceInBounds
> ../src/syscall/syscall_darwin.go:29:33: Proved IsInBounds
> ../src/vendor/golang_org/x/net/idna/idna.go:688:29: Proved IsInBounds
> ../src/vendor/golang_org/x/net/proxy/socks5.go:125:15: Disproved Greater64
> ../src/vendor/golang_org/x/net/route/address.go:250:20: Proved IsSliceInBounds
> ../src/vendor/golang_org/x/net/route/address.go:262:20: Proved IsSliceInBounds
> ../src/vendor/golang_org/x/text/transform/transform.go:412:30: Proved IsInBounds
> ../src/vendor/golang_org/x/text/unicode/bidi/core.go:454:27: Proved IsInBounds
> ../src/vendor/golang_org/x/text/unicode/norm/transform.go:30:8: Proved IsSliceInBounds