Method resolveCall

tools/checklocks/facts.go:165–165

resolveCall is used to resolve a guard during a call. The ssa return value is available from the instruction context where the call occurs, but the target's ssa representation is not available.

(pc *passContext, ls *lockState, args []ssa.Value, rv ssa.Value)

	// return value is available from the instruction context where the
	// call occurs, but the target's ssa representation is not available.
	resolveCall(pc *passContext, ls *lockState, args []ssa.Value, rv ssa.Value) resolvedValue
}

// lockGuardFacts contains guard information.