| commit | 25e280bf02064eaf143c43ebc5e8889c923f8fa3 | [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 | e5e34c85863fea5d7a2390a1e4a61ff043cad3e9 | |
| parent | fdb33458fcfcbea6989b9dff2ac853c89002e9d9 [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. llvm-svn: 91981