On 10/3/05, Rob Stewart <stewart@sig.com> 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."