> for文だと必ず1回は実行されますよね？

いいえ。

int i;
for(i = 0; i >= 0; i++)
  printf("実行されませんよ %d\n", i);