package functions

import "honnef.co/go/tools/functions"

Index ¶

• func IsStub(fn *ssa.Function) bool
• func Terminates(fn *ssa.Function) bool
• type Loop
• func FindLoops(fn *ssa.Function) []Loop

Functions ¶

func IsStub ¶

func IsStub(fn *ssa.Function) bool

IsStub reports whether a function is a stub. A function is considered a stub if it has no instructions or exactly one instruction, which must be either returning only constant values or a panic.

func Terminates ¶

func Terminates(fn *ssa.Function) bool

Terminates reports whether fn is supposed to return, that is if it has at least one theoretic path that returns from the function. Explicit panics do not count as terminating.

Types ¶

type Loop ¶

type Loop struct{ ssa.BlockSet }

func FindLoops ¶

func FindLoops(fn *ssa.Function) []Loop

Source Files ¶

loops.go pure.go terminates.go