Re: C and side-effects

• Previous message: Manfred Spraul: "Re: pre7-6 oops in sys_mount"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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/

• Next message: James Sutherland: "Re: [OT] an Amicus Curae to the Honorable Thomas Penfield Jackson"
• Previous message: Manfred Spraul: "Re: pre7-6 oops in sys_mount"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sat May 06 2000 - 14:47:27 EDT