Re: [18/18] hash table: enforce testing is_empty before is_deleted

2023-01-12 Thread Richard Biener via Gcc-patches
On Thu, Jan 12, 2023 at 10:32 PM Alexandre Oliva via Gcc-patches wrote: > > > Existing hash_table traits that use the same representation for empty > and deleted slots reject marking slots as deleted, and to not pass > is_deleted for slots that pass is_empty. > > Nevertheless, nearly everywhere, w

[18/18] hash table: enforce testing is_empty before is_deleted

2023-01-12 Thread Alexandre Oliva via Gcc-patches
Existing hash_table traits that use the same representation for empty and deleted slots reject marking slots as deleted, and to not pass is_deleted for slots that pass is_empty. Nevertheless, nearly everywhere, we only test for is_deleted after checking that !is_empty first. The one exception w