Add builtin knowledge about longjmp being noreturn. Add printing for

the noreturn attribute.

llvm-svn: 77253

diff --git a/clang/lib/AST/DeclPrinter.cpp b/clang/lib/AST/DeclPrinter.cpp
index 589cdec..e5bf59f 100644 (file)
--- a/clang/lib/AST/DeclPrinter.cpp
+++ b/clang/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/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp
index bf2d3cc..d168a90 100644 (file)
--- a/clang/lib/Sema/SemaDecl.cpp
+++ b/clang/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/clang/test/Sema/return.c b/clang/test/Sema/return.c
index 99568b0..f439ad7 100644 (file)
--- a/clang/test/Sema/return.c
+++ b/clang/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);
+}