Re: NULL checks of deferenced pointers in picksplit method of intarray - Mailing list pgsql-hackers

From Kevin Grittner
Subject Re: NULL checks of deferenced pointers in picksplit method of intarray
Date
Msg-id 1885338644.4651964.1424123379545.JavaMail.yahoo@mail.yahoo.com
Whole thread Raw
In response to NULL checks of deferenced pointers in picksplit method of intarray  (Michael Paquier <michael.paquier@gmail.com>)
Responses Re: NULL checks of deferenced pointers in picksplit method of intarray  (Michael Paquier <michael.paquier@gmail.com>)
List pgsql-hackers
Michael Paquier <michael.paquier@gmail.com> wrote:

> Coverity is pointing out that _int_split.c has unnecessary checks
> for deferenced pointers in 5 places.

> Attached is a patch to adjust those things.

Pushed.  Thanks!

> Also, as far as I understood from this code, no elements
> manipulated are NULL, perhaps this is worth an assertion?

I'm not clear where you were thinking of, but anyway that seemed
like a separate patch if we're going to do it, so I went ahead with
pushing the issued Coverity flagged.  The arguments to the function
don't need such a check because the function is exposed to SQL with
the STRICT option (but you probably already knew that).  While
reviewing the safety of this patch the only place that I ran across
that I felt maybe deserved an assertion was that n >= 0 near the
top of copy_intArrayType(), but that seems marginal.

--
Kevin Grittner
EDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company



pgsql-hackers by date:

Previous
From: Bruce Momjian
Date:
Subject: Re: Allow "snapshot too old" error, to prevent bloat
Next
From: Petr Jelinek
Date:
Subject: Re: TABLESAMPLE patch