commit | 0621c45dcd4c5f43df0de5a2febae525d3287b74 | [log] [tgz] |
---|---|---|
author | Anna Zaks <ganna@apple.com> | Fri Mar 15 23:34:31 2013 +0000 |
committer | Anna Zaks <ganna@apple.com> | Fri Mar 15 23:34:31 2013 +0000 |
tree | 69edc312b71ccb3fbc0561a7be908a6989fa33cf | |
parent | 74c0d6988462c2cb882e7a8b8050fe119a5af56f [diff] |
[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-deterministic. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177207 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 1c38ab0..ffdf2d5 100644 --- a/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
@@ -400,9 +400,8 @@ 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();