diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-07 17:57:00 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-05-07 17:57:00 +0000 |
| commit | d7fb96e3bfeeaae7e28666b2838b430ff8c26397 (patch) | |
| tree | d780b14fefa5bbf5207a6a2e81ed229f9f888d6b /lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp | |
| parent | 41a669a30074dcc221ba199e5dde484cc33adba1 (diff) | |
remove code to add bound checks for simple array accesses, since those are already covered by the check with the objectsize builtin
remove the comparison of objectsize with -1. since it's an unsigned comparison, it will always succeed if objectsize returns -1, which is enough to have the check removed
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156311 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp')
0 files changed, 0 insertions, 0 deletions