[llvm-branch-commits] [cfe-branch] r119265 - /cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp

[Daniel Dunbar]

Author: ddunbar
Date: Mon Nov 15 15:47:00 2010
New Revision: 119265

URL: http://llvm.org/viewvc/llvm-project?rev=119265&view=rev
Log:
Merge r118984:
--
Author: Ted Kremenek <kremenek at apple.com>
Date:   Sat Nov 13 05:12:26 2010 +0000

    Refine IdempotentOperationChecker::PathWasCompletelyAnalyzed() to also check
    BlockEdges, BlockEntrances, and BlockExits for the target block value.

Modified:
    cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp

Modified: cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp?rev=119265&r1=119264&r2=119265&view=diff
==============================================================================
--- cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp (original)
+++ cfe/branches/Apple/whitney/lib/Checker/IdempotentOperationChecker.cpp Mon Nov 15 15:47:00 2010
@@ -582,6 +582,15 @@
       if (StmtPoint *SP = dyn_cast<StmtPoint>(&P)) {
         B = CBM->getBlock(SP->getStmt());
       }
+      else if (BlockEdge *BE = dyn_cast<BlockEdge>(&P)) {
+        B = BE->getDst();
+      }
+      else if (BlockEntrance *BEnt = dyn_cast<BlockEntrance>(&P)) {
+        B = BEnt->getBlock();
+      }
+      else if (BlockExit *BExit = dyn_cast<BlockExit>(&P)) {
+        B = BExit->getBlock();
+      }
       if (!B)
         return true;