| // Copyright 2018 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| // The errorsas package defines an Analyzer that checks that the second argument to |
| // errors.As is a pointer to a type implementing error. |
| package errorsas |
| |
| import ( |
| "errors" |
| "go/ast" |
| "go/types" |
| |
| "golang.org/x/tools/go/analysis" |
| typeindexanalyzer "golang.org/x/tools/internal/analysis/typeindex" |
| "golang.org/x/tools/internal/typesinternal/typeindex" |
| ) |
| |
| const Doc = `report passing non-pointer or non-error values to errors.As |
| |
| The errorsas analyzer reports calls to errors.As where the type |
| of the second argument is not a pointer to a type implementing error.` |
| |
| var Analyzer = &analysis.Analyzer{ |
| Name: "errorsas", |
| Doc: Doc, |
| URL: "https://pkg.go.dev/golang.org/x/tools/go/analysis/passes/errorsas", |
| Requires: []*analysis.Analyzer{typeindexanalyzer.Analyzer}, |
| Run: run, |
| } |
| |
| func run(pass *analysis.Pass) (any, error) { |
| switch pass.Pkg.Path() { |
| case "errors", "errors_test": |
| // These packages know how to use their own APIs. |
| // Sometimes they are testing what happens to incorrect programs. |
| return nil, nil |
| } |
| |
| var ( |
| index = pass.ResultOf[typeindexanalyzer.Analyzer].(*typeindex.Index) |
| info = pass.TypesInfo |
| ) |
| |
| for curCall := range index.Calls(index.Object("errors", "As")) { |
| call := curCall.Node().(*ast.CallExpr) |
| if len(call.Args) < 2 { |
| continue // spread call: errors.As(pair()) |
| } |
| |
| // Check for incorrect arguments. |
| if err := checkAsTarget(info, call.Args[1]); err != nil { |
| pass.ReportRangef(call, "%v", err) |
| continue |
| } |
| } |
| return nil, nil |
| } |
| |
| // checkAsTarget reports an error if the second argument to errors.As is invalid. |
| func checkAsTarget(info *types.Info, e ast.Expr) error { |
| t := info.Types[e].Type |
| if types.Identical(t.Underlying(), anyType) { |
| // A target of any is always allowed, since it often indicates |
| // a value forwarded from another source. |
| return nil |
| } |
| pt, ok := t.Underlying().(*types.Pointer) |
| if !ok { |
| return errors.New("second argument to errors.As must be a non-nil pointer to either a type that implements error, or to any interface type") |
| } |
| if types.Identical(pt.Elem(), errorType) { |
| return errors.New("second argument to errors.As should not be *error") |
| } |
| if !types.IsInterface(pt.Elem()) && !types.AssignableTo(pt.Elem(), errorType) { |
| return errors.New("second argument to errors.As must be a non-nil pointer to either a type that implements error, or to any interface type") |
| } |
| return nil |
| } |
| |
| var ( |
| anyType = types.Universe.Lookup("any").Type() |
| errorType = types.Universe.Lookup("error").Type() |
| ) |