search for: __postcondition

Displaying 1 result from an estimated 1 matches for "__postcondition".

Did you mean: y_postcondition
2008 Oct 23
1
[LLVMdev] Helping the optimizer along (__assume)
Kenneth Boyd a écrit : > Cédric Venet wrote: >> you never seen assert(0 && "Not yet implemented"); ? >> You may want to compile a program like this :) >> > As I see it, under the proposed extension a compile-time false constant > would error "if the code commits to executing it". > > Heuristically, something like > > void