From 04b57c25bcd908a1fd32ad85e80e2df3564fb6f8 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Wed, 14 Dec 2011 00:56:15 +0000 Subject: [analyzer] Minor refactor to addTaint. llvm-svn: 146535 --- clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp') diff --git a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp index af038c6f0f5..9ea8abd9521 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -658,13 +658,19 @@ const ProgramState* ProgramState::addTaint(const Stmt *S, return addTaint(Sym, Kind); const MemRegion *R = getSVal(S).getAsRegion(); - if (const SymbolicRegion *SR = dyn_cast_or_null(R)) - return addTaint(SR->getSymbol(), Kind); + addTaint(R, Kind); // Cannot add taint, so just return the state. return this; } +const ProgramState* ProgramState::addTaint(const MemRegion *R, + TaintTagType Kind) const { + if (const SymbolicRegion *SR = dyn_cast_or_null(R)) + return addTaint(SR->getSymbol(), Kind); + return this; +} + const ProgramState* ProgramState::addTaint(SymbolRef Sym, TaintTagType Kind) const { const ProgramState *NewState = set(Sym, Kind); -- cgit v1.2.3