An analysis state for the main function will be created. The context gets a value context for the main function. The entry and exit value is a empty lattice. The worklist consists of all instructions of the main function.
(ssaFun *ssa.Function, vc *ValueContext)
source not stored for this graph (policy: none)
no test coverage detected