Page History

...

int number = 17;

final int authnum = get();
number = ((31 * (number + 1)) * authnum) + (authnum > threshold[0]? 0 : -2);

Exceptions

EXP08-EX1EX0: The postfix increment and postfix decrement operators (++ and --) assign a new value to a variable and then subsequently read it. These are well-understood and are an exception to the rule against reading memory that was written in the same expression.

EXP08-EX2EX1: The logical operators || and && have well-understood short-circuit semantics, so expressions involving these operators may violate this rule. Consider the following code:

...

...