Fix overly tense optimization of PLpgSQL_func_hashkey: we must represent

the isTrigger state explicitly, not rely on nonzero-ness of trigrelOid
to indicate trigger-hood, because trigrelOid will be left zero when compiling
for validation.  The (useless) function hash entry built by the validator
was able to match an ordinary non-trigger call later in the same session,
thereby bypassing the check that is supposed to prevent such a call.
Per report from Alvaro.

It might be worth suppressing the useless hash entry altogether, but
that's a bigger change than I want to consider back-patching.

Back-patch to 8.0.  7.4 doesn't have the problem because it doesn't
have validation mode.

diff --git a/src/pl/plpgsql/src/pl_comp.c b/src/pl/plpgsql/src/pl_comp.c
index d5211650b3e1aab7532b8d0719bc0d9ba0c551da..fef62dec50769c0d94c74dfbffceef296380b2aa 100644 (file)
--- a/src/pl/plpgsql/src/pl_comp.c
+++ b/src/pl/plpgsql/src/pl_comp.c
@@ -2075,12 +2075,15 @@ compute_function_hashkey(FunctionCallInfo fcinfo,
        /* get function OID */
        hashkey->funcOid = fcinfo->flinfo->fn_oid;
 
+       /* get call context */
+       hashkey->isTrigger = CALLED_AS_TRIGGER(fcinfo);
+
        /*
         * if trigger, get relation OID.  In validation mode we do not know what
         * relation is intended to be used, so we leave trigrelOid zero; the hash
         * entry built in this case will never really be used.
         */
-       if (CALLED_AS_TRIGGER(fcinfo) && !forValidator)
+       if (hashkey->isTrigger && !forValidator)
        {
                TriggerData *trigdata = (TriggerData *) fcinfo->context;
 

diff --git a/src/pl/plpgsql/src/plpgsql.h b/src/pl/plpgsql/src/plpgsql.h
index b45b2a44faf4c520c4037673a7334daf46107119..b9aff75c4a64dd0d18afb346b35eb666c545dbb6 100644 (file)
--- a/src/pl/plpgsql/src/plpgsql.h
+++ b/src/pl/plpgsql/src/plpgsql.h
@@ -546,6 +546,10 @@ typedef struct PLpgSQL_func_hashkey
 {                                                              /* Hash lookup key for functions */
        Oid                     funcOid;
 
+       bool            isTrigger;              /* true if called as a trigger */
+
+       /* be careful that pad bytes in this struct get zeroed! */
+
        /*
         * For a trigger function, the OID of the relation triggered on is part of
         * the hashkey --- we want to compile the trigger separately for each