I know that logical operators do short-circuit checking. That is, if there is a statement like A && B && C, then if A is false,
The Logical and operator will short circuit regardless of what the operands are, if we look at the draft C99 standard section 6.5.13 Logical AND operator paragraph 4 says(emphasis mine):
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.
Note, the second operand will not be evaluated only if the first is false. Also note it guarantees right to left evaluation and a sequence point after the first evaluation.