Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

Lines Matching refs:CE
64   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
66   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
69   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
70   void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
71   void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
72   void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
81 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,
85   StringRef FName = C.getCalleeName(CE);
89   if (CE->getNumArgs() != 1 && CE->getNumArgs() != 2)
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));
124 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
134   SVal X = state->getSVal(CE, C.getLocationContext());
151       report->addRange(CE->getArg(0)->getSourceRange());
155       reportUseDestroyedBug(C, CE);
194 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
214       Report->addRange(CE->getArg(0)->getSourceRange());
218       reportUseDestroyedBug(C, CE);
240       report->addRange(CE->getArg(0)->getSourceRange());
252 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,
283   Report->addRange(CE->getArg(0)->getSourceRange());
287 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,
318   Report->addRange(CE->getArg(0)->getSourceRange());
323                                                const CallExpr *CE) const {
333   Report->addRange(CE->getArg(0)->getSourceRange());