(* no counter part in cocci *)
| CaseRange of statement * (expression * expression) wrap
- | Label of statement * string wrap
- | Goto of statement * string wrap
+ | Label of statement * name * unit wrap
+ | Goto of statement * name * unit wrap
| Asm of statement * asmbody wrap
| InLoopNode
| AfterNode
| FallThroughNode
+ | LoopFallThroughNode
| ErrorExit
type edge = Direct