Make assorted quality-of-life improvements in gen_node_support.pl.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 9 Jul 2022 19:15:05 +0000 (15:15 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 9 Jul 2022 19:15:05 +0000 (15:15 -0400)
commit8eccaf65254225921d6fd1f3bfa23e8a0b1f6bbb
treec3c8c90938e9578cfe64f0cbd257b3b10a92c827
parent3cd0ac987819280eb8dd3e0997f0294b8bc6355a
Make assorted quality-of-life improvements in gen_node_support.pl.

Fix incorrect reporting of the location of errors (such as bogus
node attributes).  Add header comments to the generated files,
containing copyright notices and reminders that they are generated
files, as we do in other file-generating scripts.  Arrange to not
leave a clutter of temporary files when the script detects an error.

Discussion: https://postgr.es/m/3843645.1657385930@sss.pgh.pa.us
src/backend/nodes/gen_node_support.pl