Function isBuiltinAppendCall

assertion/function/functioncontracts/infer.go:339–346

isBuiltinAppendCall reports if the call is a call to builtin append.

(v *ssa.Call)

// isBuiltinAppendCall reports if the call is a call to builtin append.
func isBuiltinAppendCall(v *ssa.Call) bool {
	// TODO: consider merge this and assertion.BuiltinAppend
	bi, ok := v.Call.Value.(*ssa.Builtin)
	if !ok {
		return false
	}
	return bi.Name() == "append"
}

type nilness int