vendor/honnef.co/go/tools/staticcheck/knowledge.go


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

package staticcheck

import (
	"reflect"

	"golang.org/x/tools/go/analysis"
	"honnef.co/go/tools/internal/passes/buildssa"
	"honnef.co/go/tools/ssa"
	"honnef.co/go/tools/staticcheck/vrp"
)

var valueRangesAnalyzer = &analysis.Analyzer{
	Name: "vrp",
	Doc:  "calculate value ranges of functions",
	Run: func(pass *analysis.Pass) (interface{}, error) {
		m := map[*ssa.Function]vrp.Ranges{}
		for _, ssafn := range pass.ResultOf[buildssa.Analyzer].(*buildssa.SSA).SrcFuncs {
			vr := vrp.BuildGraph(ssafn).Solve()
			m[ssafn] = vr
		}
		return m, nil
	},
	Requires:   []*analysis.Analyzer{buildssa.Analyzer},
	ResultType: reflect.TypeOf(map[*ssa.Function]vrp.Ranges{}),
}