The basic blocks from just after the unconditional goto up to the "fail:" label are all unreachable, so a dead code warning could be issued. > However later co

The basic blocks from just after the unconditional goto up to the "fail:" label are all unreachable, so a dead code warning could be issued. > However later code is used as a jump target for goto so it's quite hard for the compiler to infer this Nope, because a jump target always starts a new basic block.