rdelaage
/
postgresql
mirror of https://git.postgresql.org/git/postgresql.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Tom Lane 2018-05-15 15:06:53 -04:00
parent 185f4f84d5
commit 05ca21b878
2 changed files with 19 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
src/backend/catalog/pg_aggregate.c
View File

@ -410,16 +410,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),
@ -429,14 +430,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))));
}
/*
@ -444,10 +445,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)
@ -463,11 +465,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
*

4
src/backend/executor/nodeAgg.c
View File

@ -2940,8 +2940,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
{