]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a9bf4a) | patch
When evaluating pointer arithmetic, if the base location is a symbolic region,
authorZhongxing Xu <xuzhongxing@gmail.com>
Sat, 9 May 2009 15:18:12 +0000 (15:18 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Sat, 9 May 2009 15:18:12 +0000 (15:18 +0000)
commitc4761f5ea355aee7b6d9b7727af055ee43acaa10
treecbe26058b127e1c987099b9c0bc71ec15bded3e1tree | snapshot
parent8a9bf4a768539a40344e809c52a6eb862f4145accommit | diff
When evaluating pointer arithmetic, if the base location is a symbolic region,
convert it to the first element region.
Also do not assume the array region is typed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71358 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/RegionStore.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.