]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40d7988) | patch
[analyzer] Correctly add assumptions based on array bounds.
authorGabor Horvath <xazax.hun@gmail.com>
Mon, 22 Aug 2016 10:07:32 +0000 (10:07 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Mon, 22 Aug 2016 10:07:32 +0000 (10:07 +0000)
commit5c81e3f7778a022c48d5b47d47f6db394b64f357
tree3a883086ed9d5443c663405b2c2ddbe1bd1a2412tree | snapshot
parent40d79883bb26addcf3a8191d7582b14b8b9ec7cdcommit | diff
[analyzer] Correctly add assumptions based on array bounds.

Also simplify the constraints generated by the checker.

Differential Revision: https://reviews.llvm.org/D23112

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@279425 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp diff | blob | history
test/Analysis/out-of-bounds.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.