clang/test/Sema/builtin-setjmp.c

   1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=c,expected -DNO_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=c,expected -DWRONG_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   3 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=c,expected -DRIGHT_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   4 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=c,expected -DONLY_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   5 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=c,expected -DNO_SETJMP %s -ast-dump 2>&1 | FileCheck %s --check-prefixes=CHECK1,CHECK2
   6 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=cxx,expected -x c++ -DNO_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   7 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=cxx,expected -x c++ -DWRONG_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   8 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=cxx,expected -x c++ -DRIGHT_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK1,CHECK2
   9 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=cxx,expected -x c++ -DONLY_JMP_BUF %s -ast-dump | FileCheck %s --check-prefixes=CHECK2
  10 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -verify=cxx,expected -x c++ -DNO_SETJMP %s -ast-dump | FileCheck %s --check-prefixes=CHECK2
  11
  12 #ifdef __cplusplus
  13 extern "C" {
  14 #endif
  15
  16 #ifdef NO_JMP_BUF
  17 // This happens in some versions of glibc: the declaration of __sigsetjmp
  18 // precedes the declaration of sigjmp_buf.
  19 extern long setjmp(long *); // Can't check, so we trust that this is the right type
  20 // FIXME: We could still diagnose the missing `jmp_buf` at the point of the call.
  21 // c-no-diagnostics
  22 #elif WRONG_JMP_BUF
  23 typedef long jmp_buf;
  24 // FIXME: Consider producing a similar warning in C++.
  25 extern int setjmp(char); // c-warning {{incompatible redeclaration of library function 'setjmp'}}
  26                          // c-note@-1 {{'setjmp' is a builtin with type 'int (jmp_buf)' (aka 'int (long)')}}
  27 #elif RIGHT_JMP_BUF
  28 typedef long jmp_buf;
  29 extern int setjmp(long); // OK, right type.
  30 #elif ONLY_JMP_BUF
  31 typedef int *jmp_buf;
  32 #endif
  33
  34 void use(void) {
  35   setjmp(0);
  36   #if NO_SETJMP
  37   // cxx-error@-2 {{undeclared identifier 'setjmp'}}
  38   // c-error@-3 {{call to undeclared function 'setjmp'; ISO C99 and later do not support implicit function declarations}}
  39   #elif ONLY_JMP_BUF
  40   // cxx-error@-5 {{undeclared identifier 'setjmp'}}
  41   // c-error@-6 {{call to undeclared library function 'setjmp' with type 'int (jmp_buf)' (aka 'int (int *)'); ISO C99 and later do not support implicit function declarations}}
  42   // c-note@-7 {{include the header <setjmp.h> or explicitly provide a declaration for 'setjmp'}}
  43   #else
  44   // cxx-no-diagnostics
  45   #endif
  46
  47   #ifdef NO_SETJMP
  48   // In this case, the regular AST dump doesn't dump the implicit declaration of 'setjmp'.
  49   #pragma clang __debug dump setjmp
  50   #endif
  51 }
  52
  53 // CHECK1: FunctionDecl {{.*}} used setjmp
  54 // CHECK1: BuiltinAttr {{.*}} Implicit
  55 // CHECK1: ReturnsTwiceAttr {{.*}} Implicit
  56
  57 // mingw declares _setjmp with an unusual signature.
  58 int _setjmp(void *, void *);
  59 #if !defined(NO_JMP_BUF) && !defined(NO_SETJMP)
  60 // c-warning@-2 {{incompatible redeclaration of library function '_setjmp'}}
  61 // c-note@-3 {{'_setjmp' is a builtin with type 'int (jmp_buf)'}}
  62 #endif
  63 void use_mingw(void) {
  64   _setjmp(0, 0);
  65 }
  66
  67 // CHECK2: FunctionDecl {{.*}} used _setjmp
  68 // CHECK2: BuiltinAttr {{.*}} Implicit
  69 // CHECK2: ReturnsTwiceAttr {{.*}} Implicit
  70
  71 #ifdef __cplusplus
  72 }
  73 #endif