int findpos(char s[], int lim)
{
 int i;

 for (i = 0; s[i] != '\0' && i < lim; i++)
 {
  ;
 }
 if (i == lim)
 {
  while (i >= 0 && (s[i] == ' ' || s[i] == '\t'))/*①*/
  {
   i--;
  }
 }

 return i;
}

①の条件が常に偽になるのはなぜなのでしょう？