functions

Documentation

Index

• func IsNilError(fn *ssa.Function) bool
• type Description
• type Descriptions
  • func NewDescriptions(prog *ssa.Program) *Descriptions
  • func (d *Descriptions) Get(fn *ssa.Function) Description
  • func (d *Descriptions) IsPure(fn *ssa.Function) bool
• type Loop

Functions

func IsNilError

func IsNilError(fn *ssa.Function) bool

Types

type Description

type Description struct {
	// The function is known to be pure
	Pure bool
	// The function is known to never return (panics notwithstanding)
	Infinite bool
	// Variable ranges
	Ranges vrp.Ranges
	Loops  []Loop
	// Function returns an error as its last argument, but it is
	// always nil
	NilError            bool
	ConcreteReturnTypes []*types.Tuple
}

type Descriptions

type Descriptions struct {
	CallGraph *callgraph.Graph
	// contains filtered or unexported fields
}

func NewDescriptions

func NewDescriptions(prog *ssa.Program) *Descriptions

func (*Descriptions) Get

func (d *Descriptions) Get(fn *ssa.Function) Description

func (*Descriptions) IsPure

func (d *Descriptions) IsPure(fn *ssa.Function) bool

type Loop

type Loop map[*ssa.BasicBlock]bool