tree e470eeac28754aa14edb934d8d8463b105e3d0d4
parent b2ed96a0a56e0c789882810b28570d5182b39210
author Jordan Rose <jordan_rose@apple.com> 1351731939 +0000
committer Jordan Rose <jordan_rose@apple.com> 1351731939 +0000

[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