diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-08-24 22:47:34 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-08-24 22:47:34 +0000 |
| commit | 08780078183ae4b2534c69a3e0ded596cdb695ba (patch) | |
| tree | 9d9a525039c97146dc5c70cf807c4e93cc59c7bf /lib/Parse/Parser.cpp | |
| 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
Diffstat (limited to 'lib/Parse/Parser.cpp')
0 files changed, 0 insertions, 0 deletions