Re: [HACKERS] AssertArg failure in src/backend/executor/functions.c:check_sql_fn_retval()

On 2016-03-27 16:40, Tom Lane wrote: Hm. I would argue that it should have rejected CAST(NULL AS ANYARRAY). That's a pseudotype and so there should never be an actual value of that type, not even a null value. I'm a little confused about what you mean here. I thought reject was exactly

Re: [HACKERS] AssertArg failure in src/backend/executor/functions.c:check_sql_fn_retval()

Piotr Stefaniak writes: > using sqlsmith I found a way to induce an AssertArg failure in > src/backend/executor/functions.c:check_sql_fn_retval() for > assert-enabled builds. It boils down to creating a function and calling > it like this: > CREATE FUNCTION

[HACKERS] AssertArg failure in src/backend/executor/functions.c:check_sql_fn_retval()

Hi, using sqlsmith I found a way to induce an AssertArg failure in src/backend/executor/functions.c:check_sql_fn_retval() for assert-enabled builds. It boils down to creating a function and calling it like this: CREATE FUNCTION bad_argument_assert(anyarray, integer) RETURNS anyarray