Skip to content
Snippets Groups Projects
Commit 0e4513b0 authored by Anna Zaks's avatar Anna Zaks
Browse files

[analyzer] Address a TODO in the StreamChecker; otherwise the output is non-deterministic.

llvm-svn: 177207
parent bda130f0
No related branches found
No related tags found
No related merge requests found
......@@ -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();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment