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: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
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>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@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>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@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>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
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>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Dean Rasheed <dean.a.rasheed@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
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
Дата:
От: Duncan Smith
Дата:
FAQ