Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version

Поиск
Список
Период
Сортировка
От Pedro Gimeno
Тема Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Дата
Msg-id 5512FE17.6020702@personal.formauri.es
обсуждение исходный текст
Ответ на Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version  (Tom Lane <tgl@sss.pgh.pa.us>)
Список pgsql-bugs
Tom Lane wrote, On 2015-03-25 18:57:
> Hmm ... I'm thinking we probably should explicitly check for inf and NaN,
> no?
>
>     if (isnan(x) || isinf(x))
>        return x;
>
> It's possible the given coding would return this result anyway by
> accident, but that seems rather fragile.

I agree about NaN; it worked but mostly by accident. The big number
detection catches infinity unambiguously. Added to a comment in the
attached (plus corresponding tests).


Вложения

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

Предыдущее
От: Pedro Gimeno
Дата:
Сообщение: Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
Следующее
От: Duncan Smith
Дата:
Сообщение: Wire protocol encoding for 'inet' type is defined unreliably