C26140C26140

avertissement C26140 : type de verrou non défini <verrou > dans l’annotation <annotation > verrou <verrou >.warning C26140: Undefined lock kind <lock> in annotation <annotation> on lock <lock>.

ExempleExample


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