Merge pull request #46 from gostaticanalysis/fix-Returns-preds

tenntenn · web-flow · commit 46ce2733e96f · 2021-03-18T17:14:47.000+09:00
Fix bug
diff --git a/ssa.go b/ssa.go
@@ -59,7 +59,7 @@ func returnsInBlock(b *ssa.BasicBlock, done map[*ssa.BasicBlock]bool) (rets []*s
 	}
 	done[b] = true
 
-	if len(b.Preds) == 0 {
+	if b.Index != 0 && len(b.Preds) == 0 {
 		return nil
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ func returnsInBlock(b ssa.BasicBlock, done map[ssa.BasicBlock]bool) (rets []*s`
`59`	`59`	`}`
`60`	`60`	`done[b] = true`
`61`	`61`
`62`		`- if len(b.Preds) == 0 {`
	`62`	`+ if b.Index != 0 && len(b.Preds) == 0 {`
`63`	`63`	`return nil`
`64`	`64`	`}`
`65`	`65`