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 | a4a9b3691d62d63285e8be4e6832e1a7221ffa31 (patch) | |
| tree | f155341a44217b7f356196eab657e4d630c5a2f0 /llvm/lib/Transforms/Utils/Local.cpp | |
| parent | 490bccd6596c496e9307fbc8639794f7fa2c165f (diff) | |
| download | llvm-a4a9b3691d62d63285e8be4e6832e1a7221ffa31.zip llvm-a4a9b3691d62d63285e8be4e6832e1a7221ffa31.tar.gz llvm-a4a9b3691d62d63285e8be4e6832e1a7221ffa31.tar.bz2 | |
[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!
llvm-svn: 167195
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions