functions

Documentation

Index

• 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

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
}

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