]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9253b0f) | patch
Further improve path-sensitivity with divide-by-zero checking by assuming that a...
authorTed Kremenek <kremenek@apple.com>
Mon, 20 Oct 2008 23:40:25 +0000 (23:40 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 20 Oct 2008 23:40:25 +0000 (23:40 +0000)
commitc13b6e251afb9530bbcc8c6f26dc4266f4f0c93b
treefeefe490f34bf709a18e08aefe758f5135173666tree | snapshot
parent9253b0f3d70b49f216e86447494ec0ff2315b31acommit | 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
lib/Analysis/GRExprEngine.cpp diff | blob | history
test/Analysis/misc-ps.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.