mirror of
https://github.com/golang/go.git
synced 2026-01-29 15:12:08 +03:00
f84f8d86be
CL 704875 enhanced prove to infer bounds when index have a relationship with len(A) - K. However, the change incorrectly infer "K - len(A)" case, causing wrong bounds information. Fixing this by matching exactly "len(A) - K" case. Fixes #76709 Change-Id: Ibeedff55520658401af5bd3aa7e98cc1bcf38fd6 Reviewed-on: https://go-review.googlesource.com/c/go/+/727180 Reviewed-by: Cherry Mui <cherryyz@google.com> Auto-Submit: Cuong Manh Le <cuong.manhle.vn@gmail.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Jakub Ciolek <jakub@ciolek.dev> Reviewed-by: David Chase <drchase@google.com>
43 lines
709 B
Go
43 lines
709 B
Go
// run
|
|
|
|
// Copyright 2025 The Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
package main
|
|
|
|
import "fmt"
|
|
|
|
//go:noinline
|
|
func bug1(a []int, i int) int {
|
|
if i < 0 || i > 20-len(a) {
|
|
return 0
|
|
}
|
|
diff := len(a) - i
|
|
if diff < 10 {
|
|
return 1
|
|
}
|
|
return 2
|
|
}
|
|
|
|
//go:noinline
|
|
func bug2(s []int, i int) int {
|
|
if i < 0 {
|
|
return 0
|
|
}
|
|
if i <= 10-len(s) {
|
|
x := len(s) - i
|
|
return x / 2
|
|
}
|
|
return 0
|
|
}
|
|
|
|
func main() {
|
|
if got := bug1(make([]int, 5), 15); got != 1 {
|
|
panic(fmt.Sprintf("bug1: got %d, want 1", got))
|
|
}
|
|
if got := bug2(make([]int, 3), 7); got != -2 {
|
|
panic(fmt.Sprintf("bug2: got %d, want -2", got))
|
|
}
|
|
}
|