Differences Between while(1) and for(;;) in C: Syntax, Execution, and Assembly Comparison

In response to a reader's question about whether while(1) and for(;;) are truly identical infinite loops, this article provides a detailed comparison.

Syntax of while(1) :

while( expression )
{
    statement
}

The expression is the loop condition, and the statement is the loop body.

Syntax of for(;;) :

for( expression1 ; expression2 ; expression3 )
{
    statement
}

When all three expressions are omitted, the loop becomes an infinite loop.

Execution flow of while(1) involves evaluating the constant condition (always true) and repeatedly executing the body, as illustrated by a diagram.

Execution flow of for(;;) consists of:

Evaluate expression1 (none).

Evaluate expression2 (none, treated as true).

Execute the loop body.

Evaluate expression3 (none).

Repeat from step 2, or exit if expression2 were false.

Both flows are depicted with diagrams in the original article.

Comparison of the two constructs :

Both achieve the same effect of an infinite loop.

while(1) explicitly checks a constant true condition each iteration, while for(;;) relies on empty expressions that the compiler typically optimizes away.

To verify whether there is any difference in generated code, two source files ( while.c and for.c ) are compiled with gcc -S to produce assembly.

// while.c
int main(int argc, char const *argv[])
{
    while(1) {}
    return 0;
}

// for.c
int main(int argc, char const *argv[])
{
    for(;;) {}
    return 0;
}

The resulting assembly for both files is essentially identical, aside from the source file name, confirming that the two constructs compile to the same machine code under typical conditions.

Note that different compilers, optimization levels, or more complex loop bodies may produce variations, but for the simple infinite loop shown, while(1) and for(;;) are functionally equivalent.