[go] cmd/compile: handle propagating an out-of-range jump table index

[Gopher Robot (Gerrit)]

Gopher Robot submitted the change

Change information

Commit message:

cmd/compile: handle propagating an out-of-range jump table index

For an out-of-range jump table index, the constant facts should not be
propagated to the destinations.

Fixes #76950

Change-Id: Iff29814cb466c7aaa432cec212e5387665c45afc

Reviewed-on: https://go-review.googlesource.com/c/go/+/731860

Auto-Submit: Cuong Manh Le <cuong.m...@gmail.com>

Reviewed-by: David Chase <drc...@google.com>

Reviewed-by: Cherry Mui <cher...@google.com>

LUCI-TryBot-Result: Go LUCI <golang...@luci-project-accounts.iam.gserviceaccount.com>

Files:

• M src/cmd/compile/internal/ssa/sccp.go
• A test/fixedbugs/issue76950.go

Change size: M

Delta: 2 files changed, 71 insertions(+), 0 deletions(-)

Branch: refs/heads/master

Submit Requirements:

• Code-Review: +2 by David Chase, +1 by Cherry Mui
• TryBots-Pass: LUCI-TryBot-Result+1 by Go LUCI

Open in Gerrit

Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings.

Gerrit

Gerrit-MessageType: merged

Gerrit-Project: go

Gerrit-Branch: master

Gerrit-Change-Id: Iff29814cb466c7aaa432cec212e5387665c45afc

Gerrit-Change-Number: 731860

Gerrit-PatchSet: 3

Gerrit-Owner: Cuong Manh Le <cuong.m...@gmail.com>

Gerrit-Reviewer: Cherry Mui <cher...@google.com>

Gerrit-Reviewer: Cuong Manh Le <cuong.m...@gmail.com>

Gerrit-Reviewer: David Chase <drc...@google.com>

Gerrit-Reviewer: Go LUCI <golang...@luci-project-accounts.iam.gserviceaccount.com>

Gerrit-Reviewer: Gopher Robot <go...@golang.org>

Gerrit-Reviewer: Keith Randall <k...@golang.org>

Gerrit-CC: Yi Yang <qingf...@alibaba-inc.com>