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 {}