diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-12-24 08:39:33 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-12-24 08:39:33 +0000 |
| commit | a6b0b96e5376cd9cf182a3e240e0537feed43cde (patch) | |
| tree | 99f1677f9c39c2c85dcec745008525cdac11ad62 /lib/StaticAnalyzer/Checkers/ExprEngine.cpp | |
| parent | 3252134192221e65c937124cc79b97d3b04389ae (diff) | |
Add basic support for pointer arithmetic in
SimpleSValBuilder. This clears up some
false positives emitted by ArrayBoundCheckerV2
due to the lack of support for pointer arithmetic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122546 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index 17bc339f75..c522e72210 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -2950,7 +2950,7 @@ void ExprEngine::VisitUnaryOperator(const UnaryOperator* U, SVal RHS; if (U->getType()->isAnyPointerType()) - RHS = svalBuilder.makeIntValWithPtrWidth(1, false); + RHS = svalBuilder.makeArrayIndex(1); else RHS = svalBuilder.makeIntVal(1, U->getType()); |