| commit | c48b8e4f81634736ffe9651e3f9fd82122022b1f | [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 | 2ed959ff88c84355aa315561f3ec304c23d1028c [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