From ee081c4051cde4bd44475b5e29d695008c15a9cc Mon Sep 17 00:00:00 2001
From: Anna Zaks <ganna@apple.com>
Date: Thu, 17 Nov 2011 22:59:00 +0000
Subject: [PATCH] [analyzer] Minor tweaks to the ProgramState::isTainted().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144928 91177308-0d34-0410-b5e6-96231b3b80d8
---
lib/StaticAnalyzer/Core/ProgramState.cpp | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/lib/StaticAnalyzer/Core/ProgramState.cpp b/lib/StaticAnalyzer/Core/ProgramState.cpp
index 3ce3db7313b..07f76c585f8 100644
--- a/lib/StaticAnalyzer/Core/ProgramState.cpp
+++ b/lib/StaticAnalyzer/Core/ProgramState.cpp
@@ -644,15 +644,13 @@ bool ProgramState::isTainted(const Stmt *S, TaintTagType Kind) const {
}
bool ProgramState::isTainted(SVal V, TaintTagType Kind) const {
- const SymExpr* Sym = V.getAsSymbol();
- if (!Sym)
- Sym = V.getAsSymbolicExpression();
- if (!Sym)
- return false;
- return isTainted(Sym, Kind);
+ return isTainted(V.getAsSymExpr(), Kind);
}
bool ProgramState::isTainted(const SymExpr* Sym, TaintTagType Kind) const {
+ if (!Sym)
+ return false;
+
// Check taint on derived symbols.
if (const SymbolDerived *SD = dyn_cast<SymbolDerived>(Sym))
return isTainted(SD->getParentSymbol(), Kind);
--
GitLab