From: Jorropo <jorropo.pgm@gmail.com>
Date: Fri, 9 Aug 2024 13:22:28 +0000 (+0200)
Subject: cmd/compile: remove outdated comment in prove.go
X-Git-Tag: go1.24rc1~1061
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=9a4fe7e14a4f71267f929c5545916f9830a89187;p=gostls13.git

cmd/compile: remove outdated comment in prove.go

See the cases above all of theses are implemented (except XOR which has a blank case with comments).

Change-Id: I9e2994490dac89e86ba70c1abeb1af1cbcf032e9
Reviewed-on: https://go-review.googlesource.com/c/go/+/604416
Reviewed-by: Keith Randall <khr@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: David Chase <drchase@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
---

diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go
index a2b58a98df..1daf8d85c4 100644
--- a/src/cmd/compile/internal/ssa/prove.go
+++ b/src/cmd/compile/internal/ssa/prove.go
@@ -1788,7 +1788,6 @@ func (ft *factsTable) flowLimit(v *Value) bool {
 		}
 		return ft.newLimit(v, l)
 	}
-	// TODO: mul/lsh, rsh, div/mod, and/or/xor
 	return false
 }