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