C and C++ Binaries


CONCURRENCY.DEADLOCK : Deadlock

Summary

A call to WaitForSingleObject(), which is highly prone to deadlocks.

For more general deadlock checking, enable classes Conflicting Lock Order, Locked Twice, Nested Locks and Task Delay Function.

Properties

Class Name Deadlock
Significance reliability
Mnemonic CONCURRENCY.DEADLOCK
Categories
MisraC2023 MisraC2023:D.5.2 There shall be no deadlocks between threads
Misra2012 Misra2012:D.5.2 There shall be no deadlocks between threads
CWE CWE:833 Deadlock
Availability Available for C and C++.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += discard class="Deadlock"

Example

#include <windows.h>

DWORD f()
{
    return WaitForSingleObject(GetCurrentProcess(), INFINITE); /* 'Deadlock' warning issued here */
}

Triggered When

The function is waiting for its own process or thread.

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.