
21 Sep
2005
21 Sep
'05
3:35 p.m.
On 9/21/05, Thorsten Ottosen <nesotto@cs.aau.dk> wrote:
I don't get it. If you put BOOST_ASSERT( false ) anywhere, then you effectively say "never exceute this code". Otherwise there is an error in the assertion itself.
So I don't see how it can break anything.
(The effect of removing an assertion must not be any in a correct program).
This is a very academic argument, in real life code that should never happen does and breaking code which tried to be robust to that is a bad idea. Personally, though, I'd probably want a #define to use old behavior until I could validate __assume won't break it.