diff options
| author | Anna Zaks <ganna@apple.com> | 2013-03-15 23:34:31 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-03-15 23:34:31 +0000 |
| commit | 0e4513b030bdd53af547c20f8122cff9658e8686 (patch) | |
| tree | cef8a68149736f91fe6dfc5c777b6380eab773b5 /clang/lib | |
| parent | bda130f02af174495debe9a26101c9fe1a4a090b (diff) | |
| download | bcm5719-llvm-0e4513b030bdd53af547c20f8122cff9658e8686.tar.gz bcm5719-llvm-0e4513b030bdd53af547c20f8122cff9658e8686.zip | |
[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-deterministic.
llvm-svn: 177207
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 1c38ab0b184..ffdf2d54b4c 100644 --- a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp @@ -400,9 +400,8 @@ void StreamChecker::checkDeadSymbols(SymbolReaper &SymReaper, SymbolRef Sym = *I; ProgramStateRef state = C.getState(); const StreamState *SS = state->get<StreamMap>(Sym); - // TODO: Shouldn't we have a continue here? if (!SS) - return; + continue; if (SS->isOpened()) { ExplodedNode *N = C.generateSink(); |
