postgresql/src/backend/parser
Álvaro Herrera 7dd1532595
IS JSON/JSON(): Protect against expressions uncoercible to text
transformJsonParseArg() was not careful enough on generation of
transformed expressions when starting from expressions that are not
coercible to text but are in the string type category: it failed to
verify that coerce_to_target_type() succeeds, and returned a NULL
pointer.  This leads to a later NULL dereference and crash at executor
time.

This escaped noticed because it cannot happen for built-in types, all of
which have casts to text.  Only user-created types are potentially
problematic.

Fix by raising an error when a cast to text doesn't exist.

This mistake came in with commit 6ee30209a6.

Author: Ayush Tiwari <ayushtiwari.slg01@gmail.com>
Reported-by: Chi Zhang <798604270@qq.com>
Reviewed-by: Srinath Reddy Sadipiralla <srinath2133@gmail.com>
Backpatch-through: 16
Discussion: https://postgr.es/m/19491-7aafc221ec63f288@postgresql.org
2026-06-11 16:17:58 +02:00
..
.gitignore Convert cvsignore to gitignore, and add .gitignore for build targets. 2010-09-22 12:57:04 +02:00
analyze.c Require UPDATE permission on FOR PORTION OF column 2026-06-04 11:48:35 +02: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 Pre-beta mechanical code beautification, step 1: run pgindent. 2026-05-13 10:34:17 -04:00
parse_coerce.c Fix parsing of parenthesised OLD/NEW in RETURNING list. 2026-06-11 12:08:47 +01: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 IS JSON/JSON(): Protect against expressions uncoercible to text 2026-06-11 16:17:58 +02:00
parse_func.c Fix parsing of parenthesised OLD/NEW in RETURNING list. 2026-06-11 12:08:47 +01: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 Pre-beta mechanical code beautification, step 1: run pgindent. 2026-05-13 10:34:17 -04:00
parse_param.c Update copyright for 2026 2026-01-01 13:24:10 -05:00
parse_relation.c Fix parsing of parenthesised OLD/NEW in RETURNING list. 2026-06-11 12:08:47 +01:00
parse_target.c Fix parsing of parenthesised OLD/NEW in RETURNING list. 2026-06-11 12:08:47 +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.