postgresql/src/backend/parser
Richard Guo 9d124a14b3 Enforce RETURNING typmod for empty-set JSON_ARRAY(query)
Commit 8d829f5a0 introduced a COALESCE wrapper around the
JSON_ARRAYAGG subquery so that JSON_ARRAY(query) returns '[]' rather
than NULL when the subquery yields no rows, per the SQL/JSON standard.

The empty-array Const used as the COALESCE fallback was, however,
built with typmod -1 and the type input function was likewise invoked
with typmod -1.  As a result, any length restriction from the
RETURNING clause was silently bypassed on the empty-set path, while
the non-empty path enforced it via the JSON_ARRAYAGG coercion.

Build the empty-array Const using the typmod of the COALESCE's
non-empty argument, and pass that typmod to OidInputFunctionCall as
well so the value is length-checked at parse time.  This makes the
empty-set and non-empty-set paths behave consistently.

Reported-by: Ayush Tiwari <ayushtiwari.slg01@gmail.com>
Author: Richard Guo <guofenglinux@gmail.com>
Discussion: https://postgr.es/m/CAJTYsWXPYqa58YXrU+SQMVonsAhjLS46HNUMU=wO5zm9MgY3_g@mail.gmail.com
2026-05-08 17:21:48 +09:00
..
.gitignore Convert cvsignore to gitignore, and add .gitignore for build targets. 2010-09-22 12:57:04 +02:00
analyze.c Fix UPDATE/DELETE ... WHERE CURRENT OF on a table with virtual columns. 2026-04-22 11:50:17 +01:00
check_keywords.pl Update copyright for 2026 2026-01-01 13:24:10 -05:00
gram.y Harmonize function parameter names for Postgres 19. 2026-04-22 12:47:19 -04:00
gramparse.h Update copyright for 2026 2026-01-01 13:24:10 -05:00
Makefile SQL Property Graph Queries (SQL/PGQ) 2026-03-16 10:14:18 +01:00
meson.build SQL Property Graph Queries (SQL/PGQ) 2026-03-16 10:14:18 +01:00
parse_agg.c Add UPDATE/DELETE FOR PORTION OF 2026-04-01 19:06:03 +02:00
parse_clause.c Fix collation of expressions in GRAPH_TABLE COLUMNS clause 2026-04-24 08:43:26 +02:00
parse_coerce.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_collate.c Add UPDATE/DELETE FOR PORTION OF 2026-04-01 19:06:03 +02:00
parse_cte.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_enr.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_expr.c Enforce RETURNING typmod for empty-set JSON_ARRAY(query) 2026-05-08 17:21:48 +09:00
parse_func.c Add UPDATE/DELETE FOR PORTION OF 2026-04-01 19:06:03 +02:00
parse_graphtable.c Fix collation of expressions in GRAPH_TABLE COLUMNS clause 2026-04-24 08:43:26 +02:00
parse_jsontable.c Use fallthrough attribute instead of comment 2026-02-19 08:51:12 +01:00
parse_merge.c Add UPDATE/DELETE FOR PORTION OF 2026-04-01 19:06:03 +02:00
parse_node.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_oper.c Don't include storage/lock.h in so many headers 2026-03-24 17:11:12 +01:00
parse_param.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_relation.c SQL Property Graph Queries (SQL/PGQ) 2026-03-16 10:14:18 +01:00
parse_target.c SQL Property Graph Queries (SQL/PGQ) 2026-03-16 10:14:18 +01:00
parse_type.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_utilcmd.c Message corrections for partition split/merge commands 2026-05-07 19:10:35 +07:00
parser.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
README Update parser README to include parse_jsontable.c 2025-09-08 10:07:14 +09:00
scan.l SQL Property Graph Queries (SQL/PGQ) 2026-03-16 10:14:18 +01:00
scansup.c Update copyright for 2026 2026-01-01 13:24:10 -05:00

src/backend/parser/README

Parser
======

This directory does more than tokenize and parse SQL queries.  It also
creates Query structures for the various complex queries that are passed
to the optimizer and then executor.

parser.c	things start here
scan.l		break query into tokens
scansup.c	handle escapes in input strings
gram.y		parse the tokens and produce a "raw" parse tree
analyze.c	top level of parse analysis for optimizable queries
parse_agg.c	handle aggregates, like SUM(col1),  AVG(col2), ...
parse_clause.c	handle clauses like WHERE, ORDER BY, GROUP BY, ...
parse_coerce.c	handle coercing expressions to different data types
parse_collate.c	assign collation information in completed expressions
parse_cte.c	handle Common Table Expressions (WITH clauses)
parse_expr.c	handle expressions like col, col + 3, x = 3 or x = 4
parse_enr.c	handle ephemeral named rels (trigger transition tables, ...)
parse_func.c	handle functions, table.column and column identifiers
parse_jsontable.c handle JSON_TABLE
parse_merge.c	handle MERGE
parse_node.c	create nodes for various structures
parse_oper.c	handle operators in expressions
parse_param.c	handle Params (for the cases used in the core backend)
parse_relation.c support routines for tables and column handling
parse_target.c	handle the result list of the query
parse_type.c	support routines for data type handling
parse_utilcmd.c	parse analysis for utility commands (done at execution time)

See also src/common/keywords.c, which contains the table of standard
keywords and the keyword lookup function.  We separated that out because
various frontend code wants to use it too.