On Wed, Jul 31, 2019 at 12:54:10PM +0300, Sergei Kornilov wrote:
> I think this was already fixed for a long time:
> https://www.postgresql.org/docs/11/release-11-2.html
> Fix crash when zero rows are fed to json[b]_populate_recordset()
> or json[b]_to_recordset() (Tom Lane)
Yes, this has been fixed and it matches to this commit:
commit: eba2ce17121f198316d050e71d8bd049a43783ba
author: Tom Lane <tgl@sss.pgh.pa.us>
date: Thu, 22 Nov 2018 15:14:01 -0500
Fix another crash in json{b}_populate_recordset and json{b}_to_recordset.
And here is the related thread:
https://www.postgresql.org/message-id/15514-59d5b4c4065b178b@postgresql.org
--
Michael