Nikita Malakhov <hukutoc@gmail.com> writes: > Even with null context it does not turn to ereport, and returns dummy value
Read the code. ArrayGetNItems passes NULL for escontext, therefore if there's a problem the ereturn calls in ArrayGetNItemsSafe will throw error, *not* return -1.
Not sure how we could persuade Coverity of that, though, if it fails to understand that for itself.