]> Cypherpunks.ru repositories - gostls13.git/commit
projects / gostls13.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e03c63) | patch
cmd/compile: teach prove about unsigned division, modulus and rsh
authorJorropo <jorropo.pgm@gmail.com>
Sun, 4 Dec 2022 20:41:47 +0000 (21:41 +0100)
committerGopher Robot <gobot@golang.org>
Mon, 23 Jan 2023 18:35:41 +0000 (18:35 +0000)
commit35755d772fab1828c9b79563b98912f3c6025b7a
tree980de1395ca190d6fe75a472392a06e16167ff87tree
parent5e03c634b841f60125d69865abf85e3c39fd6376commit | diff
cmd/compile: teach prove about unsigned division, modulus and rsh

Fixes: #57077
Change-Id: Icffcac42e28622eadecdba26e3cd7ceca6c4aacc
Reviewed-on: https://go-review.googlesource.com/c/go/+/455095
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
Auto-Submit: Keith Randall <khr@golang.org>
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: David Chase <drchase@google.com>
src/cmd/compile/internal/ssa/prove.go diff | blob | history
test/prove.go diff | blob | history
Go GOST TLS 1.3