| commit | c13b6e251afb9530bbcc8c6f26dc4266f4f0c93b | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Mon Oct 20 23:40:25 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Mon Oct 20 23:40:25 2008 +0000 |
| tree | feefe490f34bf709a18e08aefe758f5135173666 | |
| parent | 9253b0f3d70b49f216e86447494ec0ff2315b31a [diff] |
Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57855 91177308-0d34-0410-b5e6-96231b3b80d8