| commit | a48f7378a05095595d0f6a9c11fc8141e7a5ea61 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Fri Feb 06 08:44:27 2009 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Fri Feb 06 08:44:27 2009 +0000 |
| tree | 56564ba3a39cc20f21476d2a82eb142bbb59544a | |
| parent | f73903a1ded46748e1dfda151f5d037b7b3d31f9 [diff] |
Create ElementRegion when the base is SymbolicRegion. This is like what we do for FieldRegion. This enables us to track more values. Simplify SymbolicRegion::getRValueType(). We assume the symbol always has pointer type. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63928 91177308-0d34-0410-b5e6-96231b3b80d8