summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/Analysis')
-rw-r--r--clang/lib/Analysis/LiveVariables.cpp53
-rw-r--r--clang/lib/Analysis/UninitializedValues.cpp2
2 files changed, 6 insertions, 49 deletions
diff --git a/clang/lib/Analysis/LiveVariables.cpp b/clang/lib/Analysis/LiveVariables.cpp
index feba80d6955..4148d9e838d 100644
--- a/clang/lib/Analysis/LiveVariables.cpp
+++ b/clang/lib/Analysis/LiveVariables.cpp
@@ -119,7 +119,7 @@ public:
void VisitDeclStmt(DeclStmt* DS);
void VisitUnaryOperator(UnaryOperator* U);
void Visit(Stmt *S);
- void VisitTerminator(Stmt* S);
+ void VisitTerminator(CFGBlock* B);
void SetTopValue(LiveVariables::ValTy& V) {
V = AD.AlwaysLive;
@@ -142,56 +142,13 @@ void TransferFuncs::Visit(Stmt *S) {
LiveState(S,AD) = Alive;
}
-void TransferFuncs::VisitTerminator(Stmt* S) {
-
- Expr* E = NULL;
-
- switch (S->getStmtClass()) {
- default:
- return;
-
- case Stmt::ForStmtClass:
- E = cast<ForStmt>(S)->getCond();
- break;
-
- case Stmt::WhileStmtClass:
- E = cast<WhileStmt>(S)->getCond();
- break;
-
- 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;
- }
-
+void TransferFuncs::VisitTerminator(CFGBlock* B) {
+
+ const Expr* E = B->getTerminatorCondition();
+
if (!E)
return;
- E = E->IgnoreParens();
-
assert (getCFG().isBlkExpr(E));
LiveState(E, AD) = Alive;
}
diff --git a/clang/lib/Analysis/UninitializedValues.cpp b/clang/lib/Analysis/UninitializedValues.cpp
index d81a087fe04..8f0bdfd3172 100644
--- a/clang/lib/Analysis/UninitializedValues.cpp
+++ b/clang/lib/Analysis/UninitializedValues.cpp
@@ -78,7 +78,7 @@ public:
bool Visit(Stmt *S);
bool BlockStmt_VisitExpr(Expr* E);
- void VisitTerminator(Stmt* T) { }
+ void VisitTerminator(CFGBlock* B) { }
};
static const bool Initialized = true;
OpenPOWER on IntegriCloud