run_posix_cpu_timers() must check ->signal != NULL anyway. (The same for
other functions like account_group_user_time() which are called by the
timer tick).
Apart from the timer tick, "current" should not use this function after
exit_notify().
And, if tsk != current, ->signal must be pinned, this means it can't be NULL.
Perhaps I missed something, but imho this check is confusing and misleading.
However, this is just a minor detail even if I am right.
Oleg.
--