]> granicus.if.org Git - clang/commit
Implemented some branch pruning in GRConstants using != and == for
authorTed Kremenek <kremenek@apple.com>
Wed, 30 Jan 2008 23:03:39 +0000 (23:03 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 30 Jan 2008 23:03:39 +0000 (23:03 +0000)
commitb38911f16b4943548db6a3695fc6ae23070b25d2
tree5a08a4005940740a34242c4ee32e69902a9e840a
parenta292585207adbf6dcf6347db3526a7ec861d8eac
Implemented some branch pruning in GRConstants using != and == for
constant integers.

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