commit 7f78842ceafa7daef72a861d378b7dc115251682
author Ted Kremenek <kremenek@apple.com> Fri Aug 31 17:03:41 2007 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Aug 31 17:03:41 2007 +0000
tree a6011cdeb9d07c1de578d866f9880c90507afe89
parent 6668b8c77696e66e713e51520c6756c3a149b7a0

Added support for __builtin_choose_expr (ChooseExpr) in CFGs.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@41646 91177308-0d34-0410-b5e6-96231b3b80d8

AST/CFG.cpp

diff --git a/AST/CFG.cpp b/AST/CFG.cpp
index 2c9336e..89d7af9 100644
--- a/AST/CFG.cpp
+++ b/AST/CFG.cpp
@@ -243,6 +243,28 @@
       Block->setTerminator(C);
       return addStmt(C->getCond());
     }
+    
+    case Stmt::ChooseExprClass: {
+      ChooseExpr* C = cast<ChooseExpr>(S);      
+      
+      CFGBlock* ConfluenceBlock = (Block) ? Block : createBlock();  
+      ConfluenceBlock->appendStmt(C);
+      FinishBlock(ConfluenceBlock);
+      
+      Succ = ConfluenceBlock;
+      Block = NULL;
+      CFGBlock* LHSBlock = Visit(C->getLHS());
+      
+      Succ = ConfluenceBlock;
+      Block = NULL;
+      CFGBlock* RHSBlock = Visit(C->getRHS());
+      
+      Block = createBlock(false);
+      Block->addSuccessor(LHSBlock);
+      Block->addSuccessor(RHSBlock);
+      Block->setTerminator(C);
+      return addStmt(C->getCond());
+    }
 
     case Stmt::DeclStmtClass:      
       if (VarDecl* V = dyn_cast<VarDecl>(cast<DeclStmt>(S)->getDecl())) {