GetValueContext returns a new value context, if the context is not known already. If the context is already known, the function returns the known context. If a new context is created, the in lattice will be set.
(callee *ssa.Function, pcaller []ssa.Value, lcaller lattice.Latticer, isClosure bool)
source not stored for this graph (policy: none)
no test coverage detected