[C] Dubbio su ciclo while e print

[Mutato]

Si prenda questo semplice listato:

#include<stdio.sh>
int main()
{
      int a;
      while(a)
            {
                  printf("%d\n",a++);
            }
}

Per quale motivo a e' prima stampata e poi incremetata?

Ottengo lo stesso risulato per

int a;
int b;
[...]
              b=a++;
              printf("%d\n",b);

ma non per

int a;
[...]
             a++;
             printf("%d\n",a);

Grazie.