| commit | e81734b01c8054ba08a53c729e9c42a6d1f34b25 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Feb 15 22:09:30 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Feb 15 22:09:30 2008 +0000 |
| tree | 29dbc2cd51aafd781505a2218fd6172547b617d3 | |
| parent | d2fd6b84c79f000ac423853e90ad8fb8a3d21cf5 [diff] |
Simplified transfer function logic for ++/-- operators. Added more boilerplate transfer function support for pointer arithmetic. Added more pretty-printing support for symbolic constraints. Added transfer function support for handling enum values. Minor pointer types cleanup in ExplodedGraphImpl. llvm-svn: 47183