This is probably what was intended. If the pointer 'path' is NULL, or if it is not NULL, then the first char should not be '\0'