Fix type checking for support functions of parallel VARIADIC aggregates.

The impact of VARIADIC on the combine/serialize/deserialize support
functions of an aggregate wasn't thought through carefully.  There is
actually no impact, because variadicity isn't passed through to these
functions (and it doesn't seem like it would need to be).  However,
lookup_agg_function was mistakenly told to check things as though it were
passed through.  The net result was that it was impossible to declare an
aggregate that had both VARIADIC input and parallelism support functions.

In passing, fix a runtime check in nodeAgg.c for the combine function's
strictness to make its error message agree with the creation-time check.
The previous message was actually backwards, and it doesn't seem like
there's a good reason to have two versions of this message text anyway.

Back-patch to 9.6 where parallel aggregation was introduced.

Alexey Bashtanov; message fix by me

Discussion: https://postgr.es/m/f86dde87-fef4-71eb-0480-62754aaca01b@imap.cc

diff --git a/src/backend/catalog/pg_aggregate.c b/src/backend/catalog/pg_aggregate.c
index ada6e6171b711ee8f461db873bfb85e1f406fb16..40c56543ca0ec00d8420f8eae12762126f8e52f1 100644 (file)
--- a/src/backend/catalog/pg_aggregate.c
+++ b/src/backend/catalog/pg_aggregate.c
@@ -409,16 +409,17 @@ AggregateCreate(const char *aggName,
                Oid                     combineType;
 
                /*
-                * Combine function must have 2 argument, each of which is the trans
-                * type
+                * Combine function must have 2 arguments, each of which is the trans
+                * type.  VARIADIC doesn't affect it.
                 */
                fnArgs[0] = aggTransType;
                fnArgs[1] = aggTransType;
 
-               combinefn = lookup_agg_function(aggcombinefnName, 2, fnArgs,
-                                                                               variadicArgType, &combineType);
+               combinefn = lookup_agg_function(aggcombinefnName, 2,
+                                                                               fnArgs, InvalidOid,
+                                                                               &combineType);
 
-               /* Ensure the return type matches the aggregates trans type */
+               /* Ensure the return type matches the aggregate's trans type */
                if (combineType != aggTransType)
                        ereport(ERROR,
                                        (errcode(ERRCODE_DATATYPE_MISMATCH),
@@ -428,14 +429,14 @@ AggregateCreate(const char *aggName,
 
                /*
                 * A combine function to combine INTERNAL states must accept nulls and
-                * ensure that the returned state is in the correct memory context.
+                * ensure that the returned state is in the correct memory context. We
+                * cannot directly check the latter, but we can check the former.
                 */
                if (aggTransType == INTERNALOID && func_strict(combinefn))
                        ereport(ERROR,
                                        (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
                                         errmsg("combine function with transition type %s must not be declared STRICT",
                                                        format_type_be(aggTransType))));
-
        }
 
        /*
@@ -443,10 +444,11 @@ AggregateCreate(const char *aggName,
         */
        if (aggserialfnName)
        {
+               /* signature is always serialize(internal) returns bytea */
                fnArgs[0] = INTERNALOID;
 
                serialfn = lookup_agg_function(aggserialfnName, 1,
-                                                                          fnArgs, variadicArgType,
+                                                                          fnArgs, InvalidOid,
                                                                           &rettype);
 
                if (rettype != BYTEAOID)
@@ -462,11 +464,12 @@ AggregateCreate(const char *aggName,
         */
        if (aggdeserialfnName)
        {
+               /* signature is always deserialize(bytea, internal) returns internal */
                fnArgs[0] = BYTEAOID;
                fnArgs[1] = INTERNALOID;        /* dummy argument for type safety */
 
                deserialfn = lookup_agg_function(aggdeserialfnName, 2,
-                                                                                fnArgs, variadicArgType,
+                                                                                fnArgs, InvalidOid,
                                                                                 &rettype);
 
                if (rettype != INTERNALOID)
@@ -770,7 +773,11 @@ AggregateCreate(const char *aggName,
 
 /*
  * lookup_agg_function
- * common code for finding transfn, invtransfn, finalfn, and combinefn
+ * common code for finding aggregate support functions
+ *
+ * fnName: possibly-schema-qualified function name
+ * nargs, input_types: expected function argument types
+ * variadicArgType: type of variadic argument if any, else InvalidOid
  *
  * Returns OID of function, and stores its return type into *rettype
  *

diff --git a/src/backend/executor/nodeAgg.c b/src/backend/executor/nodeAgg.c
index 2460ac496b352d38ad5659540204868705135b4b..a49af6bf6915d7ca9379d8bb2e16edb6046c455d 100644 (file)
--- a/src/backend/executor/nodeAgg.c
+++ b/src/backend/executor/nodeAgg.c
@@ -3049,8 +3049,8 @@ build_pertrans_for_aggref(AggStatePerTrans pertrans,
                if (pertrans->transfn.fn_strict && aggtranstype == INTERNALOID)
                        ereport(ERROR,
                                        (errcode(ERRCODE_INVALID_FUNCTION_DEFINITION),
-                                        errmsg("combine function for aggregate %u must be declared as STRICT",
-                                                       aggref->aggfnoid)));
+                                        errmsg("combine function with transition type %s must not be declared STRICT",
+                                                       format_type_be(aggtranstype))));
        }
        else
        {