| -- src.go -- | |
| package main | |
| var x bool | |
| func main() { | |
| l: | |
| print() | |
| if x { | |
| goto l | |
| } | |
| } | |
| -- want -- | |
| B0: ExKindSubExpr, CFG block .1 | |
| print() | |
| succs: B1 | |
| B1: ExKindStmt, CFG block .1 | |
| B0 | |
| succs: B2 | |
| B2: ExKindIf, CFG block .1 | |
| x | |
| succs: B0 B3 | |
| B3: ExKindStmt, CFG block .3 | |
| return |