Question

If this is not a real question then feel free to close 😉

Answer 1

The compiler can change the execution order of statements when it sees fit for optimization purposes, and when such changes wouldn’t alter the observable behavior of the code.

A very simple example –

int func (int value)
{
    int result = value*2;
    if (value > 10)
    {
       return result;
    }
    else
    {
       return 0;
    }
}

A naive compiler can generate code for this in exactly the sequence shown. First calculate “result” and return it only if the original value is larger than 10 (if it isn’t, “result” would be ignored – calculated needlessly).

A sane compiler, though, would see that the calculation of “result” is only needed when “value” is larger than 10, so may easily move the calculation “value*2” inside the first braces and only do it if “value” is actually larger than 10 (needless to mention, the compiler doesn’t really look at the C code when optimizing – it works in lower levels).

This is only a simple example. Much more complicated examples can be created. It is very possible that a C function would end up looking almost nothing like its C representation in compiled form, with aggressive enough optimizations.