[LLVMdev] Helping the optimizer along (__assume)

Cédric Venet cedric.venet at laposte.net
Thu Oct 23 09:02:47 PDT 2008

> 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 :)



More information about the llvm-dev mailing list