Rule Definition
Calling this type of function with parameters corresponding to infinite timeout can lead to program blocking and/or deadlock. Even if the logical behavior would be to wait infinitely until some event occurs, it can be good practice to add a timeout to detect a bad situation (such as a probable deadlock).

Remediation
Correct this violation by adding logic that deals with a situation when the mutex is never released.

Violation Code Sample

void f(HANDLE mutex)
{
    WaitForSingleObject(mutex, INFINITE);
    mySharedData = 10;
    ReleaseMutex(mutex);
}

Fixed Code Sample

void f(HANDLE mutex)
{
    int const TIMEOUT = 10000; // Value depends on your application
    DWORD result = WaitForSingleObject(mutex, TIMEOUT);
    if (result == WAIT_TIMEOUT)
    {
        throw std::runtime_error("Cannot access mySharedData. Deadlock?");
    }
    mySharedData = 10;
    ReleaseMutex(mutex);
}