diff options
| author | Keith Randall <khr@golang.org> | 2025-06-22 16:50:16 -0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2025-07-24 16:06:14 -0700 |
| commit | f703dc5befdad9390decc251e8b1f5e0f061c088 (patch) | |
| tree | f7d3cc9fc8e2de66f1b1e2d48ea1067611f0933e /src/encoding/json/v2/errors.go | |
| parent | 394d0bee8d1ad62ba88d4a3b2d93427d6a8ceb33 (diff) | |
| download | go-f703dc5befdad9390decc251e8b1f5e0f061c088.tar.xz | |
cmd/compile: add missing StringLen rule in prove
(StringLen (StringMake _ x)) == x, just like the rules we
currently have for slices.
This helps propagate string length knowledge to places which need it.
Change-Id: Ifdcf6d1f2d430c1c4bbac32e0ea74c188eae998e
Reviewed-on: https://go-review.googlesource.com/c/go/+/682777
Reviewed-by: Daniel Morsing <daniel.morsing@gmail.com>
Reviewed-by: Michael Knyszek <mknyszek@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Auto-Submit: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: Jorropo <jorropo.pgm@gmail.com>
Diffstat (limited to 'src/encoding/json/v2/errors.go')
0 files changed, 0 insertions, 0 deletions