This seems like an abuse of `Lsafe`.  As this condition is not inside the safe-checking code, anybody modifying this function (eg inserting code above line 9866) will need to be aware of this additional flow control.  I think this is a good example of how goto can sometimes be harmful.