Re: index scan leads to result that is different from sec scan after upgrading to 8.3.4

Teodor Sigaev <teodor(at)sigaev(dot)ru> writes:
> I still can't reproduce the bug, but found useless recheck condition with bitmap
> check:

> select 1 as st , 1::int4 as t into qq from generate_series(1,10000) as t;
> create index qqidx on qq using gist (st) where t =1;
> INSERT INTO qq (SELECT (4 * random())::int4, (4 * random())::int4 from
> generate_series(1,10000));

> # explain select t, count(1) from qq where t =1 group by t;
> QUERY PLAN
> -----------------------------------------------------------------------------
> GroupAggregate (cost=19.62..633.49 rows=1 width=2)
> -> Bitmap Heap Scan on qq (cost=19.62..630.28 rows=640 width=2)
> Recheck Cond: (t = 1)
> -> Bitmap Index Scan on qqidx (cost=0.00..19.46 rows=640 width=0)

No, it's not useless. If the bitmap goes lossy, we have to recheck the
index predicate too, because we'll be looking at all rows on the
indicated page(s) and there's no guarantee that they all match the
predicate.

regards, tom lane