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 | a0be8264b5d2a79107726984d3ce569bca93829e (patch) | |
| tree | 16ba76964ba6d9800ac4e933f809516c9d5c24ea /llvm/lib | |
| parent | fbcf676a65ea13d4c7c24e4942b583658d5fbc2b (diff) | |
| download | bcm5719-llvm-a0be8264b5d2a79107726984d3ce569bca93829e.tar.gz bcm5719-llvm-a0be8264b5d2a79107726984d3ce569bca93829e.zip | |
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.
llvm-svn: 46595
Diffstat (limited to 'llvm/lib')
0 files changed, 0 insertions, 0 deletions
