Hi,
On 2018-10-15 21:50:51 -0700, Andres Freund wrote:
> .data 0000000000000028 spi_printtupDR
> .data 0000000000000028 printsimpleDR
> .data 0000000000000028 donothingDR
> .data 0000000000000028 debugtupDR
>
> These we could actually make constant, but CreateDestReceiver() as an
> API makes that inconvenient. They also are pretty darn small... There's
> a security benefit in making them constant and casting the constness
> away - I think that might not be insane.
I.e. do something like the attached.
Greetings,
Andres Freund