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."