calling this function on an uninitialized key value is UB, so there is no need to check that the table pointer was initialized.
@@ -2,6 +2,6 @@
int pthread_key_delete(pthread_key_t k)
{
- if (libc.tsd_keys) libc.tsd_keys[k] = 0;
+ libc.tsd_keys[k] = 0;
return 0;
}