aboutsummaryrefslogtreecommitdiff
path: root/vendor/honnef.co/go/tools/functions/terminates.go
diff options
context:
space:
mode:
authorJoe Richey joerichey@google.com <joerichey@google.com>2018-08-30 02:24:33 -0700
committerJoe Richey joerichey@google.com <joerichey@google.com>2018-08-30 02:24:33 -0700
commit630c8d1d002286cc26bafec78a7f120b5c0e78af (patch)
tree5d453c5b099a2881c74ac49922eb968e235bedfd /vendor/honnef.co/go/tools/functions/terminates.go
parentb7f5b0ab3c9b1af9397c557e410473119399f8b6 (diff)
Update dependancies to lastest version
Diffstat (limited to 'vendor/honnef.co/go/tools/functions/terminates.go')
-rw-r--r--vendor/honnef.co/go/tools/functions/terminates.go24
1 files changed, 0 insertions, 24 deletions
diff --git a/vendor/honnef.co/go/tools/functions/terminates.go b/vendor/honnef.co/go/tools/functions/terminates.go
deleted file mode 100644
index 65f9e16..0000000
--- a/vendor/honnef.co/go/tools/functions/terminates.go
+++ /dev/null
@@ -1,24 +0,0 @@
-package functions
-
-import "honnef.co/go/tools/ssa"
-
-// terminates reports whether fn is supposed to return, that is if it
-// has at least one theoretic path that returns from the function.
-// Explicit panics do not count as terminating.
-func terminates(fn *ssa.Function) bool {
- if fn.Blocks == nil {
- // assuming that a function terminates is the conservative
- // choice
- return true
- }
-
- for _, block := range fn.Blocks {
- if len(block.Instrs) == 0 {
- continue
- }
- if _, ok := block.Instrs[len(block.Instrs)-1].(*ssa.Return); ok {
- return true
- }
- }
- return false
-}