aboutsummaryrefslogtreecommitdiff
path: root/src/runtime
diff options
context:
space:
mode:
authorYoulin Feng <fengyoulin@live.com>2025-11-12 17:38:27 +0800
committerGopher Robot <gobot@golang.org>2026-03-18 13:35:03 -0700
commit8afbae3e51ca0a22121bdf34ac65e0d4c9d888b7 (patch)
treee2dab478ae407b31e2bf46e74f7f61bcc7d86ff8 /src/runtime
parent0a56bf885884d07f6391afcbb122041f193eebb2 (diff)
downloadgo-8afbae3e51ca0a22121bdf34ac65e0d4c9d888b7.tar.xz
cmd/compile: allow multiple induction variables in one block in prove
In this CL, the restriction that each block can only have one induction variable has been removed. This reduces missed optimizations. Fixes #76269 Change-Id: I14043182a40cc7887c5b6d9c1a5df8ea3a1bfedc Reviewed-on: https://go-review.googlesource.com/c/go/+/719881 Reviewed-by: Keith Randall <khr@golang.org> Auto-Submit: Keith Randall <khr@golang.org> Reviewed-by: Carlos Amedee <carlos@golang.org> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Keith Randall <khr@google.com>
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions