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/Analysis/PrintfFormatString.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/Analysis/PrintfFormatString.cpp')
0 files changed, 0 insertions, 0 deletions