Re: Division by zero in planner.c:grouping_planner()

Qingqing Zhou <zhouqq(dot)postgres(at)gmail(dot)com> writes:
> On Wed, Jul 29, 2015 at 11:26 AM, Piotr Stefaniak
> <postgres(at)piotr-stefaniak(dot)me> wrote:
>> + Assert(path_rows != 0);
>> if (tuple_fraction >= 1.0)
>> tuple_fraction /= path_rows;
>> }
>>

> This does not sounds right: path_rows only used when tuple_fractions
>> = 1.0. So the new Assert is an overkill.

Well, the point is that we'll get a zero-divide if path_rows is zero.

It looks to me like the planner has managed to prove that the result
is empty (because a=3 contradicts a>5), so it's marked the final_rel
as dummy, which includes setting its rows estimate to zero. In most
situations relation rows estimates aren't allowed to be zero, which
is how come this code isn't expecting the case ... but it needs to
cope with it.

regards, tom lane