]> granicus.if.org Git - clang/commit
Make SymbolicRegion untyped.
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 30 Mar 2009 06:48:56 +0000 (06:48 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 30 Mar 2009 06:48:56 +0000 (06:48 +0000)
commita45fec1a586a3b234d301bb89e26f2e891def0d7
tree45f124e1a05071a1290e16b67aa6542cc3164fd7
parentcd8e4c44dd068956e9181381be3ee2d49a0fac52
Make SymbolicRegion untyped.
Layer the type information with a TypedViewRegion on top of the SymbolicRegion.

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