Home | History | Annotate | Download | only in Analysis

Lines Matching refs:POK_FunctionCall

1951           warnIfMutexNotHeld(D, Exp, AK_Written, *I, POK_FunctionCall);
1960           warnIfMutexNotHeld(D, Exp, AK_Read, *I, POK_FunctionCall);