aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rw-r--r--setjmp/tst-setjmp.c2
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index d3560ade54..0c45e9a852 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2019-02-15 Joseph Myers <joseph@codesourcery.com>
+
+ * setjmp/tst-setjmp.c (jump): Use __attribute__ ((__noreturn__)).
+
2019-02-14 Jan Kratochvil <jan.kratochvil@redhat.com>
* scripts/test_printers_common.py: Set TERM to a known harmless
diff --git a/setjmp/tst-setjmp.c b/setjmp/tst-setjmp.c
index e83e896ebe..b377393ecf 100644
--- a/setjmp/tst-setjmp.c
+++ b/setjmp/tst-setjmp.c
@@ -22,7 +22,7 @@
static jmp_buf env;
static int last_value = -1, lose = 0;
-static void
+static __attribute__ ((__noreturn__)) void
jump (int val)
{
longjmp (env, val);