POJ1056 Runtime Error

做POJ1056时出现Runtime Error的情况，最终发现是为处理输入终止的情况，一直以为是数组越界。
判断输入是否终止使用EOF

        for(i=0;;i++){
            if(scanf("%s",a[i])!=EOF){
                if(strcmp(a[i],"9")==0)
                    break;
            }else{
                return 0;
            }
        }

完整代码

#include 
#include 
#include 
int main()
{
    int i,j,len,lenc,lenb,l,tag,n;
    char a[12][12],b[12],c[12];
    n = 1;
    while(1){
        memset(a,0,sizeof(char)*144);
        for(i=0;;i++){
            if(scanf("%s",a[i])!=EOF){
                if(strcmp(a[i],"9")==0)
                    break;
            }else{
                return 0;
            }
        }
        len = i;
        tag = 0;
        for(i=0;ifor(j=i+1;jif(strcmp(a[i],a[j])==0)
                    continue;
                memset(b,0,sizeof(char)*12);
                memset(c,0,sizeof(char)*12);
                if(strlen(a[i])>strlen(a[j])){
                    strcpy(b,a[i]);
                    strcpy(c,a[j]);
                }else{
                    strcpy(c,a[i]);
                    strcpy(b,a[j]);
                }
                lenc = strlen(c);
                if(strncasecmp(b,c,lenc)==0){
                    tag = 1;
                    break;
                }
            }
            if(tag==1)
                break;
        }
        if(tag==1)
            printf("Set %d is not immediately decodable\n",n++);
        else
            printf("Set %d is immediately decodable\n",n++);
    }
    return 0;
}