case ir.ODOT:
		n := n.(*ir.SelectorExpr)
		if name, offset, ok = StaticLoc(n.X); !ok {
			break
		}
		offset += n.Offset()
		return name, offset, true

	case ir.OINDEX:
		n := n.(*ir.IndexExpr)
		if n.X.Type().IsSlice() {
			break
		}
		if name, offset, ok = StaticLoc(n.X); !ok {
			break
		}
		l := getlit(n.Index)
		if l < 0 {
			break
		}

		// Check for overflow.

			s.assign(left.X, new, false, 0)
			// TODO: do we need to update named values here?
			return
		}
		if left.Op() == ir.OINDEX && left.(*ir.IndexExpr).X.Type().IsArray() {
			left := left.(*ir.IndexExpr)
			s.pushLine(left.Pos())
			defer s.popLine()
			// We're assigning to an element of an ssa-able array.
			// a[i] = v
			t := left.X.Type()
			n := t.NumElem()

		if !p.isType(c.Fun) && !p.isUnsafeData(c.Fun, false) {
			break
		}
		x = c.Args[0]
	}
	u, ok := x.(*ast.UnaryExpr)
	if !ok || u.Op != token.AND {
		return false
	}
	index, ok := u.X.(*ast.IndexExpr)
	if !ok {
		return false
	}

	addr := ""
	deref := ""
	if p.isVariable(index.X) {
		addr = "&"
		deref = "*"
	}

	case *ast.UnaryExpr:
		u.node(node.X)
	case *ast.BinaryExpr:
		u.node(node.X)
		u.node(node.Y)
	case *ast.StarExpr:
		u.node(node.X)
	case *ast.ParenExpr:
		u.node(node.X)
	case *ast.IndexExpr:
		u.node(node.X)
		u.node(node.Index)
	case *ast.TypeAssertExpr:
		u.node(node.X)
		u.node(node.Type)
	case *ast.Ident:
		if obj := u.scope.Lookup(node.Name); obj != nil {
			obj.numUses++

		{"IncDecStmt", Type, 0},
		{"IncDecStmt.Tok", Field, 0},
		{"IncDecStmt.TokPos", Field, 0},
		{"IncDecStmt.X", Field, 0},
		{"IndexExpr", Type, 0},
		{"IndexExpr.Index", Field, 0},
		{"IndexExpr.Lbrack", Field, 0},
		{"IndexExpr.Rbrack", Field, 0},
		{"IndexExpr.X", Field, 0},
		{"IndexListExpr", Type, 18},
		{"IndexListExpr.Indices", Field, 18},
		{"IndexListExpr.Lbrack", Field, 18},

pkg go/ast, type IncDecStmt struct, TokPos token.Pos
pkg go/ast, type IncDecStmt struct, X Expr
pkg go/ast, type IndexExpr struct
pkg go/ast, type IndexExpr struct, Index Expr
pkg go/ast, type IndexExpr struct, Lbrack token.Pos
pkg go/ast, type IndexExpr struct, Rbrack token.Pos
pkg go/ast, type IndexExpr struct, X Expr
pkg go/ast, type InterfaceType struct
pkg go/ast, type InterfaceType struct, Incomplete bool