Consider the following ANSI C program.#include <stdio.h> int main() { int i, j, count; count = 0; i = 0; for (j = -3; j <= 3; j++) { if ((j >= 0) && (i++)) count = count + j; } count = count + i; printf("%d", count); return 0; }Which one of the following options is correct?

We trace the execution step-by-step:

1. Initialization:

   • count = 0

   • i = 0

2. Loop Iterations (j from $-3$ to $3$):

   • j = -3, -2, -1: The condition (j >= 0) evaluates to false ($0$). Due to short-circuit evaluation of the logical AND operator (&&), the second operand (i++) is not evaluated. i remains $0$ and count remains $0$.

   • j = 0: The condition (j >= 0) is true ($1$). Therefore, (i++) is evaluated. Post-increment returns the current value of i ($0$, which is false), and then increments i to $1$. Since the condition is false, the body does not execute. Now, i = 1, count = 0.

   • j = 1:(j >= 0) is true. (i++) evaluates to $1$ (true), and then i becomes $2$. The if condition succeeds: count = count + j = 0 + 1 = 1. Now, i = 2, count = 1.

   • j = 2:(j >= 0) is true. (i++) evaluates to $2$ (true), and then i becomes $3$. The if condition succeeds: count = count + j = 1 + 2 = 3. Now, i = 3, count = 3.

   • j = 3:(j >= 0) is true. (i++) evaluates to $3$ (true), and then i becomes $4$. The if condition succeeds: count = count + j = 3 + 3 = 6. Now, i = 4, count = 6.

3. After the Loop:

   • count = count + i = 6 + 4 = 10.

4. Output:

   • The program prints 10.

Hence, the correct option is (B).