| commit | 48569f9562740ac1f4b175cb17ce3d49035402c4 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Jan 08 18:54:04 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Jan 08 18:54:04 2010 +0000 |
| tree | 1ebb7b1492aa10cf690440e5455e085cbe829a9f | |
| parent | 9a0e530ba8ea87a6478e166daecc847eec91cecf [diff] |
Fix handling in GRExprEngine of 'default' branch in switch statements when the default case is winnowed down to be infeasible. When all cases were ruled out (and the analysis state for the default case would be infeasible) we would still consider the default case possible. This fixes PR 5969. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@93017 91177308-0d34-0410-b5e6-96231b3b80d8