[cfe-commits] r60146 - /cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Wed Nov 26 18:39:34 PST 2008
Author: zhongxingxu
Date: Wed Nov 26 20:39:34 2008
New Revision: 60146
URL: http://llvm.org/viewvc/llvm-project?rev=60146&view=rev
Log:
Add comments.
Modified:
cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
Modified: cfe/trunk/lib/Analysis/BasicConstraintManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicConstraintManager.cpp?rev=60146&r1=60145&r2=60146&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/BasicConstraintManager.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicConstraintManager.cpp Wed Nov 26 20:39:34 2008
@@ -448,6 +448,8 @@
return T ? **T == V : false;
}
+/// Scan all symbols referenced by the constraints. If the symbol is not alive
+/// as marked in LSymbols, mark it as dead in DSymbols.
const GRState* BasicConstraintManager::RemoveDeadBindings(const GRState* St,
StoreManager::LiveSymbolsTy& LSymbols,
StoreManager::DeadSymbolsTy& DSymbols) {
More information about the cfe-commits
mailing list