diff options
| author | Anna Zaks <ganna@apple.com> | 2011-12-17 00:26:29 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-12-17 00:26:29 +0000 |
| commit | 777d706547ebc751d998134774d9d5388fff8e02 (patch) | |
| tree | 16680ccbf53dad15204f9469ff8fefe884528b28 /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | b8786c4dc4d5a4c72f23a2d46cac5f9bc2641926 (diff) | |
[analyzer] Minor: Simplify & assert.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146792 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ProgramState.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Core/ProgramState.cpp b/lib/StaticAnalyzer/Core/ProgramState.cpp index 76c25f2226..d4b31c1f51 100644 --- a/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -692,8 +692,8 @@ bool ProgramState::isTainted(const Stmt *S, TaintTagType Kind) const { bool ProgramState::isTainted(SVal V, TaintTagType Kind) const { if (const SymExpr *Sym = V.getAsSymExpr()) return isTainted(Sym, Kind); - if (loc::MemRegionVal *RegVal = dyn_cast<loc::MemRegionVal>(&V)) - return isTainted(RegVal->getRegion(), Kind); + if (const MemRegion *Reg = V.getAsRegion()) + return isTainted(Reg, Kind); return false; } |