]> Cypherpunks repositories - gostls13.git/commit
[release-branch.go1.24] cmd/compile: don't report newLimit discovered when unsat...
authorJorropo <jorropo.pgm@gmail.com>
Thu, 20 Feb 2025 10:50:53 +0000 (11:50 +0100)
committerMichael Pratt <mpratt@google.com>
Wed, 26 Feb 2025 17:44:53 +0000 (09:44 -0800)
commit456eaf5c29f7a9e8a222ad37a29c960884b5d9ed
tree60bd8699c62bf082a09ef492f576b0d0b4863efd
parente4ef83383eaf67a32efdba6a0f86af85b908782d
[release-branch.go1.24] cmd/compile: don't report newLimit discovered when unsat happens multiple times

Fixes #71855

Change-Id: I696fcb8fc8c0c2e5e5ae6ab50596f6bdb9b7d498
Reviewed-on: https://go-review.googlesource.com/c/go/+/650975
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
(cherry picked from commit 00635de759b38610dd86f60074856367d6a1ceaa)
Reviewed-on: https://go-review.googlesource.com/c/go/+/652179
Reviewed-by: Jorropo <jorropo.pgm@gmail.com>
Reviewed-by: Michael Pratt <mpratt@google.com>
src/cmd/compile/internal/ssa/prove.go
test/fixedbugs/issue71852.go [new file with mode: 0644]