Add builtin knowledge about longjmp being noreturn. Add printing for

the noreturn attribute.

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

diff --git a/lib/AST/DeclPrinter.cpp b/lib/AST/DeclPrinter.cpp
index 589cdeca8afcf3dfd8f4cf47b0eaf89ef647b7c8..e5bf59f8f931df7be3094e0832ad16faf3f383ec 100644 (file)
--- a/lib/AST/DeclPrinter.cpp
+++ b/lib/AST/DeclPrinter.cpp
@@ -335,6 +335,8 @@ void DeclPrinter::VisitFunctionDecl(FunctionDecl *D) {
     }
 
     Proto += ")";
+    if (D->hasAttr<NoReturnAttr>())
+      Proto += " __attribute((noreturn))";
     if (CXXConstructorDecl *CDecl = dyn_cast<CXXConstructorDecl>(D)) {
       if (CDecl->getNumBaseOrMemberInitializers() > 0) {
         Proto += " : ";

diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp
index bf2d3ccec26aee7f820496e73dcccb5a01b8dcc4..d168a907a09ae8ce5716eaade1688f9f0a5a31a1 100644 (file)
--- a/lib/Sema/SemaDecl.cpp
+++ b/lib/Sema/SemaDecl.cpp
@@ -3705,7 +3705,9 @@ void Sema::AddKnownFunctionAttributes(FunctionDecl *FD) {
     if (!FD->getAttr<FormatAttr>())
       FD->addAttr(::new (Context) FormatAttr("printf", 2,
                                              Name->isStr("vasprintf") ? 0 : 3));
-  }
+  } else if (Name->isStr("longjmp") &&
+             !FD->hasAttr<NoReturnAttr>())
+    FD->addAttr(::new (Context) NoReturnAttr());
 }
 
 TypedefDecl *Sema::ParseTypedefDecl(Scope *S, Declarator &D, QualType T) {

diff --git a/test/Sema/return.c b/test/Sema/return.c
index 99568b07cd4b68372b0320484a37c84b606d19f2..f439ad79940926af955178a8a20968b7e290469e 100644 (file)
--- a/test/Sema/return.c
+++ b/test/Sema/return.c
@@ -196,3 +196,9 @@ void exit(int);
 int test29() {
   exit(1);
 }
+
+#include <setjmp.h>
+jmp_buf test30_j;
+int test30() {
+  longjmp(test30_j, 1);
+}