}

func (check *Checker) suspendedCall(keyword string, call syntax.Expr) {
	code := InvalidDefer
	if keyword == "go" {
		code = InvalidGo
	}

	if _, ok := call.(*syntax.CallExpr); !ok {
		check.errorf(call, code, "expression in %s must be function call", keyword)
		check.use(call)
		return
	}

	var x operand
	var msg string
	switch check.rawExpr(nil, &x, call, nil, false) {

	}

	return ir.Any(n, func(n ir.Node) bool {
		switch n.Op() {
		case ir.OCALLFUNC, ir.OCALLINTER:
			return !ir.IsFuncPCIntrinsic(n.(*ir.CallExpr))

		case ir.OAPPEND, ir.OCLEAR, ir.OCOPY:
			return true // could mutate a global array

		case ir.OASOP:
			n := n.(*ir.AssignOpStmt)
			if !safeLHS(n.X) {
				return true
			}

		{"BranchStmt.Label", Field, 0},
		{"BranchStmt.Tok", Field, 0},
		{"BranchStmt.TokPos", Field, 0},
		{"CallExpr", Type, 0},
		{"CallExpr.Args", Field, 0},
		{"CallExpr.Ellipsis", Field, 0},
		{"CallExpr.Fun", Field, 0},
		{"CallExpr.Lparen", Field, 0},
		{"CallExpr.Rparen", Field, 0},
		{"CaseClause", Type, 0},
		{"CaseClause.Body", Field, 0},
		{"CaseClause.Case", Field, 0},

		u.exprs(node.Rhs)
		u.defining = old

		u.scope.objects[name.Name] = obj
	case *ast.ReturnStmt:
		u.exprs(node.Results)
	case *ast.IncDecStmt:
		u.node(node.X)

	// expressions

	case *ast.CallExpr:
		u.node(node.Fun)
		u.exprs(node.Args)
	case *ast.SelectorExpr:
		u.node(node.X)
	case *ast.UnaryExpr:
		u.node(node.X)
	case *ast.BinaryExpr:
		u.node(node.X)
		u.node(node.Y)

				if x != nil && needsBlanks {
					p.print(blank)
				}
			}
			if x != nil {
				p.expr0(x, depth+1)
			}
		}
		p.setPos(x.Rbrack)
		p.print(token.RBRACK)

	case *ast.CallExpr:
		if len(x.Args) > 1 {
			depth++
		}

		// Conversions to literal function types or <-chan
		// types require parentheses around the type.
		paren := false
		switch t := x.Fun.(type) {

pkg go/ast, type BranchStmt struct, TokPos token.Pos
pkg go/ast, type CallExpr struct
pkg go/ast, type CallExpr struct, Args []Expr
pkg go/ast, type CallExpr struct, Ellipsis token.Pos
pkg go/ast, type CallExpr struct, Fun Expr
pkg go/ast, type CallExpr struct, Lparen token.Pos
pkg go/ast, type CallExpr struct, Rparen token.Pos
pkg go/ast, type CaseClause struct