ep = &empfile[type];
if (CANT_HAPPEN(!(ep->flags & EFF_MEM) || !ep->cache))
return NULL;
- if (id < 0 || id >= ep->fids)
- return NULL; /* FIXME can this happen? */
+ if (id < 0 || id >= ep->fids) {
+ CANT_HAPPEN(id != ep->fids);
+ return NULL;
+ }
return ep->cache + ep->size * id;
}
ep = &empfile[type];
if (CANT_HAPPEN(!ep->cache))
return 0;
- if (id < 0)
- return 0; /* FIXME can this happen? */
- if (id >= ep->fids)
+ if (id < 0 || id >= ep->fids) {
+ CANT_HAPPEN(id != ep->fids);
return 0;
+ }
if (ep->flags & EFF_MEM) {
from = ep->cache + id * ep->size;
{
if (ef_check(type) < 0)
return 0;
+ CANT_HAPPEN(id < 0);
while (id >= empfile[type].fids) {
if (!ef_extend(type, count))