Re: [boost] BOOST_ASSERT and __assume on MSVC

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,
> right?

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.

best regards,
--
   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."