Use of LUCI is subject to the Google [Terms of Service](
https://policies.google.com/terms) and [Privacy Policy](
https://policies.google.com/privacy)
[I2025-12-02T17:51:53.500465Z 833552 0 sink.go:354] SinkServer: warm-up started
[I2025-12-02T17:51:53.500601Z 833552 0 sink.go:427] SinkServer: starting HTTP server...
[I2025-12-02T17:51:53.501215Z 833552 0 sink.go:359] SinkServer: warm-up ended
[I2025-12-02T17:51:53.501425Z 833552 0 cmd_stream.go:577] rdb-stream: starting the test command - ["/home/swarming/.swarming/w/ir/cache/tools/bin/result_adapter" "go" "-v=false" "-dump-json" "/home/swarming/.swarming/w/ir/x/w/dist.testjson" "--" "/home/swarming/.swarming/w/ir/x/w/goroot/bin/go" "tool" "dist" "test" "-json" "archive/zip" "cmp" "container/heap" "crypto" "crypto/des" "crypto/ecdh" "crypto/fips140" "crypto/internal/boring/bcache" "crypto/internal/fips140/aes/gcm" "crypto/internal/fips140/ecdsa" "crypto/internal/fips140/edwards25519" "crypto/internal/fips140/hkdf" "crypto/internal/fips140/hmac" "crypto/internal/fips140/nistec" "crypto/internal/fips140/sha256" "crypto/internal/fips140/sha512" "crypto/internal/fips140/ssh" "crypto/internal/fips140/subtle" "crypto/internal/fips140/tls12" "crypto/internal/fips140cache" "crypto/internal/fips140deps/cpu" "crypto/internal/fips140deps/godebug" "crypto/internal/fips140deps/time" "crypto/internal/sysrand/internal/seccomp" "crypto/mlkem/mlkemtest" "database/sql" "debug/macho" "embed/internal/embedtest" "errors" "go/constant" "go/format" "go/importer" "go/parser" "go/types" "go/version" "hash/maphash" "html" "image/color" "internal/abi" "internal/chacha8rand" "internal/coverage/encodecounter" "internal/coverage/encodemeta" "internal/coverage/slicewriter" "internal/goexperiment" "internal/goos" "internal/gover" "internal/poll" "internal/profile" "internal/reflectlite" "internal/runtime/gc/internal/gen" "internal/trace" "internal/trace/traceviewer" "internal/trace/traceviewer/format" "log" "log/internal" "log/slog/internal/benchmarks" "maps" "math" "math/big/internal/asmgen" "math/bits" "math/rand/v2" "mime/multipart" "mime/quotedprintable" "net/http/cookiejar" "net/rpc/jsonrpc" "os" "os/exec" "os/user" "reflect" "runtime/cgo" "runtime/coverage" "runtime/pprof" "runtime/race" "runtime/race/internal/amd64v1" "runtime/trace" "strings" "sync/atomic" "text/template/parse" "time" "unicode/utf16" "cmd/addr2line" "cmd/asm/internal/lex" "cmd/buildid" "cmd/cgo/internal/test" "cmd/cgo/internal/test/issue27340" "cmd/cgo/internal/test/issue41761a" "cmd/cgo/internal/test/issue8828" "cmd/cgo/internal/test/issue9510b" "cmd/cgo/internal/testcarchive" "cmd/cgo/internal/testlife" "cmd/cgo/internal/testsanitizers" "cmd/cgo/internal/testshared" "cmd/compile/internal/abi" "cmd/compile/internal/arm" "cmd/compile/internal/arm64" "cmd/compile/internal/deadlocals" "cmd/compile/internal/dwarfgen" "cmd/compile/internal/escape" "cmd/compile/internal/liveness" "cmd/compile/internal/logopt" "cmd/compile/internal/mips64" "cmd/compile/internal/riscv64" "cmd/compile/internal/ssa" "cmd/compile/internal/staticinit" "cmd/compile/internal/syntax" "cmd/compile/internal/test" "cmd/compile/internal/types" "cmd/compile/internal/x86" "cmd/fix" "cmd/go/internal/auth" "cmd/go/internal/base" "cmd/go/internal/load" "cmd/go/internal/modfetch" "cmd/go/internal/tool" "cmd/go/internal/vcs" "cmd/go/internal/version" "cmd/go/internal/workcmd" "cmd/gofmt" "cmd/internal/browser" "cmd/internal/codesign" "cmd/internal/cov" "cmd/internal/cov/covcmd" "cmd/internal/gcprog" "cmd/internal/hash" "cmd/internal/moddeps" "cmd/internal/obj/mips" "cmd/internal/obj/ppc64" "cmd/internal/obj/riscv" "cmd/internal/obj/s390x" "cmd/internal/pathcache" "cmd/internal/pkgpath" "cmd/internal/script/scripttest" "cmd/internal/sys" "cmd/link/internal/arm" "cmd/link/internal/arm64" "cmd/link/internal/loadelf" "cmd/link/internal/loadmacho" "cmd/link/internal/mips" "cmd/link/internal/x86" "os/user:osusergo" "crypto/...:gofips140-inprocess" "reflect:pie_internal" "sync:cpu10" "cmd/cgo/internal/testtls:external" "net:race" "os:race" "os/exec:race" "encoding/gob:race" "cmd/internal/testdir:1_10" "cmd/internal/testdir:7_10"]
2025/12/02 17:55:15 Failed: exit status 1
go tool dist: FAILED
ok archive/zip 0.319s
ok cmp 0.036s
ok container/heap 0.016s
ok crypto 1.044s
ok crypto/des 0.056s
ok crypto/ecdh 0.055s
ok crypto/fips140 0.885s
ok crypto/internal/boring/bcache 0.172s
ok crypto/internal/fips140/aes/gcm 0.014s [no tests to run]
ok crypto/internal/fips140/ecdsa 0.061s
ok crypto/internal/fips140/edwards25519 0.149s
ok crypto/internal/fips140/nistec 0.009s
ok crypto/internal/fips140/subtle 0.011s
ok crypto/internal/fips140cache 0.795s
ok database/sql 0.540s
ok debug/macho 0.011s
ok embed/internal/embedtest 0.003s
ok errors 0.006s
ok go/constant 0.006s
ok go/format 0.005s
ok go/importer 0.726s
ok go/parser 0.306s
ok go/types 19.926s
ok go/version 0.056s
ok hash/maphash 0.423s
ok html 0.008s
ok image/color 0.054s
ok internal/abi 0.174s
ok internal/chacha8rand 0.026s
ok internal/coverage/slicewriter 0.026s
ok internal/gover 0.014s
ok internal/poll 0.098s
ok internal/profile 0.019s
ok internal/reflectlite 0.048s
ok internal/trace 24.810s
ok log 0.007s
ok log/slog/internal/benchmarks 0.006s
ok maps 0.008s
ok math 0.036s
ok math/big/internal/asmgen 0.026s
ok math/bits 0.009s
ok math/rand/v2 0.475s
ok mime/multipart 1.077s
ok mime/quotedprintable 0.047s
ok net/http/cookiejar 0.050s
ok net/rpc/jsonrpc 0.067s
ok os 1.787s
ok os/exec 0.872s
ok os/user 0.039s
ok reflect 0.876s
ok runtime/cgo 0.022s
ok runtime/pprof 37.016s
ok runtime/trace 6.237s
ok strings 0.516s
ok sync/atomic 1.447s
ok text/template/parse 0.007s
ok time 10.036s
ok unicode/utf16 0.002s
ok cmd/addr2line 0.815s
ok cmd/asm/internal/lex 0.008s
ok cmd/cgo/internal/test 1.451s
ok cmd/cgo/internal/testcarchive 56.804s
ok cmd/cgo/internal/testlife 3.511s
ok cmd/cgo/internal/testsanitizers 50.497s
ok cmd/cgo/internal/testshared 95.199s
ok cmd/compile/internal/dwarfgen 0.663s
ok cmd/compile/internal/liveness 0.065s
ok cmd/compile/internal/logopt 1.103s
ok cmd/compile/internal/ssa 29.743s
ok cmd/compile/internal/syntax 0.031s
ok cmd/compile/internal/test 14.184s
ok cmd/compile/internal/types 0.003s
ok cmd/go/internal/auth 0.004s
ok cmd/go/internal/load 0.006s
ok cmd/go/internal/modfetch 0.026s
ok cmd/go/internal/vcs 0.009s
ok cmd/gofmt 0.028s
ok cmd/internal/cov 0.323s
ok cmd/internal/moddeps 1.071s
ok cmd/internal/obj/ppc64 0.128s
ok cmd/internal/obj/riscv 0.051s
ok cmd/internal/obj/s390x 0.008s
ok cmd/internal/pkgpath 0.021s
ok cmd/internal/sys 0.004s
ok os/user 0.086s
cannot parse row "? \tcrypto/internal/boring/bbig\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/boring/sig\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/constanttime\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/cryptotest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/entropy\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/entropy/v1.0.0\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/alias\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/check\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/check/checktest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/ed25519\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/hkdf\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/hmac\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/pbkdf2\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha256\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha3\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/sha512\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/ssh\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/subtle\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/tls12\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140/v1.0.0-c2097c7c/tls13\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/byteorder\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/cpu\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/godebug\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140deps/time\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140hash\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/fips140only\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/impl\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/rand\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/randutil\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/internal/sysrand/internal/seccomp\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/mlkem/mlkemtest\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/tls/internal/fips140tls\t[no test files]", invalid character '?' looking for beginning of value
cannot parse row "? \tcrypto/x509/pkix\t[no test files]", invalid character '?' looking for beginning of value
ok reflect 1.060s
ok sync 0.715s
ok cmd/cgo/internal/testtls 0.072s
ok net 1.094s
ok os 1.120s
ok os/exec 2.214s
ok encoding/gob 1.057s
ok cmd/internal/testdir 13.944s
--- FAIL: Test (0.02s)
--- FAIL: Test/loopbce.go (0.30s)
testdir_test.go:1194: gc output:
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:11: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:12: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:19: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:20: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:20: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:21: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:28: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:29: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:30: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:37: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:45: Induction variable: limits [1,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:46: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:53: Induction variable: limits [0,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:54: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:61: Induction variable: limits [-10,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:69: Induction variable: limits [-10,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:77: Induction variable: limits [-10,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:85: Induction variable: limits [-10,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:93: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:94: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:101: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:102: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:109: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:110: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:117: Induction variable: limits (0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:118: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:125: Induction variable: limits (0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:126: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:133: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:134: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:141: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:142: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:150: Induction variable: limits [0,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:151: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:159: Induction variable: limits [0,8], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:161: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:171: Induction variable: limits [0,20], increment 5
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:172: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:172: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:173: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:174: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:180: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:181: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:186: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:187: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:193: Induction variable: limits [0,128), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:194: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:199: Induction variable: limits [0,128), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:205: Induction variable: limits [10,90), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:211: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:212: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:213: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:214: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:215: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:222: Induction variable: limits [10,90), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:228: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:229: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:230: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:231: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:232: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:233: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:241: Induction variable: limits [10,90), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:246: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:247: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:247: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:248: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:248: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:249: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:249: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:250: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:250: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:251: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:251: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:252: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:259: Induction variable: limits [-10,90), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:265: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:272: Induction variable: limits (-11,89], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:278: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:285: Induction variable: limits [-10,89], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:291: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:301: Induction variable: limits [-9223372036854775807,-9223372036854775757), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:302: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:309: Induction variable: limits [9223372036854775757,9223372036854775807), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:310: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:311: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:317: Induction variable: limits [0,100), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:318: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:319: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:320: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:328: Induction variable: limits [0,100), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:329: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:330: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:331: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:339: Induction variable: limits [0,99], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:342: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:350: Induction variable: limits [9223372036854775798,9223372036854775802], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:353: Induction variable: limits [9223372036854775799,9223372036854775803], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:359: Induction variable: limits [9223372036854775801,9223372036854775801], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:362: Induction variable: limits [9223372036854775798,9223372036854775802], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:365: Induction variable: limits [9223372036854775799,9223372036854775803], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:377: Induction variable: limits [-9223372036854775803,-9223372036854775799], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:380: Induction variable: limits [-9223372036854775804,-9223372036854775800], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:386: Induction variable: limits [-9223372036854775802,-9223372036854775802], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:389: Induction variable: limits [-9223372036854775803,-9223372036854775799], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:392: Induction variable: limits [-9223372036854775804,-9223372036854775800], increment 4
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:413: Induction variable: limits [-1547,9223372036854772720], increment 1337
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:419: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:420: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:420: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:422: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:423: Proved slicemask not needed (by limit)
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:423: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:425: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:425: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:429: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:429: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:432: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:441: Induction variable: limits [-9223372036854775808,9223372036854775807), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:458: Induction variable: limits [0,6], increment 3
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:459: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:466: Induction variable: limits [0,6], increment 3
/home/swarming/.swarming/w/ir/x/w/goroot/test/loopbce.go:467: Proved IsInBounds
testdir_test.go:147:
Unmatched Errors:
loopbce.go:21: Proved IsInBounds
loopbce.go:20: Proved slicemask not needed (by limit)
loopbce.go:420: Proved slicemask not needed (by limit)
--- FAIL: Test/prove.go (0.48s)
testdir_test.go:1194: gc output:
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:18: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:20: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:21: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:22: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:30: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:31: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:33: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:34: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:35: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:41: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:44: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:47: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:50: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:53: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:69: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:71: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:78: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:85: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:88: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:91: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:107: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:120: Disproved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:133: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:134: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:148: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:159: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:164: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:165: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:177: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:187: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:194: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:201: Disproved Less8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:208: Proved Leq8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:215: Proved Leq8U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:224: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:225: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:238: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:248: Disproved Arg
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:256: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:256: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:267: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:272: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:277: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:282: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:292: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:297: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:302: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:307: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:312: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:324: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:329: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:334: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:339: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:344: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:356: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:361: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:366: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:371: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:376: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:387: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:396: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:407: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:422: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:431: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:443: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:459: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:464: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:469: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:475: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:480: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:488: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:491: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:494: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:518: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:525: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:530: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:533: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:549: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:555: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:561: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:575: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:583: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:594: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:604: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:608: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:615: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:628: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:637: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:647: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:652: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:665: Induction variable: limits (0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:666: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:667: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:673: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:675: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:676: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:684: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:692: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:694: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:701: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:702: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:709: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:710: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:719: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:720: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:721: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:724: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:732: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:733: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:734: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:737: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:746: Induction variable: limits [?,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:747: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:758: Induction variable: limits [?,25], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:759: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:768: Induction variable: limits [?,25], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:769: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:776: Induction variable: limits [0,?), increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:777: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:778: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:778: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:789: Induction variable: limits [0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:790: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:791: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:791: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:802: Induction variable: limits (0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:803: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:804: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:815: Induction variable: limits (0,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:816: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:817: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:828: Induction variable: limits [2,?], increment 2
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:829: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:830: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:843: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:843: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:856: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:856: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:870: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:886: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:905: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:908: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:911: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:921: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:924: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:927: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:937: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:947: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:956: Induction variable: limits [-1,0], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:988: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:995: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1002: Proved Div32 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1013: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1021: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1027: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1028: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1034: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1042: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1052: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1053: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1061: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1062: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1067: Proved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1075: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1082: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1083: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1084: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1089: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1090: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1091: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1096: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1103: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1110: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1118: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1126: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1133: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1139: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1145: Induction variable: limits [0,10], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1146: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1153: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1159: Proved Arg
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1170: Proved IsNonNil
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1182: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1199: Proved Ctz64 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1203: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1207: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1223: Proved Ctz32 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1227: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1231: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1247: Proved Ctz16 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1251: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1255: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1271: Proved Ctz8 non-zero
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1275: Proved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1279: Disproved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1301: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1305: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1325: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1329: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1349: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1353: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1373: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1377: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1391: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1395: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1409: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1413: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1427: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1431: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1444: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1448: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1461: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1465: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1478: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1481: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1485: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1498: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1501: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1505: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1518: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1521: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1525: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1538: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1540: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1543: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1546: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1549: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1563: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1563: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1565: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1568: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1571: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1574: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1585: Disproved Less16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1588: Proved Leq16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1591: Disproved Less16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1594: Proved Leq16U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1606: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1609: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1612: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1615: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1628: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1631: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1634: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1637: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1665: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1666: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1674: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1682: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1710: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1713: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1716: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1719: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1733: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1736: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1739: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1742: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1756: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1759: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1762: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1765: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1779: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1782: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1785: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1788: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1819: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1822: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1825: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1828: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1842: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1845: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1848: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1851: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1865: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1868: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1871: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1874: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1888: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1891: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1894: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1897: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1912: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1915: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1918: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1921: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1935: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1938: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1941: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1944: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1958: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1961: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1964: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1967: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1981: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1984: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1987: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1990: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1998: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:1999: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2000: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2001: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2008: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2022: Disproved Eq8
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2032: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2044: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2047: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2060: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2063: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2107: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2110: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2123: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2126: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2157: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2160: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2176: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2179: Disproved Less64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2193: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2196: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2244: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2259: Disproved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2298: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2298: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2299: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2299: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2300: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2306: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2306: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2307: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2307: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2308: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2316: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2319: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2327: Disproved Less64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2330: Proved Leq64U
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2339: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2339: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2340: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2340: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2342: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2352: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2352: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2353: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2353: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2355: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2370: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2370: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2371: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2371: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2373: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2373: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2374: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2374: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2379: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2382: Proved Eq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2391: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2391: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2394: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2394: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2408: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2408: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2409: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2409: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2411: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2411: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2425: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2425: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2426: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2426: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2428: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2428: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2429: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2429: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2441: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2441: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2454: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2454: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2467: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2467: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2482: Rewrote Mul v19 into And
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2489: Rewrote Mul v16 into CondSelect; v7 is bool
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2494: Proved Div32 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2500: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2504: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2514: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2520: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2524: Proved Lsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2524: Proved Div64 does not need fix-up
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2528: Proved Lsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2528: Proved Div64 does not need fix-up
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2533: Induction variable: limits [0,1000), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2535: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2544: Induction variable: limits [0,1000), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved Mod64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2545: Proved Neq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2552: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2552: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2553: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2554: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2555: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2556: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2561: Induction variable: limits [0,1024), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2562: Proved Div64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2562: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2566: Induction variable: limits [0,1024), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2567: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2567: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2579: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2579: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2580: Proved sm,SM=-4,-1 um,UM=0,18446744073709551615 (v29)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2583: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2583: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2584: Proved sm,SM=-40,-3 um,UM=0,18446744073709551615 (v52)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2587: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2587: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2588: Proved sm,SM=-4,5 um,UM=0,18446744073709551615 (v74)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2591: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2592: Proved sm,SM=0,5 um,UM=0,5 (v96)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2596: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2596: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2597: Proved sm,SM=-8,-1 um,UM=0,18446744073709551615 (v117)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2600: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2600: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2601: Proved sm,SM=-80,-3 um,UM=0,18446744073709551615 (v138)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2604: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2604: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2605: Proved sm,SM=-8,10 um,UM=0,18446744073709551615 (v159)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2608: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2609: Proved sm,SM=0,10 um,UM=0,10 (v180)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2613: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2614: Proved sm,SM=-8,-1 um,UM=0,18446744073709551615 (v202)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2617: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2618: Proved sm,SM=-80,-3 um,UM=0,18446744073709551615 (v223)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2621: Proved Rsh64x64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2622: Proved sm,SM=-8,10 um,UM=0,18446744073709551615 (v244)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2625: Proved Rsh64x64 is unsigned
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2625: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2626: Proved sm,SM=0,10 um,UM=0,10 (v265)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2632: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2633: Proved sm,SM=0,10 um,UM=0,10 (v29)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2636: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2636: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2637: Proved sm,SM=0,10 um,UM=0,10 (v50)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2640: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2640: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2641: Proved sm,SM=0,5 um,UM=0,5 (v72)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2644: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2644: Proved Rsh64Ux64 bounded
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2645: Proved sm,SM=2,50 um,UM=2,50 (v95)
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2651: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2657: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2673: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2674: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2675: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2675: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2676: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2676: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2684: Induction variable: limits [0,?), increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2685: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2686: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2686: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2687: Proved IsInBounds for blocked indexing
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2687: Proved IsInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2702: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2704: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2712: Induction variable: limits [0,?], increment 1
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:2714: Proved Leq64
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved slicemask not needed
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved IsSliceInBounds
/home/swarming/.swarming/w/ir/x/w/goroot/test/prove.go:688: Proved Eq64
testdir_test.go:147:
Unmatched Errors:
prove.go:2555: Proved IsInBounds
FAIL
FAIL cmd/internal/testdir 16.819s
Warning: no '=' in invocation-link-artifacts pair: "", ignoring
[W2025-12-02T17:55:16.260204Z 833552 0 cmd_stream.go:589] rdb-stream: test process exited with error: exit status 2
[I2025-12-02T17:55:16.260248Z 833552 0 cmd_stream.go:573] rdb-stream: the test process terminated
[I2025-12-02T17:55:16.260328Z 833552 0 sink.go:452] SinkServer: shutdown started
[I2025-12-02T17:55:16.260366Z 833552 0 sink.go:430] SinkServer: HTTP server stopped with "http: Server closed"
[I2025-12-02T17:55:16.260377Z 833552 0 sink_server.go:96] SinkServer: draining TestResult channel started
[I2025-12-02T17:55:17.429020Z 833552 0 sink_server.go:98] SinkServer: draining TestResult channel ended
[I2025-12-02T17:55:17.429059Z 833552 0 sink_server.go:100] SinkServer: draining Artifact channel started
[I2025-12-02T17:55:17.656073Z 833552 0 sink_server.go:102] SinkServer: draining Artifact channel ended
[I2025-12-02T17:55:17.656118Z 833552 0 sink.go:455] SinkServer: shutdown completed successfully
[I2025-12-02T17:55:17.656150Z 833552 0 cmd_stream.go:498] rdb-stream: exiting with 2