From e48ee503249329e1c7e0ed68c3d47e161eed04ec Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Fri, 16 Dec 2011 18:28:50 +0000 Subject: [analyzer] Better stdin support. llvm-svn: 146748 --- clang/lib/StaticAnalyzer/Core/ProgramState.cpp | 6 ++++++ 1 file changed, 6 insertions(+) (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 9ea8abd9521..76c25f2226f 100644 --- a/clang/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/clang/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -653,6 +653,9 @@ bool ProgramState::scanReachableSymbols(const MemRegion * const *I, const ProgramState* ProgramState::addTaint(const Stmt *S, TaintTagType Kind) const { + if (const Expr *E = dyn_cast_or_null(S)) + S = E->IgnoreParens(); + SymbolRef Sym = getSVal(S).getAsSymbol(); if (Sym) return addTaint(Sym, Kind); @@ -679,6 +682,9 @@ const ProgramState* ProgramState::addTaint(SymbolRef Sym, } bool ProgramState::isTainted(const Stmt *S, TaintTagType Kind) const { + if (const Expr *E = dyn_cast_or_null(S)) + S = E->IgnoreParens(); + SVal val = getSVal(S); return isTainted(val, Kind); } -- cgit v1.2.3