C26140

advertencia C26140: Clase de bloqueo <lock> no definida en anotación de <annotation> en bloqueo <lock>.

Ejemplo

_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;
}