C26140
Ostrzeżenie C26140: niezdefiniowane blokady w rodzaju <lock> w adnotacji <annotation>. przy zablokowaniu <lock>.
Przykład
_Has_lock_kind_(MUTEXa) HANDLE gMutex;
struct CorrectExample
{
_Has_lock_kind_(_Lock_kind_mutex_) HANDLE mMutex;
_Guarded_by_(mMutex) int mData;
};
_When_(return == WAIT_OBJECT_0 || return == WAIT_ABANDONED, _Acquires_lock_(gMutex))
DWORD UndefinedLockKind() // Warning C26140
{
DWORD result = WaitForSingleObject(gMutex, 1000);
return result;
}