Home | History | Annotate | Download | only in Analysis

Lines Matching refs:POK_FunctionCall

1989           warnIfMutexNotHeld(D, Exp, AK_Written, *I, POK_FunctionCall);
1998           warnIfMutexNotHeld(D, Exp, AK_Read, *I, POK_FunctionCall);