[cfe-commits] r127524 - /cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Fri Mar 11 20:49:11 2011
New Revision: 127524

URL: http://llvm.org/viewvc/llvm-project?rev=127524&view=rev
Log:
Fix comments, and force auto progagation in VisitAggExpr.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp?rev=127524&r1=127523&r2=127524&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CXXExprEngine.cpp Fri Mar 11 20:49:11 2011
@@ -105,6 +105,9 @@
 
   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 @@
                                             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;
   }