[LLVMdev] Helping the optimizer along (__assume)

[Cédric Venet]

> Technically, yes, but we can reword future standards to have the  
> latitude to give compilation errors for conditions that can be proved  
> to be false, then the implementation is conforming.  We could always  
> have a flag to control the behavior if people want/need it, though, I  
> can't hardly see why they'd want it to compile if they assert  
> something that is false.

you never seen assert(0 && "Not yet implemented"); ?
You may want to compile a program like this :)

regards,

Cédric