has_column_privilege behavior (was Re: Assert failed in snprintf.c)

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: Jaime Casanova <jaime(dot)casanova(at)2ndquadrant(dot)com>
Cc: Pg Hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: has_column_privilege behavior (was Re: Assert failed in snprintf.c)
Date: 2018-10-01 17:47:35
Message-ID: 13338.1538416055@sss.pgh.pa.us
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

I wrote:
> Jaime Casanova <jaime(dot)casanova(at)2ndquadrant(dot)com> writes:
>> sqlsmith made it again, attached is the query (run against regression
>> database) that makes the assert fail and the backtrace.
>> this happens in head only (or at least 11 is fine).

> Ah. Looks like the has_column_privilege stuff is incautious about whether
> it's handed a valid table OID:
> regression=# select has_column_privilege(42::oid, 'z'::text, 'q'::text);
> server closed the connection unexpectedly

So my first thought was to just throw an error for bad table OID,
as per the attached quick-hack patch.

However, on closer inspection, I wonder whether that's what we really
want. The rest of the OID-taking have_foo_privilege functions are
designed to return null, not fail, if handed a bad OID. This is meant to
allow queries scanning system catalogs to not die if an object is
concurrently dropped. So I think this should do likewise.

But it's not quite clear to me what we want the behavior for bad column
name to be. A case could be made for either of:

* If either the table OID is bad, or the OID is OK but there's no such
column, return null.

* Return null for bad OID, but if it's OK, continue to throw error
for bad column name.

The second case seems weirdly inconsistent, but it might actually
be the most useful definition. Not detecting a misspelled column
name is likely to draw complaints.

Thoughts?

regards, tom lane

Attachment Content-Type Size
stop-crash-in-convert_column_name.patch text/x-diff 871 bytes

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Stephen Frost 2018-10-01 18:41:53 Re: has_column_privilege behavior (was Re: Assert failed in snprintf.c)
Previous Message Andres Freund 2018-10-01 17:28:03 Re: [HACKERS] kqueue