]> granicus.if.org Git - clang/commit
When processing the transfer function for a statement, evaluate
authorTed Kremenek <kremenek@apple.com>
Sun, 9 Mar 2008 18:28:41 +0000 (18:28 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 9 Mar 2008 18:28:41 +0000 (18:28 +0000)
commit512c913a6f93d225faacdb8e20308f5c4065c3eb
treeba1ac1c78850d57aeb4ec008e482e19ff3885c51
parentdaa497e3ae567ba6684226b86e6e1fe900112dab
When processing the transfer function for a statement, evaluate
RemoveDeadBindings early because (1) it will always be called and (2) we can
dispatch to a plug-in transfer function that can evaluate the effect of dead
symbols (not yet added).

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