diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-12-06 18:58:22 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-12-06 18:58:22 +0000 |
| commit | e9cd031c77a92015571425b6445e8867816997cd (patch) | |
| tree | d8fc7ddaea9cf3bc9963db899b6dcc1b2002b9bc /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 4ee1c557c3ebddb8a9be8f6fb66605b971793820 (diff) | |
[analyzer] Remove checks that predate the linearized CFG.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@169528 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 9ca5421e18..c5105412b6 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -527,16 +527,7 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet Dst; StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx); - // Expressions to ignore. - if (const Expr *Ex = dyn_cast<Expr>(S)) - S = Ex->IgnoreParens(); - - // FIXME: add metadata to the CFG so that we can disable - // this check when we KNOW that there is no block-level subexpression. - // The motivation is that this check requires a hashtable lookup. - - if (S != currStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(S)) - return; + assert(!isa<Expr>(S) || S == cast<Expr>(S)->IgnoreParens()); switch (S->getStmtClass()) { // C++ and ARC stuff we don't support yet. |