projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8890f6a) | patch
[analyzer] Quickfix: do not overflow in calculating offset in RegionManager
authorGeorge Karpenkov <ekarpenkov@apple.com>
Mon, 26 Feb 2018 21:03:06 +0000 (21:03 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Mon, 26 Feb 2018 21:03:06 +0000 (21:03 +0000)
commit511d223023d0a082fb64c4701bf5a546d04c0362
tree52514f18f8990b8d3845fb96fad84a44fd3944fbtree | snapshot
parent8890f6aaa0d9fc9cf8515495a1bb1dcf7ba4ff1acommit | diff
[analyzer] Quickfix: do not overflow in calculating offset in RegionManager

Addresses https://bugs.llvm.org/show_bug.cgi?id=36206

rdar://37159026

A proper fix would be much harder, and would involve changing the
appropriate code in ExprEngine to be aware of the size limitations of
the type used for addressing.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@326122 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/MemRegion.cpp diff | blob | history
test/Analysis/region-store.cpp diff | blob | history
test/Analysis/region_store_overflow.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.