summaryrefslogtreecommitdiff
path: root/inc
diff options
context:
space:
mode:
authorNigel Croxon <noxorc@mac.com>2017-01-08 07:11:24 -0500
committerNigel Croxon <noxorc@mac.com>2017-01-08 07:11:24 -0500
commit4d326eae7dae431a5a03faf66fe8cfd47864c1d4 (patch)
tree23d26a4af44c983b25b987168276ea7df753b417 /inc
parent3f234f5b6ff5c16c6ddd5f2c2513fb329aecd30a (diff)
downloadgnu-efi-4d326eae7dae431a5a03faf66fe8cfd47864c1d4.tar.gz
Allow gcc to emit warnings for unsafe usage of setjmp/longjmp
Patch to allow gcc to emit warnings for unsafe usage of setjmp/long Signed-off-by: David Decotigny <gdaviddecotigny@users.sf.net> Signed-off-by: Nigel Croxon <noxorc@mac.com>
Diffstat (limited to 'inc')
-rw-r--r--inc/efisetjmp.h5
1 files changed, 3 insertions, 2 deletions
diff --git a/inc/efisetjmp.h b/inc/efisetjmp.h
index da8d050..58a93a7 100644
--- a/inc/efisetjmp.h
+++ b/inc/efisetjmp.h
@@ -1,9 +1,10 @@
#ifndef GNU_EFI_SETJMP_H
#define GNU_EFI_SETJMP_H
+#include "eficompiler.h"
#include "efisetjmp_arch.h"
-extern UINTN setjmp(jmp_buf *env);
-extern VOID longjmp(jmp_buf *env, UINTN value);
+extern UINTN setjmp(jmp_buf *env) __attribute__((returns_twice));
+extern VOID longjmp(jmp_buf *env, UINTN value) __attribute__((noreturn));
#endif /* GNU_EFI_SETJMP_H */