Nikita Malakhov <hukutoc(at)gmail(dot)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.
regards, tom lane