r203334 - [CFG] Record would-be successor for noreturn destructor.

Ted Kremenek kremenek at apple.com
Fri Mar 7 18:22:26 PST 2014


Author: kremenek
Date: Fri Mar  7 20:22:25 2014
New Revision: 203334

URL: http://llvm.org/viewvc/llvm-project?rev=203334&view=rev
Log:
[CFG] Record would-be successor for noreturn destructor.

Modified:
    cfe/trunk/lib/Analysis/CFG.cpp

Modified: cfe/trunk/lib/Analysis/CFG.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/CFG.cpp?rev=203334&r1=203333&r2=203334&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/CFG.cpp (original)
+++ cfe/trunk/lib/Analysis/CFG.cpp Fri Mar  7 20:22:25 2014
@@ -3351,10 +3351,12 @@ CFGBlock *CFGBuilder::VisitCXXBindTempor
     // a new block for the destructor which does not have as a successor
     // anything built thus far. Control won't flow out of this block.
     const CXXDestructorDecl *Dtor = E->getTemporary()->getDestructor();
-    if (Dtor->isNoReturn())
+    if (Dtor->isNoReturn()) {
+      Succ = B;
       Block = createNoReturnBlock();
-    else
+    } else {
       autoCreateBlock();
+    }
 
     appendTemporaryDtor(Block, E);
     B = Block;





More information about the cfe-commits mailing list