Add knowledge about _longjmp being noreturn.

llvm-svn: 77254

diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp
index d168a90..27c109f 100644 (file)
--- a/clang/lib/Sema/SemaDecl.cpp
+++ b/clang/lib/Sema/SemaDecl.cpp
@@ -3705,8 +3705,8 @@ 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>())
+  } else if ((Name->isStr("longjmp") || Name->isStr("_longjmp"))
+             && !FD->hasAttr<NoReturnAttr>())
     FD->addAttr(::new (Context) NoReturnAttr());
 }
 

diff --git a/clang/test/Sema/return.c b/clang/test/Sema/return.c
index f439ad7..c043379 100644 (file)
--- a/clang/test/Sema/return.c
+++ b/clang/test/Sema/return.c
@@ -200,5 +200,8 @@ int test29() {
 #include <setjmp.h>
 jmp_buf test30_j;
 int test30() {
-  longjmp(test30_j, 1);
+  if (j)
+    longjmp(test30_j, 1);
+  else
+    _longjmp(test30_j, 1);
 }