functions

Documentation

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