| commit | 9ff267d0d6b8249a017fca0b56a0c5a6bcb7ef8a | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Oct 20 23:13:25 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Oct 20 23:13:25 2008 +0000 |
| tree | 375d13bf996447e1d33a3a5140018f77bb1376e3 | |
| parent | 18bc164e649bfc1909102e16d3d99836da65da4a [diff] |
Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57851 91177308-0d34-0410-b5e6-96231b3b80d8