The expression is not evaluated
.If the converted expression would evaluate to
true
at the point where the assumption appears,
the assumption has no effect
.Otherwise, the behavior is undefined
.[
Note 1:
The use of assumptions is intended to allow implementations
to analyze the form of the expression and
deduce information used to optimize the program
.Implementations are not required to deduce
any information from any particular assumption
. —
end note]
[
Example 1:
int divide_by_32(int x) {
[[assume(x >= 0)]];
return x/32;
}
int f(int y) {
[[assume(++y == 43)]];
return y;
}
—
end example]