diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-11-01 01:05:39 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-11-01 01:05:39 +0000 |
| commit | baf764092c76d74fb1528cfd62540ae7dc01efbd (patch) | |
| tree | e470eeac28754aa14edb934d8d8463b105e3d0d4 /lib/Driver/Tools.cpp | |
| 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
Diffstat (limited to 'lib/Driver/Tools.cpp')
0 files changed, 0 insertions, 0 deletions