Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Subject: BUG #19619: WHERE scale(n) = 1 pushed past GROUP BY / window
 PARTITION BY, wrong COUNT
To: pgsql-bugs@lists.postgresql.org
From: PG Bug reporting form <noreply@postgresql.org>
Cc: malis@pgrust.com
Reply-To: malis@pgrust.com, pgsql-bugs@lists.postgresql.org
Date: Fri, 14 Aug 2026 17:41:02 +0000
Message-ID: <19619-fc646db1c6b2dc90@postgresql.org>
Auto-Submitted: auto-generated
Archived-At: 
 <https://www.postgresql.org/message-id/19619-fc646db1c6b2dc90%40postgresql.org>
Precedence: bulk

The following bug has been logged on the website:

Bug reference:      19619
Logged by:          Michael Malis
Email address:      malis@pgrust.com
PostgreSQL version: 18.6
Operating system:   MacOS
Description:       =20

The planner pushes WHERE scale(n) =3D 1 (and the equivalent HAVING) past
GROUP BY n and window PARTITION BY n.  numeric values 1.0, 1.00 and
1.000 compare equal, so they form one group / one window partition, but
scale() distinguishes them.  Pushing the filter into the scan drops two
of the three rows before the aggregate or window runs, so COUNT(*) is 1
instead of 3.  Wrong answers, not a crash.

Version: PostgreSQL 18.6 on aarch64-apple-darwin24.5.0, compiled by
Apple clang version 17.0.0 (clang-1700.0.13.5), 64-bit
Configure: --enable-cassert --enable-debug


Reproducer
----------

CREATE TABLE nums (n numeric);
INSERT INTO nums VALUES (1.0), (1.00), (1.000);
ANALYZE nums;

-- Wrong: filter is pushed below the window
SELECT n, c FROM (
  SELECT n, COUNT(*) OVER (PARTITION BY n) AS c
  FROM nums
) s
WHERE scale(n) =3D 1
ORDER BY 1;

-- Correct: OFFSET 0 blocks pushdown; filter stays above the window
SELECT n, c FROM (
  SELECT n, COUNT(*) OVER (PARTITION BY n) AS c
  FROM nums
  OFFSET 0
) s
WHERE scale(n) =3D 1
ORDER BY 1;

-- Same bug for GROUP BY
SELECT c FROM (
  SELECT n, COUNT(*)::int AS c FROM nums GROUP BY n
) s
WHERE scale(n) =3D 1;

SELECT c FROM (
  SELECT n, COUNT(*)::int AS c FROM nums GROUP BY n OFFSET 0
) s
WHERE scale(n) =3D 1;

-- Same bug for HAVING (moved to WHERE)
SELECT n, COUNT(*)::int AS c FROM nums GROUP BY n HAVING scale(n) =3D 1;