I can't confirm that.

The following change to the loop of the first example always prints '0' for me. That implies that i doesn't increment.
Code:
for (i = 0;  ; i++)
{
    printf("%i", i);
    if (i > 10)
        break;
}