gotools/go/analysis/passes/ctrlflow/ctrlflow.go

var Analyzer …

type noReturn …

func (*noReturn) AFact() { … }

func (*noReturn) String() string { … }

type CFGs …

type declInfo …

type litInfo …

// FuncDecl returns the control-flow graph for a named function.
// It returns nil if decl.Body==nil.
func (c *CFGs) FuncDecl(decl *ast.FuncDecl) *cfg.CFG { … }

// FuncLit returns the control-flow graph for a literal function.
func (c *CFGs) FuncLit(lit *ast.FuncLit) *cfg.CFG { … }

func run(pass *analysis.Pass) (interface{ … }

// di.cfg may be nil on return.
func (c *CFGs) buildDecl(fn *types.Func, di *declInfo) { … }

// callMayReturn reports whether the called function may return.
// It is passed to the CFG builder.
func (c *CFGs) callMayReturn(call *ast.CallExpr) (r bool) { … }

var panicBuiltin …

func hasReachableReturn(g *cfg.CFG) bool { … }

// isIntrinsicNoReturn reports whether a function intrinsically never
// returns because it stops execution of the calling thread.
// It is the base case in the recursion.
func isIntrinsicNoReturn(fn *types.Func) bool { … }