diff options
| author | Anna Zaks <ganna@apple.com> | 2012-10-29 22:51:44 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-10-29 22:51:44 +0000 |
| commit | 5ac1df3e15f91ed663826faec7efe2462c18d98c (patch) | |
| tree | 763d3687ea05d2fa94f4034c4ecad9168e80f7e1 /lib/StaticAnalyzer/Checkers/StreamChecker.cpp | |
| parent | 8e68ef0e4c3892b80d9fec77b5d477cd54e90db9 (diff) | |
[analyzer] Add checker helpers to CheckerContext.
- Adding Immutable Map to GDM and getIdentifierInfo helper method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@166975 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/StreamChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/StreamChecker.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 510556dc9a..ab1e2a71f9 100644 --- a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp @@ -406,11 +406,13 @@ ProgramStateRef StreamChecker::CheckDoubleClose(const CallExpr *CE, void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const { + // TODO: Clean up the state. for (SymbolReaper::dead_iterator I = SymReaper.dead_begin(), E = SymReaper.dead_end(); I != E; ++I) { SymbolRef Sym = *I; ProgramStateRef state = C.getState(); const StreamState *SS = state->get<StreamState>(Sym); + // TODO: Shouldn't we have a continue here? if (!SS) return; |