In replay_find() (src/sys/rpc/replay.c), if a message is found in the DRC but does not have a body then mp is left untouched. The only caller of replay_find() is svc_getreq(), which assumes that replay_find() returns a valid pointer in this argument. Now, I don't know if rce_repbody can legitimately be NULL, but for completeness svc_getreq() should probably set repbody to NULL and then check it after the call to replay_find(), and avoid making the call to SVC_REPLY() if repbody is NULL. replay_find() also should set *mp = NULL if rce_repbody is NULL.
For bugs matching the following criteria: Status: In Progress Changed: (is less than) 2014-06-01 Reset to default assignee and clear in-progress tags. Mail being skipped
There is probably little need to fix this bug so may as well just close it.