| commit | 05a2378c708688c8ef498a5cea40ed7f5db15fa5 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Feb 26 19:05:15 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Feb 26 19:05:15 2008 +0000 |
| tree | 613f7bbb17a613879201efbab2e0981784d3c4d9 | |
| parent | a5694b8b0096215137bf1c273764ec93ac4898fd [diff] |
Major cleanup of the transfer function logic for '&&', '||', and '?'. We now store in the state essentially which branch we took. This removes a bunch of bogus assumptions (and likely bugs), reduces the complexity of the implementation, and facilitates more optimizations. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47613 91177308-0d34-0410-b5e6-96231b3b80d8