Displaying 3 results from an estimated 3 matches for "adjonct".
Did you mean:
adjunct
2008 Oct 23
1
[LLVMdev] Helping the optimizer along (__assume)
...e assert is reached since
it is not reached in all code path, after all how can the compiler know
that the good code path is when argc>=2 and not the contrary ?
Clearly this functionnality is interesting, but there is lot of work to
do on the semantic to make it useful, and potentially need the
adjonction of additionnal user information like: error_code_path or
always_reached.
Regards,
Cédric
2008 Oct 23
0
[LLVMdev] Helping the optimizer along (__assume)
Cédric Venet wrote:
>> 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
2008 Oct 23
3
[LLVMdev] Helping the optimizer along (__assume)
> 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