pg.ddx.io  pgsql-committers@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Tom Lane <tgl@sss.pgh.pa.us>
To: pgsql-committers@lists.postgresql.org
Subject: pgsql: ecpg: add cross-checks to parse.pl for usage of internal tables.
Date: Mon, 14 Oct 2024 19:59:39 +0000
Message-ID: <E1t0REB-000pvg-Jm@gemulon.postgresql.org> (raw)

ecpg: add cross-checks to parse.pl for usage of internal tables.

parse.pl contains several constant tables that describe tweaks
to be made to the backend grammar.  In the same spirit as
00b0e7204, add cross-checks that each table entry is used at
least once (or exactly once if that's appropriate).  This should
help catch cases where adjustments to the backend grammar cause
a table entry not to match as expected.

Per suggestion from Michael Paquier.

Discussion: https://postgr.es/m/ZsLVbjsc5x5Saesg@paquier.xyz

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/d2f41b4621de6d0e9eeaa4ea1d60cad190406f5e

Modified Files
--------------
src/interfaces/ecpg/preproc/parse.pl | 41 ++++++++++++++++++++++++++++++++++--
1 file changed, 39 insertions(+), 2 deletions(-)



Message-ID: <E1t0REB-000pvg-Jm@gemulon.postgresql.org>
Permalink:  ../E1t0REB-000pvg-Jm@gemulon.postgresql.org/
Also on:    postgresql.org/message-id/E1t0REB-000pvg-Jm@gemulon.postgresql.org

 · 

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: pgsql-committers@postgresql.org
  Cc: tgl@sss.pgh.pa.us, pgsql-committers@lists.postgresql.org
  Subject: Re: pgsql: ecpg: add cross-checks to parse.pl for usage of internal tables.
  In-Reply-To: <E1t0REB-000pvg-Jm@gemulon.postgresql.org>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox