return in loop for ?

Fredrik Lundh fredrik at
Thu Nov 24 11:40:37 CET 2005

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...


More information about the Python-list mailing list