Re: [BUG FIX] Uninitialized var fargtypes used.
Kyotaro Horiguchi <horikyota.ntt@gmail.com>
From: Kyotaro Horiguchi <horikyota.ntt@gmail.com>
To: tgl@sss.pgh.pa.us
Cc: ranier_gyn@hotmail.com, pgsql-bugs@lists.postgresql.org
Date: 2019-11-12T07:22:01Z
Lists: pgsql-bugs
Attachments
- Allow_NULL_toLookupFuncNameInternal.patch (text/x-patch) patch
At Mon, 11 Nov 2019 12:32:38 -0500, Tom Lane <tgl@sss.pgh.pa.us> wrote in
> Ranier Vilela <ranier_gyn@hotmail.com> writes:
> > Can anyone check this bug fix?
>
> > - Oid fargtypes[1]; /* dummy */
> > + Oid fargtypes[1] = {InvalidOid, InvalidOid}; /* dummy */
>
> Well, it's wrong on its face, because that array only has one element
> not two. But why do you care? The element will never be accessed.
>
> The only reason we declare this variable at all is that LookupFuncName
> requires a non-null pointer, which if memory serves is because memcmp()
> with a null pointer is formally undefined even if the count is zero,
> cf commit 0a52d378b.
Yes, what is needed there is a valid pointer with any content.
> Maybe it would've been better to make LookupFuncName deal with the
> case instead of requiring callers to do strange things. But I don't
> see any bug here.
Actually it's not an actual bug but a cosmetic adjustment, but not
that bad, I think. Requiring dummy pointer is already a strange thing.
By the way looking closer the function, IIUC, very small change can do
that.
> /*
> * If no arguments were specified, the name must yield a unique candidate.
> */
> if (nargs < 0)
> {
We can change the condition with "nargs <= 0" and it should return the
only element in clist. If the catalog is broken we may get
FUNCLOOKUP_AMBIGUOUS but it seems rather the correct behavior.
This allows argtypes == NULL and makes the caller-side tweak useless.
Thoughts?
--
Kyotaro Horiguchi
NTT Open Source Software Center
Commits
-
Finish reverting commit 0a52d378b.
- 112caf9039f4 13.0 landed
-
Have LookupFuncName accept NULL argtypes for 0 args
- dcb7d3cafa31 13.0 landed
-
Avoid passing NULL to memcmp() in lookups of zero-argument functions.
- 0a52d378b03b 9.5.0 cited