[icWasya]

thread state undefined - означает, что может быть всё, что угодно
система не гарантирует ничего.
Вообще говоря, после разрушения критической секции система может назначить её дескриптор какому-нибудь другому объекту, и что при этом произойдёт?