They can help in prosecuting offenders, and in that way be part of a deterrent that improves security.
If security is measured in a way such as (average leak size/mean time between leaks)
It falls so far outside of day to day programming, that it feels somewhat alien.
I however miss the argument a bit, as i can imagine a mechanical transform that can turn the premature exit version into one without. (using if statements to remove all operations until the end of the loop)