replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

LiveVariables now updates the liveness state of block-level expressions that 

are referenced by CFGBlock terminators.

llvm-svn: 49798
This commit is contained in:
Ted Kremenek 2008-04-16 17:07:59 +00:00
parent 2e4d0ecaa3
commit ed30e8da56
1 changed files with 49 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

55
clang/lib/Analysis/LiveVariables.cpp
View File

@ -143,21 +143,58 @@ void TransferFuncs::Visit(Stmt *S) {
}
void TransferFuncs::VisitTerminator(Stmt* S) {
Expr* E = NULL;
switch (S->getStmtClass()) {
default:
return;
for (Stmt::child_iterator I = S->child_begin(), E = S->child_end();
I != E; ++I) {
case Stmt::ForStmtClass:
E = cast<ForStmt>(S)->getCond();
break;
Stmt* Child = *I;
if (!Child) continue;
case Stmt::WhileStmtClass:
E = cast<WhileStmt>(S)->getCond();
break;
if (getCFG().isBlkExpr(Child)) {
LiveState(Child, AD) = Alive;
return; // Only one "condition" expression.
}
}
case Stmt::DoStmtClass:
E = cast<DoStmt>(S)->getCond();
break;
case Stmt::IfStmtClass:
E = cast<IfStmt>(S)->getCond();
break;
case Stmt::ChooseExprClass:
E = cast<ChooseExpr>(S)->getCond();
break;
case Stmt::IndirectGotoStmtClass:
E = cast<IndirectGotoStmt>(S)->getTarget();
break;
case Stmt::SwitchStmtClass:
E = cast<SwitchStmt>(S)->getCond();
break;
case Stmt::ConditionalOperatorClass:
E = cast<ConditionalOperator>(S)->getCond();
break;
case Stmt::BinaryOperatorClass: // '&&' and '||'
E = cast<BinaryOperator>(S)->getLHS();
break;
}
if (!E)
return;
E = E->IgnoreParens();
assert (getCFG().isBlkExpr(E));
LiveState(E, AD) = Alive;
}
void TransferFuncs::VisitDeclRefExpr(DeclRefExpr* DR) {
if (VarDecl* V = dyn_cast<VarDecl>(DR->getDecl()))