From: Youlin Feng <fengyoulin@live.com>
Date: Sun, 3 Nov 2024 23:43:43 +0000 (+0800)
Subject: cmd/compile: update comment for initLimit in prove pass
X-Git-Tag: go1.24rc1~443
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=5123f38e050c5ee7130d459ea247d998a838b5a1;p=gostls13.git

cmd/compile: update comment for initLimit in prove pass

For: #70156

Change-Id: Ie39a88130f27b4b210ddbcf396cc0ddd2713d58b
Reviewed-on: https://go-review.googlesource.com/c/go/+/624855
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Keith Randall <khr@golang.org>
Reviewed-by: David Chase <drchase@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Mauri de Souza Meneguzzo <mauri870@gmail.com>
---

diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go
index db91e70499..c3948dc9b1 100644
--- a/src/cmd/compile/internal/ssa/prove.go
+++ b/src/cmd/compile/internal/ssa/prove.go
@@ -1569,7 +1569,8 @@ func prove(f *Func) {
 
 // initLimit sets initial constant limit for v.  This limit is based
 // only on the operation itself, not any of its input arguments. This
-// method is only called once on prove pass startup (unlike
+// method is only used in two places, once when the prove pass startup
+// and the other when a new ssa value is created, both for init. (unlike
 // flowLimit, below, which computes additional constraints based on
 // ranges of opcode arguments).
 func initLimit(v *Value) limit {