зеркало из https://github.com/microsoft/clang-1.git
[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
This commit is contained in:
Родитель
74c0d69884
Коммит
0621c45dcd
|
@ -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();
|
||||
|
|
Загрузка…
Ссылка в новой задаче