StaticAnalyzer/Checkers/MallocChecker.cpp

46 class RefState {
65   RefState(Kind k, const Stmt *s, unsigned family)
79   bool operator==(const RefState &X) const {
83   static RefState getAllocated(unsigned family, const Stmt *s) {
84     return RefState(Allocated, s, family);
86   static RefState getReleased(unsigned family, const Stmt *s) {
87     return RefState(Released, s, family);
89   static RefState getRelinquished(unsigned family, const Stmt *s) {
90     return RefState(Relinquished, s, family);
92   static RefState getEscaped(const RefState *RS) {
93     return RefState(Escaped, RS->getStmt(), RS->getAllocationFamily());
254   /// Update the RefState to reflect the new memory allocation.
301                                   bool(*CheckRefState)(const RefState*)) const;
315                                const Expr *DeallocExpr, const RefState *RS,
365     inline bool isAllocated(const RefState *S, const RefState *SPrev,
372     inline bool isReleased(const RefState *S, const RefState *SPrev,
379     inline bool isRelinquished(const RefState *S, const RefState *SPrev,
388     inline bool isReallocFailedCheck(const RefState *S, const RefState *SPrev,
444 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
802   return State->set<RegionState>(Sym, RefState::getAllocated(Family, E));
1024   const RefState *RsBase = State->get<RegionState>(SymBase);
1084                                    RefState::getRelinquished(Family,
1088                                  RefState::getReleased(Family, ParentExpr));
1120   const RefState *RS = C.getState()->get<RegionState>(Sym);
1262                                             const RefState *RS,
1583   const RefState *RS = C.getState()->get<RegionState>(Sym);
1799   const RefState *RS = C.getState()->get<RegionState>(Sym);
1848     if (const RefState *RS = state->get<RegionState>(ReallocSym)) {
1852               RefState::getAllocated(RS->getAllocationFamily(), RS->getStmt()));
2015 static bool retTrue(const RefState *RS) {
2019 static bool checkIfNewOrNewArrayFamily(const RefState *RS) {
2043                                   bool(*CheckRefState)(const RefState*)) const {
2062     if (const RefState *RS = State->get<RegionState>(sym)) {
2065         State = State->set<RegionState>(sym, RefState::getEscaped(RS));
2095   const RefState *RS = state->get<RegionState>(Sym);
2096   const RefState *RSPrev = statePrev->get<RegionState>(Sym);