On 17.10.2023 07:02, Amit Langote wrote:
One thing jian he missed during the debugging is that ExecEvalJsonExprCoersion() receives the EMPTY ARRAY value via *op->resvalue/resnull, set by ExecEvalJsonExprBehavior(), because that's the ON EMPTY behavior specified in the constraint. The bug was that the code in ExecEvalJsonExprCoercion() failed to set val_string to that value ("[]") before passing to InputFunctionCallSafe(), so the latter would assume the input is NULL.
Thank a lot for this remark! I tried to dig to the transformJsonOutput() to fix it earlier at the analyze stage, but it looks like a rather hard way. Maybe simple in accordance with you note remove the second condition from this line: if (jb && JB_ROOT_IS_SCALAR(jb)) ? There is a simplified reproduction before such a fix: postgres=# select JSON_QUERY(jsonb '[]', '$' RETURNING char(5) OMIT QUOTES EMPTY ON EMPTY); server closed the connection unexpectedly This probably means the server terminated abnormally after: postgres=# select JSON_QUERY(jsonb '[]', '$' RETURNING char(5) OMIT QUOTES EMPTY ON EMPTY); json_query ------------ [] (1 row) And at the moment i havn't found any side effects of that fix. Please point me if i'm missing something. With the best wishes! -- Anton A. Melnikov Postgres Professional: http://www.postgrespro.com The Russian Postgres Company