(ef_ptr): Null cache can't happen.

This commit is contained in:
Markus Armbruster 2005-10-31 21:26:16 +00:00
parent 4cbb45d0e0
commit ae9e7dad43

View file

@ -210,7 +210,7 @@ ef_ptr(int type, int id)
if (ef_check(type) < 0)
return NULL;
ep = &empfile[type];
if (CANT_HAPPEN(!(ep->flags & EFF_MEM)))
if (CANT_HAPPEN(!(ep->flags & EFF_MEM) || !ep->cache))
return NULL;
if (id < 0 || id >= ep->fids)
return NULL; /* FIXME can this happen? */