vikunja-api/vendor/honnef.co/go/tools/functions/terminates.go

71 lines
1.5 KiB
Go
Raw Normal View History

2018-12-31 02:18:41 +01:00
package functions
2020-05-29 22:15:21 +02:00
import (
"go/types"
"honnef.co/go/tools/ir"
)
2018-12-31 02:18:41 +01:00
// Terminates reports whether fn is supposed to return, that is if it
2018-12-31 02:18:41 +01:00
// has at least one theoretic path that returns from the function.
// Explicit panics do not count as terminating.
2020-05-29 22:15:21 +02:00
func Terminates(fn *ir.Function) bool {
2018-12-31 02:18:41 +01:00
if fn.Blocks == nil {
// assuming that a function terminates is the conservative
// choice
return true
}
for _, block := range fn.Blocks {
2020-05-29 22:15:21 +02:00
if _, ok := block.Control().(*ir.Return); ok {
if len(block.Preds) == 0 {
return true
}
for _, pred := range block.Preds {
switch ctrl := pred.Control().(type) {
case *ir.Panic:
// explicit panics do not count as terminating
case *ir.If:
// Check if we got here by receiving from a closed
// time.Tick channel this cannot happen at
// runtime and thus doesn't constitute termination
iff := ctrl
if !ok {
return true
}
ex, ok := iff.Cond.(*ir.Extract)
if !ok {
return true
}
if ex.Index != 1 {
return true
}
recv, ok := ex.Tuple.(*ir.Recv)
if !ok {
return true
}
call, ok := recv.Chan.(*ir.Call)
if !ok {
return true
}
fn, ok := call.Common().Value.(*ir.Function)
if !ok {
return true
}
fn2, ok := fn.Object().(*types.Func)
if !ok {
return true
}
if fn2.FullName() != "time.Tick" {
return true
}
default:
// we've reached the exit block
return true
}
}
2018-12-31 02:18:41 +01:00
}
}
return false
}