Neil Hodgson wrote: > Yes, the rule has obvious shortcomings, but OTOH if it had enabled > reasonable formal verification... I somehow find it hard to believe that you could write a multi-exit function that cannot be trivially and automatically converted to a single-exit function, for further analysis... </F>