Re: Dereferenced pointers checked as NULL in btree_utils_var.c - Mailing list pgsql-hackers

From Tom Lane
Subject Re: Dereferenced pointers checked as NULL in btree_utils_var.c
Date
Msg-id 10091.1421764688@sss.pgh.pa.us
Whole thread Raw
In response to Dereferenced pointers checked as NULL in btree_utils_var.c  (Michael Paquier <michael.paquier@gmail.com>)
Responses Re: Dereferenced pointers checked as NULL in btree_utils_var.c
List pgsql-hackers
Michael Paquier <michael.paquier@gmail.com> writes:
> Coverity is pointing out $subject, with the following stuff in gbt_var_same():
> ...
> As Heikki pointed me out on IM, the lack of crash report in this area,
> as well as similar coding style in cube/ seem to be sufficient
> arguments to simply remove those NULL checks instead of doing more
> solid checks on them. Patch is attached.

The way to form a convincing argument that these checks are unnecessary
would be to verify that (1) the SQL-accessible functions directly calling
gbt_var_same() are all marked STRICT, and (2) the core GIST code never
passes a NULL to these support functions.  I'm prepared to believe that
(1) and (2) are both true, but it merits checking.
        regards, tom lane



pgsql-hackers by date:

Previous
From: Amit Kapila
Date:
Subject: Re: Parallel Seq Scan
Next
From: Amit Kapila
Date:
Subject: Re: parallel mode and parallel contexts