0fa60c68fb
* Drop the iso_checksum_type & iso_checksum_url fields
In favor of simply using iso_checksum that will know what to do.
* fix after master merge
* Update builder_test.go
* Update builder_test.go
* Update builder_test.go
* Update builder_test.go
* Update builder_test.go
* remove checksum lowercasing tests
* Update builder_test.go
* Update builder_test.go
* better docs
* Update builder_test.go
* even better docs
* Update config.go
* Update builder_test.go
* Update step_create_vmx_test.go
* make generate
* better docs
* fix imports
* up tests
* Update _ISOConfig-required.html.md
* Update builder_test.go
* don't use sha1.Sum("none") as a caching path
* Update builder_test.go
* better docs
* Update iso_config_test.go
remove ISOChecksumType/ISOChecksumURL references
* Update step_download_test.go
* add iso_checksum_url and iso_checksum_type fixers + tests
* add concrete examples of checksum values
* add examples of checksumming from local file
* update go-getter dep
* up deps
* use new go-getter version
* up ESX5Driver.VerifyChecksum: use go-getter's checksumming
* ISOConfig.Prepare: get checksum there in case we need it as a string in ESX5Driver.VerifyChecksum
* Update iso_config.go
* get go-getter from v2 branch
* Update driver_esx5.go
add more comments
* Update driver_esx5.go
* show better error message when the checksum is invalid
* Update builder_test.go
put in a valid checksum to fix tests, checksum is md5("packer")
* Update builder_test.go
test invalid and valid checksum
* more test updating
* fix default md5 string to be a valid md5
* TestChecksumFileNameMixedCaseBug: use 'file:' prefix for file checksumming
* Update iso_config_test.go
* Update iso_config_test.go
* Update builder_test.go
* Update builder_test.go
* Update builder_test.go
* Update CHANGELOG.md
* Update CHANGELOG.md
* Update go.mod
* Update go.mod
* Update CHANGELOG.md
71 lines
1.5 KiB
Go
71 lines
1.5 KiB
Go
package functions
|
||
|
||
import (
|
||
"go/types"
|
||
|
||
"honnef.co/go/tools/ir"
|
||
)
|
||
|
||
// 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 *ir.Function) bool {
|
||
if fn.Blocks == nil {
|
||
// assuming that a function terminates is the conservative
|
||
// choice
|
||
return true
|
||
}
|
||
|
||
for _, block := range fn.Blocks {
|
||
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
|
||
}
|
||
}
|
||
}
|
||
}
|
||
return false
|
||
}
|