Re: gnumach: bug in dev_pager.c

[Samuel Thibault]

Hello,

Joan Lledó, le sam. 06 août 2022 12:44:38 +0200, a ecrit:
> I'm surprised this is not crashing somehow. I tried to make
> dev_pager_hash_delete() get called with a non-existent entry but I
> don't know how to cause that situation.

I don't think that's currently possible, since it's only called from
device_pager_terminate, in which case we know the entries are there in
the lists.

> It seems to me that the correct condition at lines 238 and 316 should be:
> 
> if (!queue_end(bucket, &entry->links))

That should be it indeed!

Samuel