go/src/cmd/compile/internal/types2/return.go

// isTerminating reports if s is a terminating statement.
// If s is labeled, label is the label name; otherwise s
// is "".
func (check *Checker) isTerminating(s syntax.Stmt, label string) bool { … }

func (check *Checker) isTerminatingList(list []syntax.Stmt, label string) bool { … }

func (check *Checker) isTerminatingSwitch(body []*syntax.CaseClause, label string) bool { … }

// hasBreak reports if s is or contains a break statement
// referring to the label-ed statement or implicit-ly the
// closest outer breakable statement.
func hasBreak(s syntax.Stmt, label string, implicit bool) bool { … }

func hasBreakList(list []syntax.Stmt, label string, implicit bool) bool { … }

func hasBreakCaseList(list []*syntax.CaseClause, label string, implicit bool) bool { … }

func hasBreakCommList(list []*syntax.CommClause, label string, implicit bool) bool { … }