7705f82591
Also do following improvements: - show proper sublinter name for megacheck sublinters - refactor and make more simple and robust megacheck merging/optimizing - improve handling of unknown linter names in //nolint directives - minimize diff of our megacheck version from the upstream, https://github.com/golang/go/issues/29612 blocks usage of the upstream version - support the new `stylecheck` linter - improve tests coverage for megacheck and nolint related cases - update and use upstream versions of unparam and interfacer instead of forked ones - don't use golangci/tools repo anymore - fix newly found issues after updating linters Also should be noted that megacheck works much faster and consumes less memory in the newest release, therefore golangci-lint works noticeably faster and consumes less memory for large repos. Relates: #314
42 lines
636 B
Go
42 lines
636 B
Go
package ssautil
|
|
|
|
import (
|
|
"github.com/golangci/go-tools/ssa"
|
|
)
|
|
|
|
func Reachable(from, to *ssa.BasicBlock) bool {
|
|
if from == to {
|
|
return true
|
|
}
|
|
if from.Dominates(to) {
|
|
return true
|
|
}
|
|
|
|
found := false
|
|
Walk(from, func(b *ssa.BasicBlock) bool {
|
|
if b == to {
|
|
found = true
|
|
return false
|
|
}
|
|
return true
|
|
})
|
|
return found
|
|
}
|
|
|
|
func Walk(b *ssa.BasicBlock, fn func(*ssa.BasicBlock) bool) {
|
|
seen := map[*ssa.BasicBlock]bool{}
|
|
wl := []*ssa.BasicBlock{b}
|
|
for len(wl) > 0 {
|
|
b := wl[len(wl)-1]
|
|
wl = wl[:len(wl)-1]
|
|
if seen[b] {
|
|
continue
|
|
}
|
|
seen[b] = true
|
|
if !fn(b) {
|
|
continue
|
|
}
|
|
wl = append(wl, b.Succs...)
|
|
}
|
|
}
|