Holds if evaluating expression e will never return, or can be assumed
to never return. For example:
__assume(0);
(note that in this case if the hint is wrong and the expression is reached at runtime, the program’s behavior is undefined)
Holds if evaluating expression e will never return, or can be assumed
to never return. For example:
__assume(0);
(note that in this case if the hint is wrong and the expression is reached at runtime, the program’s behavior is undefined)