BUG #18878: PostgreSQL triggers Assertion Failure in Debug build

From: PG Bug reporting form <noreply(at)postgresql(dot)org>
To: pgsql-bugs(at)lists(dot)postgresql(dot)org
Cc: luy70(at)psu(dot)edu
Subject: BUG #18878: PostgreSQL triggers Assertion Failure in Debug build
Date: 2025-04-04 19:15:14
Message-ID: 18878-a26fa5ab6be2f2cf@postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-bugs

The following bug has been logged on the website:

Bug reference: 18878
Logged by: Yu Liang
Email address: luy70(at)psu(dot)edu
PostgreSQL version: 17.4
Operating system: Ubuntu 24.04 LTS ARM64 VM
Description:

In the debug build of PostgreSQL 17.4, compiled with `configure
--enable-debug --prefix=$(pwd) --exec-prefix=$(pwd) --enable-cassert`,
triggered Assertion Failure when executing the following statement:

```sql
WITH RECURSIVE ta01 AS NOT MATERIALIZED ( WITH RECURSIVE any_cte_name AS
MATERIALIZED ( TABLE ta01 ) DELETE FROM v00 RETURNING *, CASE WHEN FALSE
THEN TRUE WHEN FALSE THEN TRUE ELSE TRUE END IDENT ) SELECT FROM JSON_ARRAY
( TABLE v00 ORDER BY CASE WHEN FALSE THEN TRUE END NULLS FIRST FOR READ
ONLY) GROUP BY ROLLUP ( CASE WHEN FALSE NOT BETWEEN ASYMMETRIC CASE WHEN
FALSE THEN TRUE END AND FALSE <> CASE WHEN EXISTS ( SELECT GROUP BY ALL ( )
FOR READ ONLY ) > CASE WHEN FALSE THEN TRUE END THEN FALSE END IS NULL THEN
ARRAY ( ( TABLE ta01 ) ) ELSE CASE WHEN TRUE BETWEEN EXISTS ( SELECT GROUP
BY ALL ( ) FOR READ ONLY ) AND TRUE IS NOT FALSE > EXISTS ( SELECT ALL GROUP
BY ( ) FOR READ ONLY ) THEN TRUE END > CASE WHEN FALSE THEN TRUE END END )
FOR READ ONLY;
```

The triggered assertion is: "cte->cterecursive || !rte->self_reference".
"src/backend/parser/parse_relation.c", Line: 2338.

Responses

Browse pgsql-bugs by date

  From Date Subject
Next Message Liang, Yu 2025-04-04 19:26:17 Re: BUG #18877: PostgreSQL triggers assertion failure
Previous Message PG Bug reporting form 2025-04-04 18:48:21 BUG #18877: PostgreSQL triggers assertion failure