]> Cypherpunks repositories - gostls13.git/commit
cmd/compile: remove bug workarounds in prove's loop inversion
authorJorropo <jorropo.pgm@gmail.com>
Sat, 3 Feb 2024 08:06:30 +0000 (09:06 +0100)
committerGopher Robot <gobot@golang.org>
Mon, 4 Mar 2024 17:30:21 +0000 (17:30 +0000)
commitff35c382eb118565778fbf247e04e76730cdfc6c
tree733348fcd08c4d960c0589aa6c7404e41343c21c
parentb159c99eb7eb292b62ec120d83bd25454cfa1fae
cmd/compile: remove bug workarounds in prove's loop inversion

I wrote theses checks because I got bad panics on some innocent functions,
turns out I was working around #63955 but I was not aware of that at the time.

The proper fix was included in CL 539977 this is now doing nothing.

Change-Id: I89329329933527b6f3cb817dc1e039a38f58da9a
Reviewed-on: https://go-review.googlesource.com/c/go/+/560975
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
Auto-Submit: Keith Randall <khr@golang.org>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
src/cmd/compile/internal/ssa/prove.go