# Functions
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.
No description provided by the author
CreateProgram returns a new program in IR form, given a program loaded from source.
No description provided by the author
No description provided by the author
Flatten recursively returns the underlying value of an ir.Sigma or ir.Phi node.
No description provided by the author
No description provided by the author
No description provided by the author
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.
No description provided by the author
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.
No description provided by the author
No description provided by the author
# Structs
A ConstCase represents a single constant comparison.
No description provided by the author
No description provided by the author
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.