]> granicus.if.org Git - clang/commit
Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer
authorTed Kremenek <kremenek@apple.com>
Tue, 22 Jun 2010 23:58:31 +0000 (23:58 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 22 Jun 2010 23:58:31 +0000 (23:58 +0000)
commit3f8612b46949a73729ef0e0d985cc8cce1ec096f
tree696efdf13381e74ba1aaae6bdcc156905d89a6e7
parent1984eb9a1522ad56e1310643a85f66b2b3424c91
Correctly construct an ElementRegion for alloca() + pointer arithmetic.  Fixes analyzer
crash reported in PR 7450.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106609 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/RegionStore.cpp
test/Analysis/misc-ps-region-store.m