diff options
| author | Anna Zaks <ganna@apple.com> | 2011-12-05 21:33:01 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-12-05 21:33:01 +0000 |
| commit | 084842d334fca296279262c2534f6aa31b1dfdbb (patch) | |
| tree | 106b5d8decfb969d4a1ed68d851bf03f707b6b6e /lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | 447375500b03f208ebac7303364106c530e2a9b3 (diff) | |
[analyzer] Simplify the condition.
This is a fixup for r145832.
The extra clauses do not matter after we remove the dependency on canReasonAbout(InitVal) in r145832.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145856 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngineC.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngineC.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 12b658eb2d..fadfdc40d7 100644 --- a/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -357,9 +357,7 @@ void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, // Recover some path-sensitivity if a scalar value evaluated to // UnknownVal. - if ((InitVal.isUnknown()) && - !VD->getType()->isReferenceType() && - !Pred->getState()->isTainted(InitVal)) { + if (InitVal.isUnknown()) { InitVal = svalBuilder.getConjuredSymbolVal(NULL, InitEx, currentBuilderContext->getCurrentBlockCount()); } |