package nilness

import "honnef.co/go/tools/analysis/facts/nilness"

Index ¶

• Variables
• type Result
• func (r *Result) MayReturnNil(fn *types.Func, ret int) (yes bool, globalOnly bool)

Variables ¶

var Analysis = &analysis.Analyzer{
	Name:       "nilness",
	Doc:        "Annotates return values that will never be nil (typed or untyped)",
	Run:        run,
	Requires:   []*analysis.Analyzer{buildir.Analyzer},
	FactTypes:  []analysis.Fact{(*neverReturnsNilFact)(nil)},
	ResultType: reflect.TypeOf((*Result)(nil)),
}

Types ¶

type Result ¶

type Result struct {
	// contains filtered or unexported fields
}

func (*Result) MayReturnNil ¶

func (r *Result) MayReturnNil(fn *types.Func, ret int) (yes bool, globalOnly bool)

MayReturnNil reports whether the ret's return value of fn might be a typed or untyped nil value. The value of ret is zero-based. When globalOnly is true, the only possible nil values are global variables.

The analysis has false positives: MayReturnNil can incorrectly report true, but never incorrectly reports false.

Source Files ¶

nilness.go