Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.
Already on GitHub?
to your account
Consider the following:
len(b) >= 3 && b[len(b)-3] == '#'
Part of the assembly includes:
0x002f 00047 (main.go:6) CALL runtime.panicIndex(SB)
This should be unnecessary since the previous len(b) >= 3 check ensures that the buffer must contain the len(b)-3 element. Thus, there is no possibility of the index panicking.
len(b) >= 3
\cc @martisch @randall77
The text was updated successfully, but these errors were encountered:
Change https://go.dev/cl/406175 mentions this issue: cmd/compile: derive relation between x+delta and x in prove
cmd/compile: derive relation between x+delta and x in prove
Sorry, something went wrong.
No branches or pull requests