]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d093d3) | patch
More edge-case handling with using liveness information to prune dead state values.
authorTed Kremenek <kremenek@apple.com>
Mon, 10 Mar 2008 04:45:00 +0000 (04:45 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 10 Mar 2008 04:45:00 +0000 (04:45 +0000)
commit3bbad550be7edc628be31b51d2a51b6d7d46eafb
tree88782bbdd64971b2436ff3b1186a9b4574749ce8tree | snapshot
parent0d093d3005dd583675a45a85bd688063572cc8afcommit | diff
More edge-case handling with using liveness information to prune dead state values.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48127 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/GRCoreEngine.cpp diff | blob | history
Analysis/GRExprEngine.cpp diff | blob | history
include/clang/Analysis/PathSensitive/GRCoreEngine.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.