Re: pg_verify_checksums and -fno-strict-aliasing

On Thu, Aug 30, 2018 at 07:37:37PM -0400, Tom Lane wrote:
> Some of these are safe, I think, because the buffers are only used as
> targets for read() and write(). But some are definitely broken.

Yes, I have not spent more than a couple of minutes on this issue. I
noticed some of them easily though.

> My own list of files that seem to have issues is
>
> blinsert.c
> generic_xlog.c
> ginentrypage.c
> hashpage.c
> pg_verify_checksums.c
> pg_waldump.c
> xloginsert.c
>
> The fact that some of these are pretty old and we've not noticed is
> not good. It suggests that we don't currently have any compilers in the
> buildfarm that under-align char[] arrays on the stack, which seems like
> a gotcha waiting to bite us. I wonder if there is any way to persuade
> some compiler on a non-Intel box to do that.

Agreed, that's annoying.

> Anyway, I'll work on a patch for that, unless you were on it already?

I have begun working on that and am less than halfway through it as I
needed a fresh problem, however I am not sure I would be able to finish
it today, perhaps tomorrow... If you have time and want to press on as
11 would release soon, of course feel free to wrap up more quickly than
I can.
--
Michael