functions

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 struct {
	CallGraph *callgraph.Graph
	// contains filtered or unexported fields
}

type Loop map[*ssa.BasicBlock]bool