[LLVMdev] Helping the optimizer along (__assume)
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