| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 123 SymbolReaper &SymReaper; member in class:__anon3501::MarkLiveCallback
125 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
127 SymReaper.markLive(sym);
131 SymReaper.markLive(R);
146 SymbolReaper &SymReaper,
154 MarkLiveCallback CB(SymReaper);
168 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) {
174 SymReaper.markLive(R->getRegion());
182 SymReaper.maybeDead(*SI);
145 removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef ST) argument
|
| H A D | RegionStore.cpp | 567 SymbolReaper& SymReaper);
2184 SymbolReaper &SymReaper; member in class:__anon3516::removeDeadBindingsWorker
2193 SymReaper(symReaper), CurrentLCtx(LCtx) {}
2209 if (SymReaper.isLive(VR))
2216 if (SymReaper.isLive(SR->getSymbol()))
2248 SymReaper.markLive(SymR->getSymbol());
2286 SymReaper.markLive(*SI);
2297 if (SymReaper.isLive(SR->getSymbol())) {
2309 SymbolReaper& SymReaper) {
2311 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCt
2307 removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
[all...] |
| H A D | ProgramState.cpp | 92 SymbolReaper& SymReaper) {
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
106 SymReaper);
108 SymReaper.setReapedStore(newStore);
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
90 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument
|
| H A D | RangeConstraintManager.cpp | 318 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
368 SymbolReaper& SymReaper) {
375 if (SymReaper.maybeDead(sym))
367 removeDeadBindings(ProgramStateRef state, SymbolReaper& SymReaper) argument
|
| H A D | CheckerManager.cpp | 413 SymbolReaper &SymReaper) {
415 LiveSymbolsCheckers[i](state, SymReaper);
452 SymbolReaper &SymReaper,
456 CheckDeadSymbolsContext C(DeadSymbolsCheckers, SymReaper, S, Eng, K);
412 runCheckersForLiveSymbols(ProgramStateRef state, SymbolReaper &SymReaper) argument
450 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
|
| H A D | ExprEngine.cpp | 354 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
356 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
361 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
366 if (!SymReaper.hasDeadSymbols()) {
377 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper,
390 SymReaper);
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 113 SymbolReaper& SymReaper) = 0;
|
| H A D | Environment.h | 120 SymbolReaper &SymReaper,
|
| H A D | Store.h | 145 SymbolReaper& SymReaper) = 0;
|
| H A D | ProgramState.h | 514 SymbolReaper& SymReaper);
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SimpleStreamChecker.cpp | 80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
185 void SimpleStreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
193 bool IsSymDead = SymReaper.isDead(Sym);
|
| H A D | StreamChecker.cpp | 75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
395 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
398 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
399 E = SymReaper.dead_end(); I != E; ++I) {
|
| H A D | BasicObjCFoundationChecks.cpp | 810 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1115 void ObjCLoopChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
1124 if (SymReaper.isDead(Sym)) {
|
| H A D | MallocChecker.cpp | 190 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
1642 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper, argument
1645 if (!SymReaper.hasDeadSymbols())
1654 if (SymReaper.isDead(I->first)) {
1666 if (SymReaper.isDead(I->first) ||
1667 SymReaper.isDead(I->second.ReallocatedSym)) {
1675 if (SymReaper.isDead(I->first) ||
1676 SymReaper.isDead(I->second)) {
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 323 SymbolReaper &SymReaper);
332 SymbolReaper &SymReaper, const Stmt *S,
|