| commit | baf764092c76d74fb1528cfd62540ae7dc01efbd | [log] [tgz] |
|---|---|---|
| author | Jordan Rose <jordan_rose@apple.com> | Thu Nov 01 01:05:39 2012 +0000 |
| committer | Jordan Rose <jordan_rose@apple.com> | Thu Nov 01 01:05:39 2012 +0000 |
| tree | e470eeac28754aa14edb934d8d8463b105e3d0d4 | |
| parent | b2ed96a0a56e0c789882810b28570d5182b39210 [diff] |
[analyzer] Optimize assumeDual by assuming constraint managers are consistent. Specifically, if adding a constraint makes the current system infeasible, assume the constraint is false, instead of attempting to add its negation. In +Asserts builds we will still assert that at least one state is feasible. Patch by Ryan Govostes! git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167195 91177308-0d34-0410-b5e6-96231b3b80d8