From: Felipe Magno de Almeida (felipe.m.almeida_at_[hidden])
Date: 2005-10-03 16:33:34
On 10/3/05, Rob Stewart <stewart_at_[hidden]> wrote:
> Hmmm. I guess you're right. Still, it only means that the code
> following __assume(false) can be elided, not any preceeding code,
I think it wouldnt be impossible to elide the preceeding either, since
that cant be executed if the __assume(false) is right after, since
__assume(false) can never be reached. IMO we shouldnt rely that
neither preceding nor the code that follows __assume(false) couldnt be
elided. Independent of how MSVC implements it right now.
-- Felipe Magno de Almeida Developer from synergy and Computer Science student from State University of Campinas(UNICAMP). Unicamp: http://www.ic.unicamp.br Synergy: http://www.synergy.com.br "There is no dark side of the moon really. Matter of fact it's all dark."
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk