| /external/clang/lib/StaticAnalyzer/Core/ |
| SymbolManager.cpp | 250 void SymbolReaper::markLive(SymbolRef sym) {
255 void SymbolReaper::markInUse(SymbolRef sym) {
260 bool SymbolReaper::maybeDead(SymbolRef sym) {
268 static bool IsLiveRegion(SymbolReaper &Reaper, const MemRegion *MR) {
293 bool SymbolReaper::isLive(SymbolRef sym) {
329 bool SymbolReaper::isLive(const Stmt* ExprVal) const {
334 bool SymbolReaper::isLive(const VarRegion *VR) const {
|
| Environment.cpp | 125 SymbolReaper &SymReaper;
127 MarkLiveCallback(SymbolReaper &symreaper) : SymReaper(symreaper) {}
155 // - Mark their reachable symbols live in SymbolReaper,
160 SymbolReaper &SymReaper,
|
| CheckerManager.cpp | 297 SymbolReaper &SymReaper) {
306 SymbolReaper &SR;
313 CheckDeadSymbolsContext(const CheckersTy &checkers, SymbolReaper &sr,
329 SymbolReaper &SymReaper,
|
| BasicConstraintManager.cpp | 93 const GRState* removeDeadBindings(const GRState* state, SymbolReaper& SymReaper);
280 SymbolReaper& SymReaper) {
|
| FlatStore.cpp | 49 SymbolReaper& SymReaper,
|
| BasicStore.cpp | 79 SymbolReaper& SymReaper,
285 SymbolReaper& SymReaper,
|
| RangeConstraintManager.cpp | 245 const GRState* removeDeadBindings(const GRState* St, SymbolReaper& SymReaper);
271 SymbolReaper& SymReaper) {
|
| RegionStore.cpp | 374 SymbolReaper& SymReaper,
[all...] |
| GRState.cpp | 66 SymbolReaper& SymReaper) {
|
| CFRefCount.cpp | [all...] |
| ExprEngine.cpp | 250 SymbolReaper SymReaper(LC, currentStmt, SymMgr);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 52 SymbolReaper& SymReaper) = 0;
|
| Environment.h | 99 SymbolReaper &SymReaper, const GRState *ST,
|
| TransferFuncs.h | 73 SymbolReaper& SymReaper) {}
|
| SymbolManager.h | 413 class SymbolReaper {
424 SymbolReaper(const LocationContext *ctx, const Stmt *s, SymbolManager& symmgr)
427 ~SymbolReaper() {}
|
| Store.h | 149 SymbolReaper& SymReaper,
|
| GRState.h | 521 SymbolReaper& SymReaper);
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 43 class SymbolReaper;
228 SymbolReaper &SymReaper);
233 SymbolReaper &SymReaper, const Stmt *S,
300 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
303 typedef CheckerFn<void (const GRState *,SymbolReaper &)> CheckLiveSymbolsFunc;
|
| Checker.h | 231 SymbolReaper &SR) {
246 SymbolReaper &SR, CheckerContext &C) {
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| StreamChecker.cpp | 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
397 void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper,
399 for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(),
|
| CStringChecker.cpp | 43 void checkLiveSymbols(const GRState *state, SymbolReaper &SR) const;
44 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
[all...] |
| MallocChecker.cpp | 80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
571 void MallocChecker::checkDeadSymbols(SymbolReaper &SymReaper,
|
