| commit | 50d0ac299c641bee9024f3fbae2ea0640898a040 | [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 | 806780088e3394fb6fe55eae3b122b4326ff0bd8 | |
| parent | 5d826b82936beb2c32dd02460332ba8035192c65 [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. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47183 91177308-0d34-0410-b5e6-96231b3b80d8