Re: BUG #15121: Multiple UBSAN errors

Поиск
Список
Период
Сортировка
От Tom Lane
Тема Re: BUG #15121: Multiple UBSAN errors
Дата
Msg-id 15737.1561920764@sss.pgh.pa.us
обсуждение исходный текст
Ответ на Re: BUG #15121: Multiple UBSAN errors  (Noah Misch <noah@leadboat.com>)
Список pgsql-bugs
Noah Misch <noah@leadboat.com> writes:
> On Sun, Mar 18, 2018 at 09:02:59PM -0400, Tom Lane wrote:
>> What I think might be happening is that the compiler is taking the
>> fact that the pointer is declared as AnyArrayType *, where ...
>> to assume that the pointer must be aligned on an 8-byte boundary because
>> ExpandedArrayHeader would require that, even if we're only accessing the
>> "flt" member.

> Yep.

> Using different casts, as attached, silences these complaints without much
> change in code cosmetics.

I'd intentionally avoided using casts this way as an attempt to ensure
that these macros weren't accidentally applied to the wrong kind of
pointer.  However, avoiding UBSAN complaints (and perhaps wrong code
generation) seems like a more important goal.  This patch looks OK to me.

            regards, tom lane



В списке pgsql-bugs по дате отправления:

Предыдущее
От: Andres Freund
Дата:
Сообщение: Re: ERROR: virtual tuple table slot does not have system attributes
Следующее
От: David Rowley
Дата:
Сообщение: Re: BUG #15383: Join Filter cost estimation problem in 10.5