]> granicus.if.org Git - clang/commit
An ElementRegion is really a typed region. Its super region's type has to be ArrayType.
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 27 Oct 2008 13:17:02 +0000 (13:17 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 27 Oct 2008 13:17:02 +0000 (13:17 +0000)
commit27b57063d83b00474d7563fb5d608544e2364862
tree594de8317f46f585f268e8ab88e137150600551c
parent3dda64ec0fad2fa60d882565d135ff598897fa9d
An ElementRegion is really a typed region. Its super region's type has to be ArrayType.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58245 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/MemRegion.h
lib/Analysis/MemRegion.cpp