| commit | 64924859b6b09d1cfb62fecf5954ec6c27cb58fe | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jan 31 02:35:41 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jan 31 02:35:41 2008 +0000 |
| tree | 04407728ab702444b1c6a921237abc22ad92bd5a | |
| parent | bcba201a1118d7852b8b97187d495ae2a4f49519 [diff] |
Added transfer function support for unary '&' and '*', providing basic (local) aliasing support. Modified ExplodedGraph pretty-printer (for GRConstants) to also print out the pointer value of the state associated with a node. This way one can easily see that two states are identical. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46595 91177308-0d34-0410-b5e6-96231b3b80d8