maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fix comments, and force auto progagation in VisitAggExpr. 

llvm-svn: 127524
This commit is contained in:
Ted Kremenek 2011-03-12 02:49:11 +00:00
parent 97474f7414
commit 52d264cda5
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
View File

@ -105,6 +105,9 @@ void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *E,
if (E->isElidable()) { if (E->isElidable()) {
VisitAggExpr(E->getArg(0), Dest, Pred, Dst); 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; return;
} }
@ -200,7 +203,7 @@ void ExprEngine::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *C,
ExplodedNodeSet &Dst) { ExplodedNodeSet &Dst) {
const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(C->getCalleeDecl()); const CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(C->getCalleeDecl());
if (!MD) { 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); VisitCall(C, Pred, C->arg_begin(), C->arg_end(), Dst);
return; return;
} }