/*@observer@*/ static const char *fileiter;
size_t i = 0, j;
FILE* ret;
- while(*guessdir != '\0' && i<BUFSIZ-2) buf2[i++] = *guessdir++;
+ while(guessdir && *guessdir != '\0' && i<BUFSIZ-2) buf2[i++] = *guessdir++;
buf2[i++] = '/';
fileiter = file;
while(*fileiter != '\0' && i<BUFSIZ-1) buf2[i++] = *fileiter++;
/*@observer@*/ static const char *fileiter;
size_t i = 0, j;
FILE* ret;
- while(*guessdir != '\0' && i<BUFSIZ-2) buf2[i++] = *guessdir++;
+ while(guessdir && *guessdir != '\0' && i<BUFSIZ-2) buf2[i++] = *guessdir++;
buf2[i++] = '/';
fileiter = file;
while(*fileiter != '\0' && i<BUFSIZ-1) buf2[i++] = *fileiter++;