diff options
| author | Anna Zaks <ganna@apple.com> | 2012-05-03 02:13:46 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-05-03 02:13:46 +0000 |
| commit | 31595e22b7e0d21b0b7c4c4fb196e97d3edc2a08 (patch) | |
| tree | e6941bf23682e24a10b50129794c1ea71b05ef9b /lib/StaticAnalyzer/Core/SValBuilder.cpp | |
| parent | 92c6c90e9099b7e27073056b154b2d5e7d5449b1 (diff) | |
[analyzer] Revert the functional part of r155944.
The change resulted in multiple issues on the buildbot, so it's not
ready for prime time. Only enable history tracking for tainted
data(which is experimental) for now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156049 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SValBuilder.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/SValBuilder.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp index 4c021a4a26..a61cbe8761 100644 --- a/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -199,6 +199,9 @@ SVal SValBuilder::makeSymExprValNN(ProgramStateRef State, BinaryOperator::Opcode Op, NonLoc LHS, NonLoc RHS, QualType ResultTy) { + if (!State->isTainted(RHS) && !State->isTainted(LHS)) + return UnknownVal(); + const SymExpr *symLHS = LHS.getAsSymExpr(); const SymExpr *symRHS = RHS.getAsSymExpr(); |