[tools] go/{cfg,analysis/passes/{ctrlflow,buildssa}}: noreturn

0 views

Skip to first unread message

Alan Donovan (Gerrit)

unread,

Dec 29, 2025, 12:46:44 PM (16 hours ago) Dec 29

to goph...@pubsubhelper.golang.org, golang-...@googlegroups.com, Madeline Kalil, Go LUCI, Austin Clements, golang-co...@googlegroups.com

Alan Donovan submitted the change

Change information

Commit message:

go/{cfg,analysis/passes/{ctrlflow,buildssa}}: noreturn

This change exposes the hitherto internal APIs for querying
whether a function can never return, and for exploiting this
information during SSA CFG construction.

Fixes golang/go#76161

Change-Id: Iabdaf49d68eb85928f59e207bf69c394d4a06842

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

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

Reviewed-by: Madeline Kalil <mka...@google.com>

Auto-Submit: Alan Donovan <adon...@google.com>

Files:

M go/analysis/passes/buildssa/buildssa.go
M go/analysis/passes/ctrlflow/ctrlflow.go
D go/analysis/passes/internal/ctrlflowinternal/ctrlflowinternal.go
M go/cfg/cfg.go
M go/ssa/create.go
D internal/cfginternal/cfginternal.go
D internal/ssainternal/ssainternal.go

Change size: M

Delta: 7 files changed, 23 insertions(+), 97 deletions(-)

Branch: refs/heads/master

Submit Requirements:

Code-Review: +2 by Madeline Kalil
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

open

diffy

satisfied_requirement

Reply all

Reply to author

Forward

0 new messages