From 52d264cda5a1935752cc4ed6148643a08ac1a6f5 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sat, 12 Mar 2011 02:49:11 +0000 Subject: Fix comments, and force auto progagation in VisitAggExpr. llvm-svn: 127524 --- clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp') diff --git a/clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp index 7d8a22bf2b8..a71761dab8b 100644 --- a/clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp @@ -105,6 +105,9 @@ void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *E, if (E->isElidable()) { VisitAggExpr(E->getArg(0), Dest, Pred, Dst); + // FIXME: this is here to force propogation if VisitAggExpr doesn't + if (Dst.empty()) + Dst.Add(Pred); return; } @@ -200,7 +203,7 @@ void ExprEngine::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *C, ExplodedNodeSet &Dst) { const CXXMethodDecl *MD = dyn_cast_or_null(C->getCalleeDecl()); if (!MD) { - // If the operator doesn't represent a method call treat as regural call. + // If the operator doesn't represent a method call treat as regular call. VisitCall(C, Pred, C->arg_begin(), C->arg_end(), Dst); return; } -- cgit v1.2.3