Fix 'cast to pointer from integer' warning in GC_on_thread_event (64-bit)
authorIvan Maidanski <ivmai@mail.ru>
Wed, 9 Sep 2015 20:55:37 +0000 (23:55 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 9 Sep 2015 20:55:37 +0000 (23:55 +0300)
commitb4696bd8afeb4098458538a04bd858d8d28f1a68
tree7a26927b0917af9e7463aa99de17bdcfb3716cc7
parent04454546947d2cd19a9fa3447e0fc2f7350d2889
Fix 'cast to pointer from integer' warning in GC_on_thread_event (64-bit)

* pthread_stop_world.c (GC_suspend_all, GC_start_world): Cast thread_id
to pointer via word type on passing to GC_on_thread_event; add comment.
pthread_stop_world.c