Unreachable code detected
Submitted by Nicolas
Link to original bug (#596591)
Description
The Genie parser just always appends a break statement even if you have, for example, a return statement right at the end of the block. So, from the control flow analyzer, that inserted break statement may be unreachable.
This will need an exception in the flow analyzer for generated statements or something like that.
Nicolas.