r202327 - [CFG] encode unreachable block information for would-have-been successors for calls to 'noreturn' functions.

[Ted Kremenek]

Author: kremenek
Date: Wed Feb 26 18:24:05 2014
New Revision: 202327

URL: http://llvm.org/viewvc/llvm-project?rev=202327&view=rev
Log:
[CFG] encode unreachable block information for would-have-been successors for calls to 'noreturn' functions.

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=202327&r1=202326&r2=202327&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/CFG.cpp (original)
+++ cfe/trunk/lib/Analysis/CFG.cpp Wed Feb 26 18:24:05 2014
@@ -742,7 +742,7 @@ CFGBlock *CFGBuilder::createBlock(bool a
 CFGBlock *CFGBuilder::createNoReturnBlock() {
   CFGBlock *B = createBlock(false);
   B->setHasNoReturnElement();
-  addSuccessor(B, &cfg->getExit());
+  addSuccessor(B, &cfg->getExit(), Succ);
   return B;
 }