diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-03-05 19:26:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-03-05 19:26:46 +0000 |
| commit | 0c04606d1fb1faf3b718f33e9422fc27c20e0d36 (patch) | |
| tree | 76b8a67d298020f364e393c353641c7381eb63f8 | |
| parent | 8ee39c61f21c3c7e0967aa061be0ca8071f678a3 (diff) | |
| download | bcm5719-llvm-0c04606d1fb1faf3b718f33e9422fc27c20e0d36.tar.gz bcm5719-llvm-0c04606d1fb1faf3b718f33e9422fc27c20e0d36.zip | |
Fixed bogus assumption mistakenly introduced in r47955.
llvm-svn: 47958
| -rw-r--r-- | clang/Analysis/LiveVariables.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/Analysis/LiveVariables.cpp b/clang/Analysis/LiveVariables.cpp index 9515cb8eb71..52f7f4d19bf 100644 --- a/clang/Analysis/LiveVariables.cpp +++ b/clang/Analysis/LiveVariables.cpp @@ -86,8 +86,7 @@ void TransferFuncs::Visit(Stmt *S) { AD.Observer->ObserveStmt(S,AD,LiveState); if (S == getCurrentBlkStmt()) { - assert (!isa<Expr>(S) || getCFG().isBlkExpr(S)); - if (isa<Expr>(S)) LiveState(S,AD) = Dead; + if (getCFG().isBlkExpr(S)) LiveState(S,AD) = Dead; StmtVisitor<TransferFuncs,void>::Visit(S); } else if (!getCFG().isBlkExpr(S)) |
