]> Cypherpunks repositories - gostls13.git/commit
projects / gostls13.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 0de8fc8) | patch
cmd/compile: don't report newLimit discovered when unsat happens multiple times
authorJorropo <jorropo.pgm@gmail.com>
Thu, 20 Feb 2025 10:50:53 +0000 (11:50 +0100)
committerJorropo <jorropo.pgm@gmail.com>
Thu, 20 Feb 2025 17:44:28 +0000 (09:44 -0800)
commit00635de759b38610dd86f60074856367d6a1ceaa
treef81650427a2054fe34487ba35c8a12f7bc0ab1detree
parent0de8fc852704d672e3379b05d617ce75dc0b2613commit | diff
cmd/compile: don't report newLimit discovered when unsat happens multiple times

Fixes #71852

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>
src/cmd/compile/internal/ssa/prove.go diff | blob | history
test/fixedbugs/issue71852.go [new file with mode: 0644] blob
Go GOST TLS 1.3