| commit | 46a54eb500aa1f841308ad78ef356d28b1bbb0cc | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu May 07 00:45:08 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu May 07 00:45:08 2009 +0000 |
| tree | 02875c821c97e3f8472624853bcd61a2f7402900 | |
| parent | bfa2fcba545fb270f31205d616846c2bfaf4e47e [diff] |
Bug fix: Not all ConstraintManagers always return a null state when setting isFeasible to false. This is something we may wish to do further validation on. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71134 91177308-0d34-0410-b5e6-96231b3b80d8