mirror of
https://github.com/postgres/postgres.git
synced 2025-08-27 07:42:10 +03:00
actually check the returned pointer allocated, potentially NULL which could be the result of a malloc call. Issue noted by Coverity, fixed by Michael Paquier <michael@otacoo.com>