diff options
| author | Anna Zaks <ganna@apple.com> | 2011-11-18 02:26:36 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-11-18 02:26:36 +0000 |
| commit | 8f4caf5fec2de9b18f9c5fc69696d9f6cf66bcc5 (patch) | |
| tree | 30880728c0de8c9dc1585867383b28588d7e35db /lib/StaticAnalyzer/Core/SValBuilder.cpp | |
| parent | 7b1fb81a512def2a20e2834b4598a7b3a740dc7f (diff) | |
[analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker).
There is an open radar to implement better scanf checking as a Sema warning. However, a bit of redundancy is fine in this case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144964 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SValBuilder.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/SValBuilder.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/SValBuilder.cpp b/lib/StaticAnalyzer/Core/SValBuilder.cpp index db2097c16f..778a0bf97d 100644 --- a/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -177,7 +177,6 @@ SVal SValBuilder::generateUnknownVal(const ProgramState *State, symLHS = LHS.getAsSymExpr(); return makeNonLoc(symLHS, Op, rInt->getValue(), ResultTy); } - // TODO: Handle the case when lhs is ConcreteInt. symLHS = LHS.getAsSymExpr(); symRHS = RHS.getAsSymExpr(); |