From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2005-09-21 13:27:01
Dave Harris <brangdon <at> cix.compulink.co.uk> writes:
> In-Reply-To: <loom.20050921T155516-756 <at> post.gmane.org>
> nesotto <at> cs.aau.dk (Thorsten Ottosen) wrote (abridged):
> > (The effect of removing an assertion must not be any in a correct
> > program).
> Having assert expand to __assume would not be the same as removing it.
In the sense that an assertion should never fail, so should all the
assumptions hereby implied also always hold.
Of course, if you sprinkle assertions all around your code just to see
if certain code-path executed, it's a different matter.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk