summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorshyouhei <shyouhei@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2018-01-18 09:44:46 +0000
committershyouhei <shyouhei@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2018-01-18 09:44:46 +0000
commit3b787be52f68d6844aa1b338892e1043af8b3ddc (patch)
tree9ae764a43ace6b35b066aa0d415c311d78089559
parent9d792adbd33f5edd0233e36bed3cadca388adceb (diff)
rb_threadptr_to_kill marked as NORETURN
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@61925 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
-rw-r--r--thread.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/thread.c b/thread.c
index d2e57b3dcb..f50ad3de6a 100644
--- a/thread.c
+++ b/thread.c
@@ -2038,6 +2038,8 @@ rb_thread_s_pending_interrupt_p(int argc, VALUE *argv, VALUE self)
return rb_thread_pending_interrupt_p(argc, argv, GET_THREAD()->self);
}
+NORETURN(static void rb_threadptr_to_kill(rb_thread_t *th));
+
static void
rb_threadptr_to_kill(rb_thread_t *th)
{