Re: [boost] overflow_traits

Alexander Nasonov wrote :

Now think of a programmer who believes that they code is safe because it throws on overflow but the code isn't safe because it contains subtle bugs that appear only after the exception is thrown (e. g. broken invariants).

What do you prefer to look for in a code, for missing checks or for invariants?

Good code should be exception-safe anyway.