commit | 5bbc8e76408af22a0c706a4199c684bf5f5a5cb3 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Wed Dec 23 02:52:14 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Wed Dec 23 02:52:14 2009 +0000 |
tree | e15937ee39dcab36bb721807b40c65628e65de2e | |
parent | 775f2eb49116baeb0c97d2085fac30174e2ebd43 [diff] |
Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91981 91177308-0d34-0410-b5e6-96231b3b80d8