>>606
C99 の規格書から

6.5.13 Logical AND operator
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.
If the first operand compares equal to 0, the second operand is not evaluated.

ANSI から C99 の規格書 (PDF 版) 買っておけば？　目次がしっかりしてるし、
文字列検索もできるから、手元に置いておくと便利だよ。