こんな感じ

char c;
while((c = getchar()) == EOF) {
  my_count(c);
}
my_print();

これなら少なくとも cがintでないと無限ループになるよ