diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-31 02:35:41 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-31 02:35:41 +0000 |
| commit | 64924859b6b09d1cfb62fecf5954ec6c27cb58fe (patch) | |
| tree | 04407728ab702444b1c6a921237abc22ad92bd5a /Driver/RewriteTest.cpp | |
| 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
Diffstat (limited to 'Driver/RewriteTest.cpp')
0 files changed, 0 insertions, 0 deletions