summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-03-12 02:49:11 +0000
committerTed Kremenek <kremenek@apple.com>2011-03-12 02:49:11 +0000
commit52d264cda5a1935752cc4ed6148643a08ac1a6f5 (patch)
treeaa7e0ee1c3d6921e57792eaad039545d7dff4c0b /clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
parent97474f7414fcd72b3537133e12f7916db9097aa4 (diff)
downloadbcm5719-llvm-52d264cda5a1935752cc4ed6148643a08ac1a6f5.tar.gz
bcm5719-llvm-52d264cda5a1935752cc4ed6148643a08ac1a6f5.zip
Fix comments, and force auto progagation in VisitAggExpr.
llvm-svn: 127524
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp5
1 files changed, 4 insertions, 1 deletions
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<CXXMethodDecl>(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;
}
OpenPOWER on IntegriCloud