[WalterBright]

Check the asm code generated by your compiler - it may optimize multiple returns into one.

[vardump]

Not performance or code size I'm concerned, it's mainly about correctness. Stuff like input validation and releasing a spinlock in kernel code.