Add semantic analysis for "blocks".
Highlights...
- 4 new AST nodes, BlockExpr, BlockStmtExpr, BlockExprExpr, BlockDeclRefExpr.
- Sema::ActOnBlockStart(), ActOnBlockError(), ActOnBlockStmtExpr(), ActOnBlockExprExpr(), ActOnBlockReturnStmt().
Next steps...
- hack Sema::ActOnIdentifierExpr() to deal with block decl refs.
- add attribute handler for byref decls.
- add test cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@55710 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/AST/StmtPrinter.cpp b/lib/AST/StmtPrinter.cpp
index a765060..f5806ea 100644
--- a/lib/AST/StmtPrinter.cpp
+++ b/lib/AST/StmtPrinter.cpp
@@ -874,6 +874,46 @@
OS << "]";
}
+void StmtPrinter::VisitBlockExpr(BlockExpr *Node) {
+ OS << "^";
+
+ const FunctionType *AFT = Node->getFunctionType();
+
+ if (isa<FunctionTypeNoProto>(AFT)) {
+ OS << "()";
+ } else if (!Node->arg_empty() || cast<FunctionTypeProto>(AFT)->isVariadic()) {
+ const FunctionTypeProto *FT = cast<FunctionTypeProto>(AFT);
+ OS << '(';
+ std::string ParamStr;
+ for (BlockStmtExpr::arg_iterator AI = Node->arg_begin(),
+ E = Node->arg_end(); AI != E; ++AI) {
+ if (AI != Node->arg_begin()) OS << ", ";
+ ParamStr = (*AI)->getName();
+ (*AI)->getType().getAsStringInternal(ParamStr);
+ OS << ParamStr;
+ }
+
+ if (FT->isVariadic()) {
+ if (!Node->arg_empty()) OS << ", ";
+ OS << "...";
+ }
+ OS << ')';
+ }
+}
+
+void StmtPrinter::VisitBlockStmtExpr(BlockStmtExpr *Node) {
+ VisitBlockExpr(Node);
+ PrintRawCompoundStmt(Node->getBody());
+}
+
+void StmtPrinter::VisitBlockExprExpr(BlockExprExpr *Node) {
+ VisitBlockExpr(Node);
+ PrintExpr(Node->getExpr());
+}
+
+void StmtPrinter::VisitBlockDeclRefExpr(BlockDeclRefExpr *Node) {
+ OS << Node->getDecl()->getName();
+}
//===----------------------------------------------------------------------===//
// Stmt method implementations
//===----------------------------------------------------------------------===//