diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-05-07 00:45:08 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-05-07 00:45:08 +0000 |
| commit | 46a54eb500aa1f841308ad78ef356d28b1bbb0cc (patch) | |
| tree | 02875c821c97e3f8472624853bcd61a2f7402900 /lib/Analysis/BugReporter.cpp | |
| 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
Diffstat (limited to 'lib/Analysis/BugReporter.cpp')
0 files changed, 0 insertions, 0 deletions