diff options
| author | Anton Yartsev <anton.yartsev@gmail.com> | 2012-12-14 20:28:48 +0000 | 
|---|---|---|
| committer | Anton Yartsev <anton.yartsev@gmail.com> | 2012-12-14 20:28:48 +0000 | 
| commit | 20ae1dbfd12faaa55c670900da7924baa4e53a5b (patch) | |
| tree | dbc25110e94d16f8d342b6a43024ac20808f0e6b | |
| parent | a4f898448cdf9c153ecd2de3de4cbbd3f2eeabda (diff) | |
| download | bcm5719-llvm-20ae1dbfd12faaa55c670900da7924baa4e53a5b.tar.gz bcm5719-llvm-20ae1dbfd12faaa55c670900da7924baa4e53a5b.zip  | |
fixed line endings
llvm-svn: 170238
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | 44 | 
1 files changed, 22 insertions, 22 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp index 0f5fad1ac51..efb4f7229f8 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -780,28 +780,28 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,        break;      } -    case Stmt::CXXNewExprClass: {
 -      Bldr.takeNodes(Pred);
 -      ExplodedNodeSet PostVisit;
 -      VisitCXXNewExpr(cast<CXXNewExpr>(S), Pred, PostVisit);
 -      getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this);
 -      Bldr.addNodes(Dst);
 -      break;
 -    }
 -
 -    case Stmt::CXXDeleteExprClass: {
 -      Bldr.takeNodes(Pred);
 -      ExplodedNodeSet PreVisit;
 -      const CXXDeleteExpr *CDE = cast<CXXDeleteExpr>(S);
 -      getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this);
 -
 -      for (ExplodedNodeSet::iterator i = PreVisit.begin(), 
 -                                     e = PreVisit.end(); i != e ; ++i)
 -        VisitCXXDeleteExpr(CDE, *i, Dst);
 -
 -      Bldr.addNodes(Dst);
 -      break;
 -    }
 +    case Stmt::CXXNewExprClass: { +      Bldr.takeNodes(Pred); +      ExplodedNodeSet PostVisit; +      VisitCXXNewExpr(cast<CXXNewExpr>(S), Pred, PostVisit); +      getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this); +      Bldr.addNodes(Dst); +      break; +    } + +    case Stmt::CXXDeleteExprClass: { +      Bldr.takeNodes(Pred); +      ExplodedNodeSet PreVisit; +      const CXXDeleteExpr *CDE = cast<CXXDeleteExpr>(S); +      getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); + +      for (ExplodedNodeSet::iterator i = PreVisit.begin(),  +                                     e = PreVisit.end(); i != e ; ++i) +        VisitCXXDeleteExpr(CDE, *i, Dst); + +      Bldr.addNodes(Dst); +      break; +    }        // FIXME: ChooseExpr is really a constant.  We need to fix        //        the CFG do not model them as explicit control-flow.  | 

