Method withAliases

scripts/intxcheck/analyzer.go:324–364

(pass *analysis.Pass, body *ast.BlockStmt)

}

func (m outerStoreMatcher) withAliases(pass *analysis.Pass, body *ast.BlockStmt) outerStoreMatcher {
	base := m
	derived := m

	ast.Inspect(body, func(n ast.Node) bool {
		switch n := n.(type) {
		case *ast.FuncLit:
			return false
		case *ast.AssignStmt:
			if n.Tok != token.DEFINE {
				return true
			}
			for i, lhs := range n.Lhs {
				if i >= len(n.Rhs) {
					break
				}
				derived.collectAlias(pass, base, lhs, n.Rhs[i])
			}
		case *ast.DeclStmt:
			genDecl, ok := n.Decl.(*ast.GenDecl)
			if !ok || genDecl.Tok != token.VAR {
				return true
			}
			for _, spec := range genDecl.Specs {
				valueSpec, ok := spec.(*ast.ValueSpec)
				if !ok {
					continue
				}
				for i, name := range valueSpec.Names {
					if i >= len(valueSpec.Values) {
						break
					}
					derived.collectAlias(pass, base, name, valueSpec.Values[i])
				}
			}
		}
		return true
	})

	return derived
}

func (m *outerStoreMatcher) collectAlias(pass *analysis.Pass, base outerStoreMatcher, lhs ast.Expr, rhs ast.Expr) {
	lhsForm, ok := declaredIdentForm(pass, lhs)