Beh, quel ; in teoria è indispesabile.
Praticamente fa in modo che il ciclo gira fino a che non si verifica la condizione getchar() != EOF
così, finito il ciclo può dirti il numero di caretteri scritti in totale.

altrimenti se non ci fosse il ; scriverebbe il numero di caratteri ogni volta che esegue il ciclo.