pfaffben@msu.edu (Ben Pfaff) writes:
> > proof is in K&R, [...]
>
> K&R does not define the C language.
But the ISO standard does (5.1.2.3(2)):
| [...] At certain specified points in the execution sequence called
| sequence points, all side effects of previous evaluations shall be
| complete and no side effects of subsequent evaluations shall have
| taken place. [...]
And (6.5.13(4)):
| Unlike the bitwise binary & operator, the && operator guarantees
| left-to-right evaluation; there is a sequence point after the
| evaluation of the first operand. [...]
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sun May 07 2000 - 21:00:19 EST