mirror of
https://github.com/postgres/postgres.git
synced 2025-10-28 11:55:03 +03:00
Looking up a nonexistent user ID would lead to a null pointer
dereference. That's unlikely to happen here, but perhaps
not impossible.
Thinko in commit 4d5111b3f, noticed by Coverity.