| commit | a6b0b96e5376cd9cf182a3e240e0537feed43cde | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Dec 24 08:39:33 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Dec 24 08:39:33 2010 +0000 |
| tree | 99f1677f9c39c2c85dcec745008525cdac11ad62 | |
| 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