AllFunctions finds and returns the set of functions potentially needed by program prog, as determined by a simple linker-style reachability algorithm starting from the members and method-sets of each package.

AllPackages creates an IR program for a set of packages plus all their dependencies.

BuildPackage builds an IR program with IR for a single package.

CreateProgram returns a new program in IR form, given a program loaded from source.

Flatten recursively returns the underlying value of an ir.Sigma or ir.Phi node.

IsStub reports whether a function is a stub.

MainPackages returns the subset of the specified packages named "main" that define a main function.

Packages creates an IR program for a set of packages.

Switches examines the control-flow graph of fn and returns the set of inferred value and type switches.

Terminates reports whether fn is supposed to return, that is if it has at least one theoretic path that returns from the function.

A ConstCase represents a single constant comparison.

A Switch is a logical high-level control flow operation (a multiway branch) discovered by analysis of a CFG containing only if/else chains.

A TypeCase represents a single type assertion.