In my application, I use a posix message queue which works fine without any issues, but very sporadically mq_receive 
call returns -1 and sets errno EFAULT (BAD ADDRESS).

The documentation of mq_receive doesn't specify that EFAULT errno is set. 

Could someone throw more light on this behavior of mq_receive?
In which cases EFAULT is set by mq_receive().

Thanks in advance.