| commit | 08780078183ae4b2534c69a3e0ded596cdb695ba | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Aug 24 22:47:34 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Aug 24 22:47:34 2009 +0000 |
| tree | 9d9a525039c97146dc5c70cf807c4e93cc59c7bf | |
| parent | c3a94151d12e3821f760e1e342f719ddeebeea19 [diff] |
ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for the condition. This eliminates a source of bugs where the client doesn't correctly reason about undefined or unknown values. This fixes PR 4759. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@79952 91177308-0d34-0410-b5e6-96231b3b80d8