Instruct Coverity using an assertion.

This should make Coverity deduce that plperl_call_perl_func() does not
dereference NULL argtypes.  Back-patch to 9.5, where the affected code
was introduced.

Michael Paquier

diff --git a/src/pl/plperl/plperl.c b/src/pl/plperl/plperl.c
index 549034f7640badc97f8a6ef8c09e562e14039865..300feb018f9ee5cb4c162cbc5bc3d319cc89b06b 100644 (file)
--- a/src/pl/plperl/plperl.c
+++ b/src/pl/plperl/plperl.c
@@ -2111,8 +2111,10 @@ plperl_call_perl_func(plperl_proc_desc *desc, FunctionCallInfo fcinfo)
    PUSHMARK(SP);
    EXTEND(sp, desc->nargs);
 
+   /* Get signature for true functions; inline blocks have no args. */
    if (fcinfo->flinfo->fn_oid)
        get_func_signature(fcinfo->flinfo->fn_oid, &argtypes, &nargs);
+   Assert(nargs == desc->nargs);
 
    for (i = 0; i < desc->nargs; i++)
    {