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