Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getArg

95     AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
150 report->addRange(CE->getArg(0)->getSourceRange());
212 Report->addRange(CE->getArg(0)->getSourceRange());
236 report->addRange(CE->getArg(0)->getSourceRange());
279 Report->addRange(CE->getArg(0)->getSourceRange());
314 Report->addRange(CE->getArg(0)->getSourceRange());
328 Report->addRange(CE->getArg(0)->getSourceRange());