]> granicus.if.org Git - clang/commit
Added transfer function support for checking for divide-by-zero errors.
authorTed Kremenek <kremenek@apple.com>
Mon, 25 Feb 2008 17:51:31 +0000 (17:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 25 Feb 2008 17:51:31 +0000 (17:51 +0000)
commit07d83aa220567bef263ef76cfc9b0159320bb640
tree5466fe5c22d3a45f469287dbd938ef4afd521f3a
parent3426b9bdc236df389f3aa00b56bf9154659511f2
Added transfer function support for checking for divide-by-zero errors.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47547 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/GRExprEngine.cpp
include/clang/Analysis/PathSensitive/GRExprEngine.h