StaticAnalyzer/Checkers/PthreadLockChecker.cpp

81   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
86   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
89   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
90   void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock,
92   void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
93   void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
109 void PthreadLockChecker::checkPostStmt(const CallExpr *CE,
111   StringRef FName = C.getCalleeName(CE);
115   if (CE->getNumArgs() != 1 && CE->getNumArgs() != 2)
121     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics);
125     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics);
129     AcquireLock(C, CE, C.getSVal(CE->getArg(0)),
134     AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics);
139     ReleaseLock(C, CE, C.getSVal(CE->getArg(0)));
141     DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics);
143     DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);
145     InitLock(C, CE, C.getSVal(CE->getArg(0)));
216 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
229   SVal X = C.getSVal(CE);
245       report->addRange(CE->getArg(0)->getSourceRange());
249       reportUseDestroyedBug(C, CE);
288 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
310       Report->addRange(CE->getArg(0)->getSourceRange());
314       reportUseDestroyedBug(C, CE);
334       report->addRange(CE->getArg(0)->getSourceRange());
346 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,
365       SymbolRef sym = C.getSVal(CE).getAsSymbol();
404   Report->addRange(CE->getArg(0)->getSourceRange());
408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,
444   Report->addRange(CE->getArg(0)->getSourceRange());
449                                                const CallExpr *CE) const {
458   Report->addRange(CE->getArg(0)->getSourceRange());