projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f8419d) | 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)
commit855ad82e05247498ebd0e28d8e6c244937a914db
tree3aa1b0fbba0b4134ad0dbe6763fc2ae813447c47tree | snapshot
parent5f8419da34393de830e8d53c93253159cc9a2e3fcommit | diff
[analyzer] Correctly add assumptions based on array bounds.

Also simplify the constraints generated by the checker.

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

llvm-svn: 279425
clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp diff | blob | history
clang/test/Analysis/out-of-bounds.c diff | blob | history
Domain: System / Toolchain;