On 10/04/2024 21:07, Ranier Vilela wrote:
> Hi,
>
> Per Coverity.
>
> The function ReorderBufferTXNByXid,
> can return NULL when the parameter *create* is false.
>
> In the functions ReorderBufferSetBaseSnapshot
> and ReorderBufferXidHasBaseSnapshot,
> the second call to ReorderBufferTXNByXid,
> pass false to *create* argument.
>
> In the function ReorderBufferSetBaseSnapshot,
> fixed passing true as argument to always return
> a valid ReorderBufferTXN pointer.
>
> In the function ReorderBufferXidHasBaseSnapshot,
> fixed by checking if the pointer is NULL.
If it's a "known subxid", the top-level XID should already have its
ReorderBufferTXN entry, so ReorderBufferTXN() should never return NULL.
It's not surprising if Coverity doesn't understand that, but setting the
'create' flag doesn't seem like the right fix. If we add "Assert(txn !=
NULL)", does that silence it?
--
Heikki Linnakangas
Neon (https://neon.tech)