PostgreSQL Source Code  git master
parse_relation.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * parse_relation.c
4  * parser support routines dealing with relations
5  *
6  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
7  * Portions Copyright (c) 1994, Regents of the University of California
8  *
9  *
10  * IDENTIFICATION
11  * src/backend/parser/parse_relation.c
12  *
13  *-------------------------------------------------------------------------
14  */
15 #include "postgres.h"
16 
17 #include <ctype.h>
18 
19 #include "access/htup_details.h"
20 #include "access/relation.h"
21 #include "access/sysattr.h"
22 #include "access/table.h"
23 #include "catalog/heap.h"
24 #include "catalog/namespace.h"
25 #include "catalog/pg_type.h"
26 #include "funcapi.h"
27 #include "nodes/makefuncs.h"
28 #include "nodes/nodeFuncs.h"
29 #include "parser/parse_enr.h"
30 #include "parser/parse_relation.h"
31 #include "parser/parse_type.h"
32 #include "parser/parsetree.h"
33 #include "storage/lmgr.h"
34 #include "utils/builtins.h"
35 #include "utils/lsyscache.h"
36 #include "utils/rel.h"
37 #include "utils/syscache.h"
38 #include "utils/varlena.h"
39 
40 
41 /*
42  * Support for fuzzily matching columns.
43  *
44  * This is for building diagnostic messages, where multiple or non-exact
45  * matching attributes are of interest.
46  *
47  * "distance" is the current best fuzzy-match distance if rfirst isn't NULL,
48  * otherwise it is the maximum acceptable distance plus 1.
49  *
50  * rfirst/first record the closest non-exact match so far, and distance
51  * is its distance from the target name. If we have found a second non-exact
52  * match of exactly the same distance, rsecond/second record that. (If
53  * we find three of the same distance, we conclude that "distance" is not
54  * a tight enough bound for a useful hint and clear rfirst/rsecond again.
55  * Only if we later find something closer will we re-populate rfirst.)
56  *
57  * rexact1/exact1 record the location of the first exactly-matching column,
58  * if any. If we find multiple exact matches then rexact2/exact2 record
59  * another one (we don't especially care which). Currently, these get
60  * populated independently of the fuzzy-match fields.
61  */
62 typedef struct
63 {
64  int distance; /* Current or limit distance */
65  RangeTblEntry *rfirst; /* RTE of closest non-exact match, or NULL */
66  AttrNumber first; /* Col index in rfirst */
67  RangeTblEntry *rsecond; /* RTE of another non-exact match w/same dist */
68  AttrNumber second; /* Col index in rsecond */
69  RangeTblEntry *rexact1; /* RTE of first exact match, or NULL */
70  AttrNumber exact1; /* Col index in rexact1 */
71  RangeTblEntry *rexact2; /* RTE of second exact match, or NULL */
72  AttrNumber exact2; /* Col index in rexact2 */
74 
75 #define MAX_FUZZY_DISTANCE 3
76 
77 
79  const char *refname,
80  int location);
82  int location);
83 static void check_lateral_ref_ok(ParseState *pstate, ParseNamespaceItem *nsitem,
84  int location);
85 static int scanRTEForColumn(ParseState *pstate, RangeTblEntry *rte,
86  Alias *eref,
87  const char *colname, int location,
88  int fuzzy_rte_penalty,
89  FuzzyAttrMatchState *fuzzystate);
90 static void markRTEForSelectPriv(ParseState *pstate,
91  int rtindex, AttrNumber col);
92 static void expandRelation(Oid relid, Alias *eref,
93  int rtindex, int sublevels_up,
94  int location, bool include_dropped,
95  List **colnames, List **colvars);
96 static void expandTupleDesc(TupleDesc tupdesc, Alias *eref,
97  int count, int offset,
98  int rtindex, int sublevels_up,
99  int location, bool include_dropped,
100  List **colnames, List **colvars);
101 static int specialAttNum(const char *attname);
102 static bool rte_visible_if_lateral(ParseState *pstate, RangeTblEntry *rte);
103 static bool rte_visible_if_qualified(ParseState *pstate, RangeTblEntry *rte);
104 static bool isQueryUsingTempRelation_walker(Node *node, void *context);
105 
106 
107 /*
108  * refnameNamespaceItem
109  * Given a possibly-qualified refname, look to see if it matches any visible
110  * namespace item. If so, return a pointer to the nsitem; else return NULL.
111  *
112  * Optionally get nsitem's nesting depth (0 = current) into *sublevels_up.
113  * If sublevels_up is NULL, only consider items at the current nesting
114  * level.
115  *
116  * An unqualified refname (schemaname == NULL) can match any item with matching
117  * alias, or matching unqualified relname in the case of alias-less relation
118  * items. It is possible that such a refname matches multiple items in the
119  * nearest nesting level that has a match; if so, we report an error via
120  * ereport().
121  *
122  * A qualified refname (schemaname != NULL) can only match a relation item
123  * that (a) has no alias and (b) is for the same relation identified by
124  * schemaname.refname. In this case we convert schemaname.refname to a
125  * relation OID and search by relid, rather than by alias name. This is
126  * peculiar, but it's what SQL says to do.
127  */
130  const char *schemaname,
131  const char *refname,
132  int location,
133  int *sublevels_up)
134 {
135  Oid relId = InvalidOid;
136 
137  if (sublevels_up)
138  *sublevels_up = 0;
139 
140  if (schemaname != NULL)
141  {
142  Oid namespaceId;
143 
144  /*
145  * We can use LookupNamespaceNoError() here because we are only
146  * interested in finding existing RTEs. Checking USAGE permission on
147  * the schema is unnecessary since it would have already been checked
148  * when the RTE was made. Furthermore, we want to report "RTE not
149  * found", not "no permissions for schema", if the name happens to
150  * match a schema name the user hasn't got access to.
151  */
152  namespaceId = LookupNamespaceNoError(schemaname);
153  if (!OidIsValid(namespaceId))
154  return NULL;
155  relId = get_relname_relid(refname, namespaceId);
156  if (!OidIsValid(relId))
157  return NULL;
158  }
159 
160  while (pstate != NULL)
161  {
162  ParseNamespaceItem *result;
163 
164  if (OidIsValid(relId))
165  result = scanNameSpaceForRelid(pstate, relId, location);
166  else
167  result = scanNameSpaceForRefname(pstate, refname, location);
168 
169  if (result)
170  return result;
171 
172  if (sublevels_up)
173  (*sublevels_up)++;
174  else
175  break;
176 
177  pstate = pstate->parentParseState;
178  }
179  return NULL;
180 }
181 
182 /*
183  * Search the query's table namespace for an item matching the
184  * given unqualified refname. Return the nsitem if a unique match, or NULL
185  * if no match. Raise error if multiple matches.
186  *
187  * Note: it might seem that we shouldn't have to worry about the possibility
188  * of multiple matches; after all, the SQL standard disallows duplicate table
189  * aliases within a given SELECT level. Historically, however, Postgres has
190  * been laxer than that. For example, we allow
191  * SELECT ... FROM tab1 x CROSS JOIN (tab2 x CROSS JOIN tab3 y) z
192  * on the grounds that the aliased join (z) hides the aliases within it,
193  * therefore there is no conflict between the two RTEs named "x". However,
194  * if tab3 is a LATERAL subquery, then from within the subquery both "x"es
195  * are visible. Rather than rejecting queries that used to work, we allow
196  * this situation, and complain only if there's actually an ambiguous
197  * reference to "x".
198  */
199 static ParseNamespaceItem *
200 scanNameSpaceForRefname(ParseState *pstate, const char *refname, int location)
201 {
202  ParseNamespaceItem *result = NULL;
203  ListCell *l;
204 
205  foreach(l, pstate->p_namespace)
206  {
208 
209  /* Ignore columns-only items */
210  if (!nsitem->p_rel_visible)
211  continue;
212  /* If not inside LATERAL, ignore lateral-only items */
213  if (nsitem->p_lateral_only && !pstate->p_lateral_active)
214  continue;
215 
216  if (strcmp(nsitem->p_names->aliasname, refname) == 0)
217  {
218  if (result)
219  ereport(ERROR,
220  (errcode(ERRCODE_AMBIGUOUS_ALIAS),
221  errmsg("table reference \"%s\" is ambiguous",
222  refname),
223  parser_errposition(pstate, location)));
224  check_lateral_ref_ok(pstate, nsitem, location);
225  result = nsitem;
226  }
227  }
228  return result;
229 }
230 
231 /*
232  * Search the query's table namespace for a relation item matching the
233  * given relation OID. Return the nsitem if a unique match, or NULL
234  * if no match. Raise error if multiple matches.
235  *
236  * See the comments for refnameNamespaceItem to understand why this
237  * acts the way it does.
238  */
239 static ParseNamespaceItem *
240 scanNameSpaceForRelid(ParseState *pstate, Oid relid, int location)
241 {
242  ParseNamespaceItem *result = NULL;
243  ListCell *l;
244 
245  foreach(l, pstate->p_namespace)
246  {
248  RangeTblEntry *rte = nsitem->p_rte;
249 
250  /* Ignore columns-only items */
251  if (!nsitem->p_rel_visible)
252  continue;
253  /* If not inside LATERAL, ignore lateral-only items */
254  if (nsitem->p_lateral_only && !pstate->p_lateral_active)
255  continue;
256 
257  /* yes, the test for alias == NULL should be there... */
258  if (rte->rtekind == RTE_RELATION &&
259  rte->relid == relid &&
260  rte->alias == NULL)
261  {
262  if (result)
263  ereport(ERROR,
264  (errcode(ERRCODE_AMBIGUOUS_ALIAS),
265  errmsg("table reference %u is ambiguous",
266  relid),
267  parser_errposition(pstate, location)));
268  check_lateral_ref_ok(pstate, nsitem, location);
269  result = nsitem;
270  }
271  }
272  return result;
273 }
274 
275 /*
276  * Search the query's CTE namespace for a CTE matching the given unqualified
277  * refname. Return the CTE (and its levelsup count) if a match, or NULL
278  * if no match. We need not worry about multiple matches, since parse_cte.c
279  * rejects WITH lists containing duplicate CTE names.
280  */
282 scanNameSpaceForCTE(ParseState *pstate, const char *refname,
283  Index *ctelevelsup)
284 {
285  Index levelsup;
286 
287  for (levelsup = 0;
288  pstate != NULL;
289  pstate = pstate->parentParseState, levelsup++)
290  {
291  ListCell *lc;
292 
293  foreach(lc, pstate->p_ctenamespace)
294  {
295  CommonTableExpr *cte = (CommonTableExpr *) lfirst(lc);
296 
297  if (strcmp(cte->ctename, refname) == 0)
298  {
299  *ctelevelsup = levelsup;
300  return cte;
301  }
302  }
303  }
304  return NULL;
305 }
306 
307 /*
308  * Search for a possible "future CTE", that is one that is not yet in scope
309  * according to the WITH scoping rules. This has nothing to do with valid
310  * SQL semantics, but it's important for error reporting purposes.
311  */
312 static bool
313 isFutureCTE(ParseState *pstate, const char *refname)
314 {
315  for (; pstate != NULL; pstate = pstate->parentParseState)
316  {
317  ListCell *lc;
318 
319  foreach(lc, pstate->p_future_ctes)
320  {
321  CommonTableExpr *cte = (CommonTableExpr *) lfirst(lc);
322 
323  if (strcmp(cte->ctename, refname) == 0)
324  return true;
325  }
326  }
327  return false;
328 }
329 
330 /*
331  * Search the query's ephemeral named relation namespace for a relation
332  * matching the given unqualified refname.
333  */
334 bool
335 scanNameSpaceForENR(ParseState *pstate, const char *refname)
336 {
337  return name_matches_visible_ENR(pstate, refname);
338 }
339 
340 /*
341  * searchRangeTableForRel
342  * See if any RangeTblEntry could possibly match the RangeVar.
343  * If so, return a pointer to the RangeTblEntry; else return NULL.
344  *
345  * This is different from refnameNamespaceItem in that it considers every
346  * entry in the ParseState's rangetable(s), not only those that are currently
347  * visible in the p_namespace list(s). This behavior is invalid per the SQL
348  * spec, and it may give ambiguous results (there might be multiple equally
349  * valid matches, but only one will be returned). This must be used ONLY
350  * as a heuristic in giving suitable error messages. See errorMissingRTE.
351  *
352  * Notice that we consider both matches on actual relation (or CTE) name
353  * and matches on alias.
354  */
355 static RangeTblEntry *
357 {
358  const char *refname = relation->relname;
359  Oid relId = InvalidOid;
360  CommonTableExpr *cte = NULL;
361  bool isenr = false;
362  Index ctelevelsup = 0;
363  Index levelsup;
364 
365  /*
366  * If it's an unqualified name, check for possible CTE matches. A CTE
367  * hides any real relation matches. If no CTE, look for a matching
368  * relation.
369  *
370  * NB: It's not critical that RangeVarGetRelid return the correct answer
371  * here in the face of concurrent DDL. If it doesn't, the worst case
372  * scenario is a less-clear error message. Also, the tables involved in
373  * the query are already locked, which reduces the number of cases in
374  * which surprising behavior can occur. So we do the name lookup
375  * unlocked.
376  */
377  if (!relation->schemaname)
378  {
379  cte = scanNameSpaceForCTE(pstate, refname, &ctelevelsup);
380  if (!cte)
381  isenr = scanNameSpaceForENR(pstate, refname);
382  }
383 
384  if (!cte && !isenr)
385  relId = RangeVarGetRelid(relation, NoLock, true);
386 
387  /* Now look for RTEs matching either the relation/CTE/ENR or the alias */
388  for (levelsup = 0;
389  pstate != NULL;
390  pstate = pstate->parentParseState, levelsup++)
391  {
392  ListCell *l;
393 
394  foreach(l, pstate->p_rtable)
395  {
396  RangeTblEntry *rte = (RangeTblEntry *) lfirst(l);
397 
398  if (rte->rtekind == RTE_RELATION &&
399  OidIsValid(relId) &&
400  rte->relid == relId)
401  return rte;
402  if (rte->rtekind == RTE_CTE &&
403  cte != NULL &&
404  rte->ctelevelsup + levelsup == ctelevelsup &&
405  strcmp(rte->ctename, refname) == 0)
406  return rte;
407  if (rte->rtekind == RTE_NAMEDTUPLESTORE &&
408  isenr &&
409  strcmp(rte->enrname, refname) == 0)
410  return rte;
411  if (strcmp(rte->eref->aliasname, refname) == 0)
412  return rte;
413  }
414  }
415  return NULL;
416 }
417 
418 /*
419  * Check for relation-name conflicts between two namespace lists.
420  * Raise an error if any is found.
421  *
422  * Note: we assume that each given argument does not contain conflicts
423  * itself; we just want to know if the two can be merged together.
424  *
425  * Per SQL, two alias-less plain relation RTEs do not conflict even if
426  * they have the same eref->aliasname (ie, same relation name), if they
427  * are for different relation OIDs (implying they are in different schemas).
428  *
429  * We ignore the lateral-only flags in the namespace items: the lists must
430  * not conflict, even when all items are considered visible. However,
431  * columns-only items should be ignored.
432  */
433 void
435  List *namespace2)
436 {
437  ListCell *l1;
438 
439  foreach(l1, namespace1)
440  {
441  ParseNamespaceItem *nsitem1 = (ParseNamespaceItem *) lfirst(l1);
442  RangeTblEntry *rte1 = nsitem1->p_rte;
443  const char *aliasname1 = nsitem1->p_names->aliasname;
444  ListCell *l2;
445 
446  if (!nsitem1->p_rel_visible)
447  continue;
448 
449  foreach(l2, namespace2)
450  {
451  ParseNamespaceItem *nsitem2 = (ParseNamespaceItem *) lfirst(l2);
452  RangeTblEntry *rte2 = nsitem2->p_rte;
453  const char *aliasname2 = nsitem2->p_names->aliasname;
454 
455  if (!nsitem2->p_rel_visible)
456  continue;
457  if (strcmp(aliasname2, aliasname1) != 0)
458  continue; /* definitely no conflict */
459  if (rte1->rtekind == RTE_RELATION && rte1->alias == NULL &&
460  rte2->rtekind == RTE_RELATION && rte2->alias == NULL &&
461  rte1->relid != rte2->relid)
462  continue; /* no conflict per SQL rule */
463  ereport(ERROR,
464  (errcode(ERRCODE_DUPLICATE_ALIAS),
465  errmsg("table name \"%s\" specified more than once",
466  aliasname1)));
467  }
468  }
469 }
470 
471 /*
472  * Complain if a namespace item is currently disallowed as a LATERAL reference.
473  * This enforces both SQL:2008's rather odd idea of what to do with a LATERAL
474  * reference to the wrong side of an outer join, and our own prohibition on
475  * referencing the target table of an UPDATE or DELETE as a lateral reference
476  * in a FROM/USING clause.
477  *
478  * Note: the pstate should be the same query level the nsitem was found in.
479  *
480  * Convenience subroutine to avoid multiple copies of a rather ugly ereport.
481  */
482 static void
484  int location)
485 {
486  if (nsitem->p_lateral_only && !nsitem->p_lateral_ok)
487  {
488  /* SQL:2008 demands this be an error, not an invisible item */
489  RangeTblEntry *rte = nsitem->p_rte;
490  char *refname = nsitem->p_names->aliasname;
491 
492  ereport(ERROR,
493  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
494  errmsg("invalid reference to FROM-clause entry for table \"%s\"",
495  refname),
496  (pstate->p_target_nsitem != NULL &&
497  rte == pstate->p_target_nsitem->p_rte) ?
498  errhint("There is an entry for table \"%s\", but it cannot be referenced from this part of the query.",
499  refname) :
500  errdetail("The combining JOIN type must be INNER or LEFT for a LATERAL reference."),
501  parser_errposition(pstate, location)));
502  }
503 }
504 
505 /*
506  * Given an RT index and nesting depth, find the corresponding
507  * ParseNamespaceItem (there must be one).
508  */
511  int varno,
512  int sublevels_up)
513 {
514  ListCell *lc;
515 
516  while (sublevels_up-- > 0)
517  {
518  pstate = pstate->parentParseState;
519  Assert(pstate != NULL);
520  }
521  foreach(lc, pstate->p_namespace)
522  {
523  ParseNamespaceItem *nsitem = (ParseNamespaceItem *) lfirst(lc);
524 
525  if (nsitem->p_rtindex == varno)
526  return nsitem;
527  }
528  elog(ERROR, "nsitem not found (internal error)");
529  return NULL; /* keep compiler quiet */
530 }
531 
532 /*
533  * Given an RT index and nesting depth, find the corresponding RTE.
534  * (Note that the RTE need not be in the query's namespace.)
535  */
538  int varno,
539  int sublevels_up)
540 {
541  while (sublevels_up-- > 0)
542  {
543  pstate = pstate->parentParseState;
544  Assert(pstate != NULL);
545  }
546  Assert(varno > 0 && varno <= list_length(pstate->p_rtable));
547  return rt_fetch(varno, pstate->p_rtable);
548 }
549 
550 /*
551  * Fetch the CTE for a CTE-reference RTE.
552  *
553  * rtelevelsup is the number of query levels above the given pstate that the
554  * RTE came from.
555  */
557 GetCTEForRTE(ParseState *pstate, RangeTblEntry *rte, int rtelevelsup)
558 {
559  Index levelsup;
560  ListCell *lc;
561 
562  Assert(rte->rtekind == RTE_CTE);
563  levelsup = rte->ctelevelsup + rtelevelsup;
564  while (levelsup-- > 0)
565  {
566  pstate = pstate->parentParseState;
567  if (!pstate) /* shouldn't happen */
568  elog(ERROR, "bad levelsup for CTE \"%s\"", rte->ctename);
569  }
570  foreach(lc, pstate->p_ctenamespace)
571  {
572  CommonTableExpr *cte = (CommonTableExpr *) lfirst(lc);
573 
574  if (strcmp(cte->ctename, rte->ctename) == 0)
575  return cte;
576  }
577  /* shouldn't happen */
578  elog(ERROR, "could not find CTE \"%s\"", rte->ctename);
579  return NULL; /* keep compiler quiet */
580 }
581 
582 /*
583  * updateFuzzyAttrMatchState
584  * Using Levenshtein distance, consider if column is best fuzzy match.
585  */
586 static void
587 updateFuzzyAttrMatchState(int fuzzy_rte_penalty,
588  FuzzyAttrMatchState *fuzzystate, RangeTblEntry *rte,
589  const char *actual, const char *match, int attnum)
590 {
591  int columndistance;
592  int matchlen;
593 
594  /* Bail before computing the Levenshtein distance if there's no hope. */
595  if (fuzzy_rte_penalty > fuzzystate->distance)
596  return;
597 
598  /*
599  * Outright reject dropped columns, which can appear here with apparent
600  * empty actual names, per remarks within scanRTEForColumn().
601  */
602  if (actual[0] == '\0')
603  return;
604 
605  /* Use Levenshtein to compute match distance. */
606  matchlen = strlen(match);
607  columndistance =
608  varstr_levenshtein_less_equal(actual, strlen(actual), match, matchlen,
609  1, 1, 1,
610  fuzzystate->distance + 1
611  - fuzzy_rte_penalty,
612  true);
613 
614  /*
615  * If more than half the characters are different, don't treat it as a
616  * match, to avoid making ridiculous suggestions.
617  */
618  if (columndistance > matchlen / 2)
619  return;
620 
621  /*
622  * From this point on, we can ignore the distinction between the RTE-name
623  * distance and the column-name distance.
624  */
625  columndistance += fuzzy_rte_penalty;
626 
627  /*
628  * If the new distance is less than or equal to that of the best match
629  * found so far, update fuzzystate.
630  */
631  if (columndistance < fuzzystate->distance)
632  {
633  /* Store new lowest observed distance as first/only match */
634  fuzzystate->distance = columndistance;
635  fuzzystate->rfirst = rte;
636  fuzzystate->first = attnum;
637  fuzzystate->rsecond = NULL;
638  }
639  else if (columndistance == fuzzystate->distance)
640  {
641  /* If we already have a match of this distance, update state */
642  if (fuzzystate->rsecond != NULL)
643  {
644  /*
645  * Too many matches at same distance. Clearly, this value of
646  * distance is too low a bar, so drop these entries while keeping
647  * the current distance value, so that only smaller distances will
648  * be considered interesting. Only if we find something of lower
649  * distance will we re-populate rfirst (via the stanza above).
650  */
651  fuzzystate->rfirst = NULL;
652  fuzzystate->rsecond = NULL;
653  }
654  else if (fuzzystate->rfirst != NULL)
655  {
656  /* Record as provisional second match */
657  fuzzystate->rsecond = rte;
658  fuzzystate->second = attnum;
659  }
660  else
661  {
662  /*
663  * Do nothing. When rfirst is NULL, distance is more than what we
664  * want to consider acceptable, so we should ignore this match.
665  */
666  }
667  }
668 }
669 
670 /*
671  * scanNSItemForColumn
672  * Search the column names of a single namespace item for the given name.
673  * If found, return an appropriate Var node, else return NULL.
674  * If the name proves ambiguous within this nsitem, raise error.
675  *
676  * Side effect: if we find a match, mark the corresponding RTE as requiring
677  * read access for the column.
678  */
679 Node *
681  int sublevels_up, const char *colname, int location)
682 {
683  RangeTblEntry *rte = nsitem->p_rte;
684  int attnum;
685  Var *var;
686 
687  /*
688  * Scan the nsitem's column names (or aliases) for a match. Complain if
689  * multiple matches.
690  */
691  attnum = scanRTEForColumn(pstate, rte, nsitem->p_names,
692  colname, location,
693  0, NULL);
694 
695  if (attnum == InvalidAttrNumber)
696  return NULL; /* Return NULL if no match */
697 
698  /* In constraint check, no system column is allowed except tableOid */
699  if (pstate->p_expr_kind == EXPR_KIND_CHECK_CONSTRAINT &&
701  ereport(ERROR,
702  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
703  errmsg("system column \"%s\" reference in check constraint is invalid",
704  colname),
705  parser_errposition(pstate, location)));
706 
707  /* In generated column, no system column is allowed except tableOid */
708  if (pstate->p_expr_kind == EXPR_KIND_GENERATED_COLUMN &&
710  ereport(ERROR,
711  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
712  errmsg("cannot use system column \"%s\" in column generation expression",
713  colname),
714  parser_errposition(pstate, location)));
715 
716  /*
717  * In a MERGE WHEN condition, no system column is allowed except tableOid
718  */
719  if (pstate->p_expr_kind == EXPR_KIND_MERGE_WHEN &&
721  ereport(ERROR,
722  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
723  errmsg("cannot use system column \"%s\" in MERGE WHEN condition",
724  colname),
725  parser_errposition(pstate, location)));
726 
727  /* Found a valid match, so build a Var */
729  {
730  /* Get attribute data from the ParseNamespaceColumn array */
731  ParseNamespaceColumn *nscol = &nsitem->p_nscolumns[attnum - 1];
732 
733  /* Complain if dropped column. See notes in scanRTEForColumn. */
734  if (nscol->p_varno == 0)
735  ereport(ERROR,
736  (errcode(ERRCODE_UNDEFINED_COLUMN),
737  errmsg("column \"%s\" of relation \"%s\" does not exist",
738  colname,
739  nsitem->p_names->aliasname)));
740 
741  var = makeVar(nscol->p_varno,
742  nscol->p_varattno,
743  nscol->p_vartype,
744  nscol->p_vartypmod,
745  nscol->p_varcollid,
746  sublevels_up);
747  /* makeVar doesn't offer parameters for these, so set them by hand: */
748  var->varnosyn = nscol->p_varnosyn;
749  var->varattnosyn = nscol->p_varattnosyn;
750  }
751  else
752  {
753  /* System column, so use predetermined type data */
754  const FormData_pg_attribute *sysatt;
755 
757  var = makeVar(nsitem->p_rtindex,
758  attnum,
759  sysatt->atttypid,
760  sysatt->atttypmod,
761  sysatt->attcollation,
762  sublevels_up);
763  }
764  var->location = location;
765 
766  /* Mark Var if it's nulled by any outer joins */
767  markNullableIfNeeded(pstate, var);
768 
769  /* Require read access to the column */
770  markVarForSelectPriv(pstate, var);
771 
772  return (Node *) var;
773 }
774 
775 /*
776  * scanRTEForColumn
777  * Search the column names of a single RTE for the given name.
778  * If found, return the attnum (possibly negative, for a system column);
779  * else return InvalidAttrNumber.
780  * If the name proves ambiguous within this RTE, raise error.
781  *
782  * Actually, we only search the names listed in "eref". This can be either
783  * rte->eref, in which case we are indeed searching all the column names,
784  * or for a join it can be rte->join_using_alias, in which case we are only
785  * considering the common column names (which are the first N columns of the
786  * join, so everything works).
787  *
788  * pstate and location are passed only for error-reporting purposes.
789  *
790  * Side effect: if fuzzystate is non-NULL, check non-system columns
791  * for an approximate match and update fuzzystate accordingly.
792  *
793  * Note: this is factored out of scanNSItemForColumn because error message
794  * creation may want to check RTEs that are not in the namespace. To support
795  * that usage, minimize the number of validity checks performed here. It's
796  * okay to complain about ambiguous-name cases, though, since if we are
797  * working to complain about an invalid name, we've already eliminated that.
798  */
799 static int
801  Alias *eref,
802  const char *colname, int location,
803  int fuzzy_rte_penalty,
804  FuzzyAttrMatchState *fuzzystate)
805 {
806  int result = InvalidAttrNumber;
807  int attnum = 0;
808  ListCell *c;
809 
810  /*
811  * Scan the user column names (or aliases) for a match. Complain if
812  * multiple matches.
813  *
814  * Note: eref->colnames may include entries for dropped columns, but those
815  * will be empty strings that cannot match any legal SQL identifier, so we
816  * don't bother to test for that case here.
817  *
818  * Should this somehow go wrong and we try to access a dropped column,
819  * we'll still catch it by virtue of the check in scanNSItemForColumn().
820  * Callers interested in finding match with shortest distance need to
821  * defend against this directly, though.
822  */
823  foreach(c, eref->colnames)
824  {
825  const char *attcolname = strVal(lfirst(c));
826 
827  attnum++;
828  if (strcmp(attcolname, colname) == 0)
829  {
830  if (result)
831  ereport(ERROR,
832  (errcode(ERRCODE_AMBIGUOUS_COLUMN),
833  errmsg("column reference \"%s\" is ambiguous",
834  colname),
835  parser_errposition(pstate, location)));
836  result = attnum;
837  }
838 
839  /* Update fuzzy match state, if provided. */
840  if (fuzzystate != NULL)
841  updateFuzzyAttrMatchState(fuzzy_rte_penalty, fuzzystate,
842  rte, attcolname, colname, attnum);
843  }
844 
845  /*
846  * If we have a unique match, return it. Note that this allows a user
847  * alias to override a system column name (such as OID) without error.
848  */
849  if (result)
850  return result;
851 
852  /*
853  * If the RTE represents a real relation, consider system column names.
854  * Composites are only used for pseudo-relations like ON CONFLICT's
855  * excluded.
856  */
857  if (rte->rtekind == RTE_RELATION &&
858  rte->relkind != RELKIND_COMPOSITE_TYPE)
859  {
860  /* quick check to see if name could be a system column */
861  attnum = specialAttNum(colname);
862  if (attnum != InvalidAttrNumber)
863  {
864  /* now check to see if column actually is defined */
865  if (SearchSysCacheExists2(ATTNUM,
866  ObjectIdGetDatum(rte->relid),
868  result = attnum;
869  }
870  }
871 
872  return result;
873 }
874 
875 /*
876  * colNameToVar
877  * Search for an unqualified column name.
878  * If found, return the appropriate Var node (or expression).
879  * If not found, return NULL. If the name proves ambiguous, raise error.
880  * If localonly is true, only names in the innermost query are considered.
881  */
882 Node *
883 colNameToVar(ParseState *pstate, const char *colname, bool localonly,
884  int location)
885 {
886  Node *result = NULL;
887  int sublevels_up = 0;
888  ParseState *orig_pstate = pstate;
889 
890  while (pstate != NULL)
891  {
892  ListCell *l;
893 
894  foreach(l, pstate->p_namespace)
895  {
897  Node *newresult;
898 
899  /* Ignore table-only items */
900  if (!nsitem->p_cols_visible)
901  continue;
902  /* If not inside LATERAL, ignore lateral-only items */
903  if (nsitem->p_lateral_only && !pstate->p_lateral_active)
904  continue;
905 
906  /* use orig_pstate here for consistency with other callers */
907  newresult = scanNSItemForColumn(orig_pstate, nsitem, sublevels_up,
908  colname, location);
909 
910  if (newresult)
911  {
912  if (result)
913  ereport(ERROR,
914  (errcode(ERRCODE_AMBIGUOUS_COLUMN),
915  errmsg("column reference \"%s\" is ambiguous",
916  colname),
917  parser_errposition(pstate, location)));
918  check_lateral_ref_ok(pstate, nsitem, location);
919  result = newresult;
920  }
921  }
922 
923  if (result != NULL || localonly)
924  break; /* found, or don't want to look at parent */
925 
926  pstate = pstate->parentParseState;
927  sublevels_up++;
928  }
929 
930  return result;
931 }
932 
933 /*
934  * searchRangeTableForCol
935  * See if any RangeTblEntry could possibly provide the given column name (or
936  * find the best match available). Returns state with relevant details.
937  *
938  * This is different from colNameToVar in that it considers every entry in
939  * the ParseState's rangetable(s), not only those that are currently visible
940  * in the p_namespace list(s). This behavior is invalid per the SQL spec,
941  * and it may give ambiguous results (since there might be multiple equally
942  * valid matches). This must be used ONLY as a heuristic in giving suitable
943  * error messages. See errorMissingColumn.
944  *
945  * This function is also different in that it will consider approximate
946  * matches -- if the user entered an alias/column pair that is only slightly
947  * different from a valid pair, we may be able to infer what they meant to
948  * type and provide a reasonable hint. We return a FuzzyAttrMatchState
949  * struct providing information about both exact and approximate matches.
950  */
951 static FuzzyAttrMatchState *
952 searchRangeTableForCol(ParseState *pstate, const char *alias, const char *colname,
953  int location)
954 {
955  ParseState *orig_pstate = pstate;
956  FuzzyAttrMatchState *fuzzystate = palloc(sizeof(FuzzyAttrMatchState));
957 
958  fuzzystate->distance = MAX_FUZZY_DISTANCE + 1;
959  fuzzystate->rfirst = NULL;
960  fuzzystate->rsecond = NULL;
961  fuzzystate->rexact1 = NULL;
962  fuzzystate->rexact2 = NULL;
963 
964  while (pstate != NULL)
965  {
966  ListCell *l;
967 
968  foreach(l, pstate->p_rtable)
969  {
970  RangeTblEntry *rte = (RangeTblEntry *) lfirst(l);
971  int fuzzy_rte_penalty = 0;
972  int attnum;
973 
974  /*
975  * Typically, it is not useful to look for matches within join
976  * RTEs; they effectively duplicate other RTEs for our purposes,
977  * and if a match is chosen from a join RTE, an unhelpful alias is
978  * displayed in the final diagnostic message.
979  */
980  if (rte->rtekind == RTE_JOIN)
981  continue;
982 
983  /*
984  * If the user didn't specify an alias, then matches against one
985  * RTE are as good as another. But if the user did specify an
986  * alias, then we want at least a fuzzy - and preferably an exact
987  * - match for the range table entry.
988  */
989  if (alias != NULL)
990  fuzzy_rte_penalty =
991  varstr_levenshtein_less_equal(alias, strlen(alias),
992  rte->eref->aliasname,
993  strlen(rte->eref->aliasname),
994  1, 1, 1,
995  MAX_FUZZY_DISTANCE + 1,
996  true);
997 
998  /*
999  * Scan for a matching column, and update fuzzystate. Non-exact
1000  * matches are dealt with inside scanRTEForColumn, but exact
1001  * matches are handled here. (There won't be more than one exact
1002  * match in the same RTE, else we'd have thrown error earlier.)
1003  */
1004  attnum = scanRTEForColumn(orig_pstate, rte, rte->eref,
1005  colname, location,
1006  fuzzy_rte_penalty, fuzzystate);
1007  if (attnum != InvalidAttrNumber && fuzzy_rte_penalty == 0)
1008  {
1009  if (fuzzystate->rexact1 == NULL)
1010  {
1011  fuzzystate->rexact1 = rte;
1012  fuzzystate->exact1 = attnum;
1013  }
1014  else
1015  {
1016  /* Needn't worry about overwriting previous rexact2 */
1017  fuzzystate->rexact2 = rte;
1018  fuzzystate->exact2 = attnum;
1019  }
1020  }
1021  }
1022 
1023  pstate = pstate->parentParseState;
1024  }
1025 
1026  return fuzzystate;
1027 }
1028 
1029 /*
1030  * markNullableIfNeeded
1031  * If the RTE referenced by the Var is nullable by outer join(s)
1032  * at this point in the query, set var->varnullingrels to show that.
1033  */
1034 void
1036 {
1037  int rtindex = var->varno;
1038  Bitmapset *relids;
1039 
1040  /* Find the appropriate pstate */
1041  for (int lv = 0; lv < var->varlevelsup; lv++)
1042  pstate = pstate->parentParseState;
1043 
1044  /* Find currently-relevant join relids for the Var's rel */
1045  if (rtindex > 0 && rtindex <= list_length(pstate->p_nullingrels))
1046  relids = (Bitmapset *) list_nth(pstate->p_nullingrels, rtindex - 1);
1047  else
1048  relids = NULL;
1049 
1050  /*
1051  * Merge with any already-declared nulling rels. (Typically there won't
1052  * be any, but let's get it right if there are.)
1053  */
1054  if (relids != NULL)
1055  var->varnullingrels = bms_union(var->varnullingrels, relids);
1056 }
1057 
1058 /*
1059  * markRTEForSelectPriv
1060  * Mark the specified column of the RTE with index rtindex
1061  * as requiring SELECT privilege
1062  *
1063  * col == InvalidAttrNumber means a "whole row" reference
1064  */
1065 static void
1066 markRTEForSelectPriv(ParseState *pstate, int rtindex, AttrNumber col)
1067 {
1068  RangeTblEntry *rte = rt_fetch(rtindex, pstate->p_rtable);
1069 
1070  if (rte->rtekind == RTE_RELATION)
1071  {
1072  RTEPermissionInfo *perminfo;
1073 
1074  /* Make sure the rel as a whole is marked for SELECT access */
1075  perminfo = getRTEPermissionInfo(pstate->p_rteperminfos, rte);
1076  perminfo->requiredPerms |= ACL_SELECT;
1077  /* Must offset the attnum to fit in a bitmapset */
1078  perminfo->selectedCols =
1079  bms_add_member(perminfo->selectedCols,
1081  }
1082  else if (rte->rtekind == RTE_JOIN)
1083  {
1084  if (col == InvalidAttrNumber)
1085  {
1086  /*
1087  * A whole-row reference to a join has to be treated as whole-row
1088  * references to the two inputs.
1089  */
1090  JoinExpr *j;
1091 
1092  if (rtindex > 0 && rtindex <= list_length(pstate->p_joinexprs))
1093  j = list_nth_node(JoinExpr, pstate->p_joinexprs, rtindex - 1);
1094  else
1095  j = NULL;
1096  if (j == NULL)
1097  elog(ERROR, "could not find JoinExpr for whole-row reference");
1098 
1099  /* Note: we can't see FromExpr here */
1100  if (IsA(j->larg, RangeTblRef))
1101  {
1102  int varno = ((RangeTblRef *) j->larg)->rtindex;
1103 
1104  markRTEForSelectPriv(pstate, varno, InvalidAttrNumber);
1105  }
1106  else if (IsA(j->larg, JoinExpr))
1107  {
1108  int varno = ((JoinExpr *) j->larg)->rtindex;
1109 
1110  markRTEForSelectPriv(pstate, varno, InvalidAttrNumber);
1111  }
1112  else
1113  elog(ERROR, "unrecognized node type: %d",
1114  (int) nodeTag(j->larg));
1115  if (IsA(j->rarg, RangeTblRef))
1116  {
1117  int varno = ((RangeTblRef *) j->rarg)->rtindex;
1118 
1119  markRTEForSelectPriv(pstate, varno, InvalidAttrNumber);
1120  }
1121  else if (IsA(j->rarg, JoinExpr))
1122  {
1123  int varno = ((JoinExpr *) j->rarg)->rtindex;
1124 
1125  markRTEForSelectPriv(pstate, varno, InvalidAttrNumber);
1126  }
1127  else
1128  elog(ERROR, "unrecognized node type: %d",
1129  (int) nodeTag(j->rarg));
1130  }
1131  else
1132  {
1133  /*
1134  * Join alias Vars for ordinary columns must refer to merged JOIN
1135  * USING columns. We don't need to do anything here, because the
1136  * join input columns will also be referenced in the join's qual
1137  * clause, and will get marked for select privilege there.
1138  */
1139  }
1140  }
1141  /* other RTE types don't require privilege marking */
1142 }
1143 
1144 /*
1145  * markVarForSelectPriv
1146  * Mark the RTE referenced by the Var as requiring SELECT privilege
1147  * for the Var's column (the Var could be a whole-row Var, too)
1148  */
1149 void
1151 {
1152  Index lv;
1153 
1154  Assert(IsA(var, Var));
1155  /* Find the appropriate pstate if it's an uplevel Var */
1156  for (lv = 0; lv < var->varlevelsup; lv++)
1157  pstate = pstate->parentParseState;
1158  markRTEForSelectPriv(pstate, var->varno, var->varattno);
1159 }
1160 
1161 /*
1162  * buildRelationAliases
1163  * Construct the eref column name list for a relation RTE.
1164  * This code is also used for function RTEs.
1165  *
1166  * tupdesc: the physical column information
1167  * alias: the user-supplied alias, or NULL if none
1168  * eref: the eref Alias to store column names in
1169  *
1170  * eref->colnames is filled in. Also, alias->colnames is rebuilt to insert
1171  * empty strings for any dropped columns, so that it will be one-to-one with
1172  * physical column numbers.
1173  *
1174  * It is an error for there to be more aliases present than required.
1175  */
1176 static void
1178 {
1179  int maxattrs = tupdesc->natts;
1180  List *aliaslist;
1181  ListCell *aliaslc;
1182  int numaliases;
1183  int varattno;
1184  int numdropped = 0;
1185 
1186  Assert(eref->colnames == NIL);
1187 
1188  if (alias)
1189  {
1190  aliaslist = alias->colnames;
1191  aliaslc = list_head(aliaslist);
1192  numaliases = list_length(aliaslist);
1193  /* We'll rebuild the alias colname list */
1194  alias->colnames = NIL;
1195  }
1196  else
1197  {
1198  aliaslist = NIL;
1199  aliaslc = NULL;
1200  numaliases = 0;
1201  }
1202 
1203  for (varattno = 0; varattno < maxattrs; varattno++)
1204  {
1205  Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
1206  String *attrname;
1207 
1208  if (attr->attisdropped)
1209  {
1210  /* Always insert an empty string for a dropped column */
1211  attrname = makeString(pstrdup(""));
1212  if (aliaslc)
1213  alias->colnames = lappend(alias->colnames, attrname);
1214  numdropped++;
1215  }
1216  else if (aliaslc)
1217  {
1218  /* Use the next user-supplied alias */
1219  attrname = lfirst_node(String, aliaslc);
1220  aliaslc = lnext(aliaslist, aliaslc);
1221  alias->colnames = lappend(alias->colnames, attrname);
1222  }
1223  else
1224  {
1225  attrname = makeString(pstrdup(NameStr(attr->attname)));
1226  /* we're done with the alias if any */
1227  }
1228 
1229  eref->colnames = lappend(eref->colnames, attrname);
1230  }
1231 
1232  /* Too many user-supplied aliases? */
1233  if (aliaslc)
1234  ereport(ERROR,
1235  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
1236  errmsg("table \"%s\" has %d columns available but %d columns specified",
1237  eref->aliasname, maxattrs - numdropped, numaliases)));
1238 }
1239 
1240 /*
1241  * chooseScalarFunctionAlias
1242  * Select the column alias for a function in a function RTE,
1243  * when the function returns a scalar type (not composite or RECORD).
1244  *
1245  * funcexpr: transformed expression tree for the function call
1246  * funcname: function name (as determined by FigureColname)
1247  * alias: the user-supplied alias for the RTE, or NULL if none
1248  * nfuncs: the number of functions appearing in the function RTE
1249  *
1250  * Note that the name we choose might be overridden later, if the user-given
1251  * alias includes column alias names. That's of no concern here.
1252  */
1253 static char *
1255  Alias *alias, int nfuncs)
1256 {
1257  char *pname;
1258 
1259  /*
1260  * If the expression is a simple function call, and the function has a
1261  * single OUT parameter that is named, use the parameter's name.
1262  */
1263  if (funcexpr && IsA(funcexpr, FuncExpr))
1264  {
1265  pname = get_func_result_name(((FuncExpr *) funcexpr)->funcid);
1266  if (pname)
1267  return pname;
1268  }
1269 
1270  /*
1271  * If there's just one function in the RTE, and the user gave an RTE alias
1272  * name, use that name. (This makes FROM func() AS foo use "foo" as the
1273  * column name as well as the table alias.)
1274  */
1275  if (nfuncs == 1 && alias)
1276  return alias->aliasname;
1277 
1278  /*
1279  * Otherwise use the function name.
1280  */
1281  return funcname;
1282 }
1283 
1284 /*
1285  * buildNSItemFromTupleDesc
1286  * Build a ParseNamespaceItem, given a tupdesc describing the columns.
1287  *
1288  * rte: the new RangeTblEntry for the rel
1289  * rtindex: its index in the rangetable list
1290  * perminfo: permission list entry for the rel
1291  * tupdesc: the physical column information
1292  */
1293 static ParseNamespaceItem *
1295  RTEPermissionInfo *perminfo,
1296  TupleDesc tupdesc)
1297 {
1298  ParseNamespaceItem *nsitem;
1299  ParseNamespaceColumn *nscolumns;
1300  int maxattrs = tupdesc->natts;
1301  int varattno;
1302 
1303  /* colnames must have the same number of entries as the nsitem */
1304  Assert(maxattrs == list_length(rte->eref->colnames));
1305 
1306  /* extract per-column data from the tupdesc */
1307  nscolumns = (ParseNamespaceColumn *)
1308  palloc0(maxattrs * sizeof(ParseNamespaceColumn));
1309 
1310  for (varattno = 0; varattno < maxattrs; varattno++)
1311  {
1312  Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
1313 
1314  /* For a dropped column, just leave the entry as zeroes */
1315  if (attr->attisdropped)
1316  continue;
1317 
1318  nscolumns[varattno].p_varno = rtindex;
1319  nscolumns[varattno].p_varattno = varattno + 1;
1320  nscolumns[varattno].p_vartype = attr->atttypid;
1321  nscolumns[varattno].p_vartypmod = attr->atttypmod;
1322  nscolumns[varattno].p_varcollid = attr->attcollation;
1323  nscolumns[varattno].p_varnosyn = rtindex;
1324  nscolumns[varattno].p_varattnosyn = varattno + 1;
1325  }
1326 
1327  /* ... and build the nsitem */
1328  nsitem = (ParseNamespaceItem *) palloc(sizeof(ParseNamespaceItem));
1329  nsitem->p_names = rte->eref;
1330  nsitem->p_rte = rte;
1331  nsitem->p_rtindex = rtindex;
1332  nsitem->p_perminfo = perminfo;
1333  nsitem->p_nscolumns = nscolumns;
1334  /* set default visibility flags; might get changed later */
1335  nsitem->p_rel_visible = true;
1336  nsitem->p_cols_visible = true;
1337  nsitem->p_lateral_only = false;
1338  nsitem->p_lateral_ok = true;
1339 
1340  return nsitem;
1341 }
1342 
1343 /*
1344  * buildNSItemFromLists
1345  * Build a ParseNamespaceItem, given column type information in lists.
1346  *
1347  * rte: the new RangeTblEntry for the rel
1348  * rtindex: its index in the rangetable list
1349  * coltypes: per-column datatype OIDs
1350  * coltypmods: per-column type modifiers
1351  * colcollation: per-column collation OIDs
1352  */
1353 static ParseNamespaceItem *
1355  List *coltypes, List *coltypmods, List *colcollations)
1356 {
1357  ParseNamespaceItem *nsitem;
1358  ParseNamespaceColumn *nscolumns;
1359  int maxattrs = list_length(coltypes);
1360  int varattno;
1361  ListCell *lct;
1362  ListCell *lcm;
1363  ListCell *lcc;
1364 
1365  /* colnames must have the same number of entries as the nsitem */
1366  Assert(maxattrs == list_length(rte->eref->colnames));
1367 
1368  Assert(maxattrs == list_length(coltypmods));
1369  Assert(maxattrs == list_length(colcollations));
1370 
1371  /* extract per-column data from the lists */
1372  nscolumns = (ParseNamespaceColumn *)
1373  palloc0(maxattrs * sizeof(ParseNamespaceColumn));
1374 
1375  varattno = 0;
1376  forthree(lct, coltypes,
1377  lcm, coltypmods,
1378  lcc, colcollations)
1379  {
1380  nscolumns[varattno].p_varno = rtindex;
1381  nscolumns[varattno].p_varattno = varattno + 1;
1382  nscolumns[varattno].p_vartype = lfirst_oid(lct);
1383  nscolumns[varattno].p_vartypmod = lfirst_int(lcm);
1384  nscolumns[varattno].p_varcollid = lfirst_oid(lcc);
1385  nscolumns[varattno].p_varnosyn = rtindex;
1386  nscolumns[varattno].p_varattnosyn = varattno + 1;
1387  varattno++;
1388  }
1389 
1390  /* ... and build the nsitem */
1391  nsitem = (ParseNamespaceItem *) palloc(sizeof(ParseNamespaceItem));
1392  nsitem->p_names = rte->eref;
1393  nsitem->p_rte = rte;
1394  nsitem->p_rtindex = rtindex;
1395  nsitem->p_perminfo = NULL;
1396  nsitem->p_nscolumns = nscolumns;
1397  /* set default visibility flags; might get changed later */
1398  nsitem->p_rel_visible = true;
1399  nsitem->p_cols_visible = true;
1400  nsitem->p_lateral_only = false;
1401  nsitem->p_lateral_ok = true;
1402 
1403  return nsitem;
1404 }
1405 
1406 /*
1407  * Open a table during parse analysis
1408  *
1409  * This is essentially just the same as table_openrv(), except that it caters
1410  * to some parser-specific error reporting needs, notably that it arranges
1411  * to include the RangeVar's parse location in any resulting error.
1412  *
1413  * Note: properly, lockmode should be declared LOCKMODE not int, but that
1414  * would require importing storage/lock.h into parse_relation.h. Since
1415  * LOCKMODE is typedef'd as int anyway, that seems like overkill.
1416  */
1417 Relation
1418 parserOpenTable(ParseState *pstate, const RangeVar *relation, int lockmode)
1419 {
1420  Relation rel;
1421  ParseCallbackState pcbstate;
1422 
1423  setup_parser_errposition_callback(&pcbstate, pstate, relation->location);
1424  rel = table_openrv_extended(relation, lockmode, true);
1425  if (rel == NULL)
1426  {
1427  if (relation->schemaname)
1428  ereport(ERROR,
1430  errmsg("relation \"%s.%s\" does not exist",
1431  relation->schemaname, relation->relname)));
1432  else
1433  {
1434  /*
1435  * An unqualified name might have been meant as a reference to
1436  * some not-yet-in-scope CTE. The bare "does not exist" message
1437  * has proven remarkably unhelpful for figuring out such problems,
1438  * so we take pains to offer a specific hint.
1439  */
1440  if (isFutureCTE(pstate, relation->relname))
1441  ereport(ERROR,
1443  errmsg("relation \"%s\" does not exist",
1444  relation->relname),
1445  errdetail("There is a WITH item named \"%s\", but it cannot be referenced from this part of the query.",
1446  relation->relname),
1447  errhint("Use WITH RECURSIVE, or re-order the WITH items to remove forward references.")));
1448  else
1449  ereport(ERROR,
1451  errmsg("relation \"%s\" does not exist",
1452  relation->relname)));
1453  }
1454  }
1456  return rel;
1457 }
1458 
1459 /*
1460  * Add an entry for a relation to the pstate's range table (p_rtable).
1461  * Then, construct and return a ParseNamespaceItem for the new RTE.
1462  *
1463  * We do not link the ParseNamespaceItem into the pstate here; it's the
1464  * caller's job to do that in the appropriate way.
1465  *
1466  * Note: formerly this checked for refname conflicts, but that's wrong.
1467  * Caller is responsible for checking for conflicts in the appropriate scope.
1468  */
1471  RangeVar *relation,
1472  Alias *alias,
1473  bool inh,
1474  bool inFromCl)
1475 {
1477  RTEPermissionInfo *perminfo;
1478  char *refname = alias ? alias->aliasname : relation->relname;
1479  LOCKMODE lockmode;
1480  Relation rel;
1481  ParseNamespaceItem *nsitem;
1482 
1483  Assert(pstate != NULL);
1484 
1485  rte->rtekind = RTE_RELATION;
1486  rte->alias = alias;
1487 
1488  /*
1489  * Identify the type of lock we'll need on this relation. It's not the
1490  * query's target table (that case is handled elsewhere), so we need
1491  * either RowShareLock if it's locked by FOR UPDATE/SHARE, or plain
1492  * AccessShareLock otherwise.
1493  */
1494  lockmode = isLockedRefname(pstate, refname) ? RowShareLock : AccessShareLock;
1495 
1496  /*
1497  * Get the rel's OID. This access also ensures that we have an up-to-date
1498  * relcache entry for the rel. Since this is typically the first access
1499  * to a rel in a statement, we must open the rel with the proper lockmode.
1500  */
1501  rel = parserOpenTable(pstate, relation, lockmode);
1502  rte->relid = RelationGetRelid(rel);
1503  rte->inh = inh;
1504  rte->relkind = rel->rd_rel->relkind;
1505  rte->rellockmode = lockmode;
1506 
1507  /*
1508  * Build the list of effective column names using user-supplied aliases
1509  * and/or actual column names.
1510  */
1511  rte->eref = makeAlias(refname, NIL);
1512  buildRelationAliases(rel->rd_att, alias, rte->eref);
1513 
1514  /*
1515  * Set flags and initialize access permissions.
1516  *
1517  * The initial default on access checks is always check-for-READ-access,
1518  * which is the right thing for all except target tables.
1519  */
1520  rte->lateral = false;
1521  rte->inFromCl = inFromCl;
1522 
1523  perminfo = addRTEPermissionInfo(&pstate->p_rteperminfos, rte);
1524  perminfo->requiredPerms = ACL_SELECT;
1525 
1526  /*
1527  * Add completed RTE to pstate's range table list, so that we know its
1528  * index. But we don't add it to the join list --- caller must do that if
1529  * appropriate.
1530  */
1531  pstate->p_rtable = lappend(pstate->p_rtable, rte);
1532 
1533  /*
1534  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1535  * list --- caller must do that if appropriate.
1536  */
1537  nsitem = buildNSItemFromTupleDesc(rte, list_length(pstate->p_rtable),
1538  perminfo, rel->rd_att);
1539 
1540  /*
1541  * Drop the rel refcount, but keep the access lock till end of transaction
1542  * so that the table can't be deleted or have its schema modified
1543  * underneath us.
1544  */
1545  table_close(rel, NoLock);
1546 
1547  return nsitem;
1548 }
1549 
1550 /*
1551  * Add an entry for a relation to the pstate's range table (p_rtable).
1552  * Then, construct and return a ParseNamespaceItem for the new RTE.
1553  *
1554  * This is just like addRangeTableEntry() except that it makes an RTE
1555  * given an already-open relation instead of a RangeVar reference.
1556  *
1557  * lockmode is the lock type required for query execution; it must be one
1558  * of AccessShareLock, RowShareLock, or RowExclusiveLock depending on the
1559  * RTE's role within the query. The caller must hold that lock mode
1560  * or a stronger one.
1561  *
1562  * Note: properly, lockmode should be declared LOCKMODE not int, but that
1563  * would require importing storage/lock.h into parse_relation.h. Since
1564  * LOCKMODE is typedef'd as int anyway, that seems like overkill.
1565  */
1568  Relation rel,
1569  int lockmode,
1570  Alias *alias,
1571  bool inh,
1572  bool inFromCl)
1573 {
1575  RTEPermissionInfo *perminfo;
1576  char *refname = alias ? alias->aliasname : RelationGetRelationName(rel);
1577 
1578  Assert(pstate != NULL);
1579 
1580  Assert(lockmode == AccessShareLock ||
1581  lockmode == RowShareLock ||
1582  lockmode == RowExclusiveLock);
1583  Assert(CheckRelationLockedByMe(rel, lockmode, true));
1584 
1585  rte->rtekind = RTE_RELATION;
1586  rte->alias = alias;
1587  rte->relid = RelationGetRelid(rel);
1588  rte->inh = inh;
1589  rte->relkind = rel->rd_rel->relkind;
1590  rte->rellockmode = lockmode;
1591 
1592  /*
1593  * Build the list of effective column names using user-supplied aliases
1594  * and/or actual column names.
1595  */
1596  rte->eref = makeAlias(refname, NIL);
1597  buildRelationAliases(rel->rd_att, alias, rte->eref);
1598 
1599  /*
1600  * Set flags and initialize access permissions.
1601  *
1602  * The initial default on access checks is always check-for-READ-access,
1603  * which is the right thing for all except target tables.
1604  */
1605  rte->lateral = false;
1606  rte->inFromCl = inFromCl;
1607 
1608  perminfo = addRTEPermissionInfo(&pstate->p_rteperminfos, rte);
1609  perminfo->requiredPerms = ACL_SELECT;
1610 
1611  /*
1612  * Add completed RTE to pstate's range table list, so that we know its
1613  * index. But we don't add it to the join list --- caller must do that if
1614  * appropriate.
1615  */
1616  pstate->p_rtable = lappend(pstate->p_rtable, rte);
1617 
1618  /*
1619  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1620  * list --- caller must do that if appropriate.
1621  */
1622  return buildNSItemFromTupleDesc(rte, list_length(pstate->p_rtable),
1623  perminfo, rel->rd_att);
1624 }
1625 
1626 /*
1627  * Add an entry for a subquery to the pstate's range table (p_rtable).
1628  * Then, construct and return a ParseNamespaceItem for the new RTE.
1629  *
1630  * This is much like addRangeTableEntry() except that it makes a subquery RTE.
1631  *
1632  * If the subquery does not have an alias, the auto-generated relation name in
1633  * the returned ParseNamespaceItem will be marked as not visible, and so only
1634  * unqualified references to the subquery columns will be allowed, and the
1635  * relation name will not conflict with others in the pstate's namespace list.
1636  */
1639  Query *subquery,
1640  Alias *alias,
1641  bool lateral,
1642  bool inFromCl)
1643 {
1645  Alias *eref;
1646  int numaliases;
1647  List *coltypes,
1648  *coltypmods,
1649  *colcollations;
1650  int varattno;
1651  ListCell *tlistitem;
1652  ParseNamespaceItem *nsitem;
1653 
1654  Assert(pstate != NULL);
1655 
1656  rte->rtekind = RTE_SUBQUERY;
1657  rte->subquery = subquery;
1658  rte->alias = alias;
1659 
1660  eref = alias ? copyObject(alias) : makeAlias("unnamed_subquery", NIL);
1661  numaliases = list_length(eref->colnames);
1662 
1663  /* fill in any unspecified alias columns, and extract column type info */
1664  coltypes = coltypmods = colcollations = NIL;
1665  varattno = 0;
1666  foreach(tlistitem, subquery->targetList)
1667  {
1668  TargetEntry *te = (TargetEntry *) lfirst(tlistitem);
1669 
1670  if (te->resjunk)
1671  continue;
1672  varattno++;
1673  Assert(varattno == te->resno);
1674  if (varattno > numaliases)
1675  {
1676  char *attrname;
1677 
1678  attrname = pstrdup(te->resname);
1679  eref->colnames = lappend(eref->colnames, makeString(attrname));
1680  }
1681  coltypes = lappend_oid(coltypes,
1682  exprType((Node *) te->expr));
1683  coltypmods = lappend_int(coltypmods,
1684  exprTypmod((Node *) te->expr));
1685  colcollations = lappend_oid(colcollations,
1686  exprCollation((Node *) te->expr));
1687  }
1688  if (varattno < numaliases)
1689  ereport(ERROR,
1690  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
1691  errmsg("table \"%s\" has %d columns available but %d columns specified",
1692  eref->aliasname, varattno, numaliases)));
1693 
1694  rte->eref = eref;
1695 
1696  /*
1697  * Set flags.
1698  *
1699  * Subqueries are never checked for access rights, so no need to perform
1700  * addRTEPermissionInfo().
1701  */
1702  rte->lateral = lateral;
1703  rte->inFromCl = inFromCl;
1704 
1705  /*
1706  * Add completed RTE to pstate's range table list, so that we know its
1707  * index. But we don't add it to the join list --- caller must do that if
1708  * appropriate.
1709  */
1710  pstate->p_rtable = lappend(pstate->p_rtable, rte);
1711 
1712  /*
1713  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
1714  * list --- caller must do that if appropriate.
1715  */
1716  nsitem = buildNSItemFromLists(rte, list_length(pstate->p_rtable),
1717  coltypes, coltypmods, colcollations);
1718 
1719  /*
1720  * Mark it visible as a relation name only if it had a user-written alias.
1721  */
1722  nsitem->p_rel_visible = (alias != NULL);
1723 
1724  return nsitem;
1725 }
1726 
1727 /*
1728  * Add an entry for a function (or functions) to the pstate's range table
1729  * (p_rtable). Then, construct and return a ParseNamespaceItem for the new RTE.
1730  *
1731  * This is much like addRangeTableEntry() except that it makes a function RTE.
1732  */
1735  List *funcnames,
1736  List *funcexprs,
1737  List *coldeflists,
1738  RangeFunction *rangefunc,
1739  bool lateral,
1740  bool inFromCl)
1741 {
1743  Alias *alias = rangefunc->alias;
1744  Alias *eref;
1745  char *aliasname;
1746  int nfuncs = list_length(funcexprs);
1747  TupleDesc *functupdescs;
1748  TupleDesc tupdesc;
1749  ListCell *lc1,
1750  *lc2,
1751  *lc3;
1752  int i;
1753  int j;
1754  int funcno;
1755  int natts,
1756  totalatts;
1757 
1758  Assert(pstate != NULL);
1759 
1760  rte->rtekind = RTE_FUNCTION;
1761  rte->relid = InvalidOid;
1762  rte->subquery = NULL;
1763  rte->functions = NIL; /* we'll fill this list below */
1764  rte->funcordinality = rangefunc->ordinality;
1765  rte->alias = alias;
1766 
1767  /*
1768  * Choose the RTE alias name. We default to using the first function's
1769  * name even when there's more than one; which is maybe arguable but beats
1770  * using something constant like "table".
1771  */
1772  if (alias)
1773  aliasname = alias->aliasname;
1774  else
1775  aliasname = linitial(funcnames);
1776 
1777  eref = makeAlias(aliasname, NIL);
1778  rte->eref = eref;
1779 
1780  /* Process each function ... */
1781  functupdescs = (TupleDesc *) palloc(nfuncs * sizeof(TupleDesc));
1782 
1783  totalatts = 0;
1784  funcno = 0;
1785  forthree(lc1, funcexprs, lc2, funcnames, lc3, coldeflists)
1786  {
1787  Node *funcexpr = (Node *) lfirst(lc1);
1788  char *funcname = (char *) lfirst(lc2);
1789  List *coldeflist = (List *) lfirst(lc3);
1791  TypeFuncClass functypclass;
1792  Oid funcrettype;
1793 
1794  /* Initialize RangeTblFunction node */
1795  rtfunc->funcexpr = funcexpr;
1796  rtfunc->funccolnames = NIL;
1797  rtfunc->funccoltypes = NIL;
1798  rtfunc->funccoltypmods = NIL;
1799  rtfunc->funccolcollations = NIL;
1800  rtfunc->funcparams = NULL; /* not set until planning */
1801 
1802  /*
1803  * Now determine if the function returns a simple or composite type.
1804  */
1805  functypclass = get_expr_result_type(funcexpr,
1806  &funcrettype,
1807  &tupdesc);
1808 
1809  /*
1810  * A coldeflist is required if the function returns RECORD and hasn't
1811  * got a predetermined record type, and is prohibited otherwise. This
1812  * can be a bit confusing, so we expend some effort on delivering a
1813  * relevant error message.
1814  */
1815  if (coldeflist != NIL)
1816  {
1817  switch (functypclass)
1818  {
1819  case TYPEFUNC_RECORD:
1820  /* ok */
1821  break;
1822  case TYPEFUNC_COMPOSITE:
1824 
1825  /*
1826  * If the function's raw result type is RECORD, we must
1827  * have resolved it using its OUT parameters. Otherwise,
1828  * it must have a named composite type.
1829  */
1830  if (exprType(funcexpr) == RECORDOID)
1831  ereport(ERROR,
1832  (errcode(ERRCODE_SYNTAX_ERROR),
1833  errmsg("a column definition list is redundant for a function with OUT parameters"),
1834  parser_errposition(pstate,
1835  exprLocation((Node *) coldeflist))));
1836  else
1837  ereport(ERROR,
1838  (errcode(ERRCODE_SYNTAX_ERROR),
1839  errmsg("a column definition list is redundant for a function returning a named composite type"),
1840  parser_errposition(pstate,
1841  exprLocation((Node *) coldeflist))));
1842  break;
1843  default:
1844  ereport(ERROR,
1845  (errcode(ERRCODE_SYNTAX_ERROR),
1846  errmsg("a column definition list is only allowed for functions returning \"record\""),
1847  parser_errposition(pstate,
1848  exprLocation((Node *) coldeflist))));
1849  break;
1850  }
1851  }
1852  else
1853  {
1854  if (functypclass == TYPEFUNC_RECORD)
1855  ereport(ERROR,
1856  (errcode(ERRCODE_SYNTAX_ERROR),
1857  errmsg("a column definition list is required for functions returning \"record\""),
1858  parser_errposition(pstate, exprLocation(funcexpr))));
1859  }
1860 
1861  if (functypclass == TYPEFUNC_COMPOSITE ||
1862  functypclass == TYPEFUNC_COMPOSITE_DOMAIN)
1863  {
1864  /* Composite data type, e.g. a table's row type */
1865  Assert(tupdesc);
1866  }
1867  else if (functypclass == TYPEFUNC_SCALAR)
1868  {
1869  /* Base data type, i.e. scalar */
1870  tupdesc = CreateTemplateTupleDesc(1);
1871  TupleDescInitEntry(tupdesc,
1872  (AttrNumber) 1,
1874  alias, nfuncs),
1875  funcrettype,
1876  exprTypmod(funcexpr),
1877  0);
1879  (AttrNumber) 1,
1880  exprCollation(funcexpr));
1881  }
1882  else if (functypclass == TYPEFUNC_RECORD)
1883  {
1884  ListCell *col;
1885 
1886  /*
1887  * Use the column definition list to construct a tupdesc and fill
1888  * in the RangeTblFunction's lists. Limit number of columns to
1889  * MaxHeapAttributeNumber, because CheckAttributeNamesTypes will.
1890  */
1891  if (list_length(coldeflist) > MaxHeapAttributeNumber)
1892  ereport(ERROR,
1893  (errcode(ERRCODE_TOO_MANY_COLUMNS),
1894  errmsg("column definition lists can have at most %d entries",
1896  parser_errposition(pstate,
1897  exprLocation((Node *) coldeflist))));
1898  tupdesc = CreateTemplateTupleDesc(list_length(coldeflist));
1899  i = 1;
1900  foreach(col, coldeflist)
1901  {
1902  ColumnDef *n = (ColumnDef *) lfirst(col);
1903  char *attrname;
1904  Oid attrtype;
1905  int32 attrtypmod;
1906  Oid attrcollation;
1907 
1908  attrname = n->colname;
1909  if (n->typeName->setof)
1910  ereport(ERROR,
1911  (errcode(ERRCODE_INVALID_TABLE_DEFINITION),
1912  errmsg("column \"%s\" cannot be declared SETOF",
1913  attrname),
1914  parser_errposition(pstate, n->location)));
1915  typenameTypeIdAndMod(pstate, n->typeName,
1916  &attrtype, &attrtypmod);
1917  attrcollation = GetColumnDefCollation(pstate, n, attrtype);
1918  TupleDescInitEntry(tupdesc,
1919  (AttrNumber) i,
1920  attrname,
1921  attrtype,
1922  attrtypmod,
1923  0);
1925  (AttrNumber) i,
1926  attrcollation);
1927  rtfunc->funccolnames = lappend(rtfunc->funccolnames,
1928  makeString(pstrdup(attrname)));
1929  rtfunc->funccoltypes = lappend_oid(rtfunc->funccoltypes,
1930  attrtype);
1931  rtfunc->funccoltypmods = lappend_int(rtfunc->funccoltypmods,
1932  attrtypmod);
1933  rtfunc->funccolcollations = lappend_oid(rtfunc->funccolcollations,
1934  attrcollation);
1935 
1936  i++;
1937  }
1938 
1939  /*
1940  * Ensure that the coldeflist defines a legal set of names (no
1941  * duplicates, but we needn't worry about system column names) and
1942  * datatypes. Although we mostly can't allow pseudo-types, it
1943  * seems safe to allow RECORD and RECORD[], since values within
1944  * those type classes are self-identifying at runtime, and the
1945  * coldeflist doesn't represent anything that will be visible to
1946  * other sessions.
1947  */
1948  CheckAttributeNamesTypes(tupdesc, RELKIND_COMPOSITE_TYPE,
1950  }
1951  else
1952  ereport(ERROR,
1953  (errcode(ERRCODE_DATATYPE_MISMATCH),
1954  errmsg("function \"%s\" in FROM has unsupported return type %s",
1955  funcname, format_type_be(funcrettype)),
1956  parser_errposition(pstate, exprLocation(funcexpr))));
1957 
1958  /* Finish off the RangeTblFunction and add it to the RTE's list */
1959  rtfunc->funccolcount = tupdesc->natts;
1960  rte->functions = lappend(rte->functions, rtfunc);
1961 
1962  /* Save the tupdesc for use below */
1963  functupdescs[funcno] = tupdesc;
1964  totalatts += tupdesc->natts;
1965  funcno++;
1966  }
1967 
1968  /*
1969  * If there's more than one function, or we want an ordinality column, we
1970  * have to produce a merged tupdesc.
1971  */
1972  if (nfuncs > 1 || rangefunc->ordinality)
1973  {
1974  if (rangefunc->ordinality)
1975  totalatts++;
1976 
1977  /* Disallow more columns than will fit in a tuple */
1978  if (totalatts > MaxTupleAttributeNumber)
1979  ereport(ERROR,
1980  (errcode(ERRCODE_TOO_MANY_COLUMNS),
1981  errmsg("functions in FROM can return at most %d columns",
1983  parser_errposition(pstate,
1984  exprLocation((Node *) funcexprs))));
1985 
1986  /* Merge the tuple descs of each function into a composite one */
1987  tupdesc = CreateTemplateTupleDesc(totalatts);
1988  natts = 0;
1989  for (i = 0; i < nfuncs; i++)
1990  {
1991  for (j = 1; j <= functupdescs[i]->natts; j++)
1992  TupleDescCopyEntry(tupdesc, ++natts, functupdescs[i], j);
1993  }
1994 
1995  /* Add the ordinality column if needed */
1996  if (rangefunc->ordinality)
1997  {
1998  TupleDescInitEntry(tupdesc,
1999  (AttrNumber) ++natts,
2000  "ordinality",
2001  INT8OID,
2002  -1,
2003  0);
2004  /* no need to set collation */
2005  }
2006 
2007  Assert(natts == totalatts);
2008  }
2009  else
2010  {
2011  /* We can just use the single function's tupdesc as-is */
2012  tupdesc = functupdescs[0];
2013  }
2014 
2015  /* Use the tupdesc while assigning column aliases for the RTE */
2016  buildRelationAliases(tupdesc, alias, eref);
2017 
2018  /*
2019  * Set flags and access permissions.
2020  *
2021  * Functions are never checked for access rights (at least, not by
2022  * ExecCheckPermissions()), so no need to perform addRTEPermissionInfo().
2023  */
2024  rte->lateral = lateral;
2025  rte->inFromCl = inFromCl;
2026 
2027  /*
2028  * Add completed RTE to pstate's range table list, so that we know its
2029  * index. But we don't add it to the join list --- caller must do that if
2030  * appropriate.
2031  */
2032  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2033 
2034  /*
2035  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2036  * list --- caller must do that if appropriate.
2037  */
2038  return buildNSItemFromTupleDesc(rte, list_length(pstate->p_rtable), NULL,
2039  tupdesc);
2040 }
2041 
2042 /*
2043  * Add an entry for a table function to the pstate's range table (p_rtable).
2044  * Then, construct and return a ParseNamespaceItem for the new RTE.
2045  *
2046  * This is much like addRangeTableEntry() except that it makes a tablefunc RTE.
2047  */
2050  TableFunc *tf,
2051  Alias *alias,
2052  bool lateral,
2053  bool inFromCl)
2054 {
2056  char *refname;
2057  Alias *eref;
2058  int numaliases;
2059 
2060  Assert(pstate != NULL);
2061 
2062  /* Disallow more columns than will fit in a tuple */
2063  if (list_length(tf->colnames) > MaxTupleAttributeNumber)
2064  ereport(ERROR,
2065  (errcode(ERRCODE_TOO_MANY_COLUMNS),
2066  errmsg("functions in FROM can return at most %d columns",
2068  parser_errposition(pstate,
2069  exprLocation((Node *) tf))));
2070  Assert(list_length(tf->coltypes) == list_length(tf->colnames));
2071  Assert(list_length(tf->coltypmods) == list_length(tf->colnames));
2072  Assert(list_length(tf->colcollations) == list_length(tf->colnames));
2073 
2074  rte->rtekind = RTE_TABLEFUNC;
2075  rte->relid = InvalidOid;
2076  rte->subquery = NULL;
2077  rte->tablefunc = tf;
2078  rte->coltypes = tf->coltypes;
2079  rte->coltypmods = tf->coltypmods;
2080  rte->colcollations = tf->colcollations;
2081  rte->alias = alias;
2082 
2083  refname = alias ? alias->aliasname :
2084  pstrdup(tf->functype == TFT_XMLTABLE ? "xmltable" : "json_table");
2085  eref = alias ? copyObject(alias) : makeAlias(refname, NIL);
2086  numaliases = list_length(eref->colnames);
2087 
2088  /* fill in any unspecified alias columns */
2089  if (numaliases < list_length(tf->colnames))
2090  eref->colnames = list_concat(eref->colnames,
2091  list_copy_tail(tf->colnames, numaliases));
2092 
2093  if (numaliases > list_length(tf->colnames))
2094  ereport(ERROR,
2095  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
2096  errmsg("%s function has %d columns available but %d columns specified",
2097  tf->functype == TFT_XMLTABLE ? "XMLTABLE" : "JSON_TABLE",
2098  list_length(tf->colnames), numaliases)));
2099 
2100  rte->eref = eref;
2101 
2102  /*
2103  * Set flags and access permissions.
2104  *
2105  * Tablefuncs are never checked for access rights (at least, not by
2106  * ExecCheckPermissions()), so no need to perform addRTEPermissionInfo().
2107  */
2108  rte->lateral = lateral;
2109  rte->inFromCl = inFromCl;
2110 
2111  /*
2112  * Add completed RTE to pstate's range table list, so that we know its
2113  * index. But we don't add it to the join list --- caller must do that if
2114  * appropriate.
2115  */
2116  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2117 
2118  /*
2119  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2120  * list --- caller must do that if appropriate.
2121  */
2122  return buildNSItemFromLists(rte, list_length(pstate->p_rtable),
2123  rte->coltypes, rte->coltypmods,
2124  rte->colcollations);
2125 }
2126 
2127 /*
2128  * Add an entry for a VALUES list to the pstate's range table (p_rtable).
2129  * Then, construct and return a ParseNamespaceItem for the new RTE.
2130  *
2131  * This is much like addRangeTableEntry() except that it makes a values RTE.
2132  */
2135  List *exprs,
2136  List *coltypes,
2137  List *coltypmods,
2138  List *colcollations,
2139  Alias *alias,
2140  bool lateral,
2141  bool inFromCl)
2142 {
2144  char *refname = alias ? alias->aliasname : pstrdup("*VALUES*");
2145  Alias *eref;
2146  int numaliases;
2147  int numcolumns;
2148 
2149  Assert(pstate != NULL);
2150 
2151  rte->rtekind = RTE_VALUES;
2152  rte->relid = InvalidOid;
2153  rte->subquery = NULL;
2154  rte->values_lists = exprs;
2155  rte->coltypes = coltypes;
2156  rte->coltypmods = coltypmods;
2157  rte->colcollations = colcollations;
2158  rte->alias = alias;
2159 
2160  eref = alias ? copyObject(alias) : makeAlias(refname, NIL);
2161 
2162  /* fill in any unspecified alias columns */
2163  numcolumns = list_length((List *) linitial(exprs));
2164  numaliases = list_length(eref->colnames);
2165  while (numaliases < numcolumns)
2166  {
2167  char attrname[64];
2168 
2169  numaliases++;
2170  snprintf(attrname, sizeof(attrname), "column%d", numaliases);
2171  eref->colnames = lappend(eref->colnames,
2172  makeString(pstrdup(attrname)));
2173  }
2174  if (numcolumns < numaliases)
2175  ereport(ERROR,
2176  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
2177  errmsg("VALUES lists \"%s\" have %d columns available but %d columns specified",
2178  refname, numcolumns, numaliases)));
2179 
2180  rte->eref = eref;
2181 
2182  /*
2183  * Set flags and access permissions.
2184  *
2185  * Subqueries are never checked for access rights, so no need to perform
2186  * addRTEPermissionInfo().
2187  */
2188  rte->lateral = lateral;
2189  rte->inFromCl = inFromCl;
2190 
2191  /*
2192  * Add completed RTE to pstate's range table list, so that we know its
2193  * index. But we don't add it to the join list --- caller must do that if
2194  * appropriate.
2195  */
2196  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2197 
2198  /*
2199  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2200  * list --- caller must do that if appropriate.
2201  */
2202  return buildNSItemFromLists(rte, list_length(pstate->p_rtable),
2203  rte->coltypes, rte->coltypmods,
2204  rte->colcollations);
2205 }
2206 
2207 /*
2208  * Add an entry for a join to the pstate's range table (p_rtable).
2209  * Then, construct and return a ParseNamespaceItem for the new RTE.
2210  *
2211  * This is much like addRangeTableEntry() except that it makes a join RTE.
2212  * Also, it's more convenient for the caller to construct the
2213  * ParseNamespaceColumn array, so we pass that in.
2214  */
2217  List *colnames,
2218  ParseNamespaceColumn *nscolumns,
2219  JoinType jointype,
2220  int nummergedcols,
2221  List *aliasvars,
2222  List *leftcols,
2223  List *rightcols,
2224  Alias *join_using_alias,
2225  Alias *alias,
2226  bool inFromCl)
2227 {
2229  Alias *eref;
2230  int numaliases;
2231  ParseNamespaceItem *nsitem;
2232 
2233  Assert(pstate != NULL);
2234 
2235  /*
2236  * Fail if join has too many columns --- we must be able to reference any
2237  * of the columns with an AttrNumber.
2238  */
2239  if (list_length(aliasvars) > MaxAttrNumber)
2240  ereport(ERROR,
2241  (errcode(ERRCODE_PROGRAM_LIMIT_EXCEEDED),
2242  errmsg("joins can have at most %d columns",
2243  MaxAttrNumber)));
2244 
2245  rte->rtekind = RTE_JOIN;
2246  rte->relid = InvalidOid;
2247  rte->subquery = NULL;
2248  rte->jointype = jointype;
2249  rte->joinmergedcols = nummergedcols;
2250  rte->joinaliasvars = aliasvars;
2251  rte->joinleftcols = leftcols;
2252  rte->joinrightcols = rightcols;
2253  rte->join_using_alias = join_using_alias;
2254  rte->alias = alias;
2255 
2256  eref = alias ? copyObject(alias) : makeAlias("unnamed_join", NIL);
2257  numaliases = list_length(eref->colnames);
2258 
2259  /* fill in any unspecified alias columns */
2260  if (numaliases < list_length(colnames))
2261  eref->colnames = list_concat(eref->colnames,
2262  list_copy_tail(colnames, numaliases));
2263 
2264  if (numaliases > list_length(colnames))
2265  ereport(ERROR,
2266  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
2267  errmsg("join expression \"%s\" has %d columns available but %d columns specified",
2268  eref->aliasname, list_length(colnames), numaliases)));
2269 
2270  rte->eref = eref;
2271 
2272  /*
2273  * Set flags and access permissions.
2274  *
2275  * Joins are never checked for access rights, so no need to perform
2276  * addRTEPermissionInfo().
2277  */
2278  rte->lateral = false;
2279  rte->inFromCl = inFromCl;
2280 
2281  /*
2282  * Add completed RTE to pstate's range table list, so that we know its
2283  * index. But we don't add it to the join list --- caller must do that if
2284  * appropriate.
2285  */
2286  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2287 
2288  /*
2289  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2290  * list --- caller must do that if appropriate.
2291  */
2292  nsitem = (ParseNamespaceItem *) palloc(sizeof(ParseNamespaceItem));
2293  nsitem->p_names = rte->eref;
2294  nsitem->p_rte = rte;
2295  nsitem->p_perminfo = NULL;
2296  nsitem->p_rtindex = list_length(pstate->p_rtable);
2297  nsitem->p_nscolumns = nscolumns;
2298  /* set default visibility flags; might get changed later */
2299  nsitem->p_rel_visible = true;
2300  nsitem->p_cols_visible = true;
2301  nsitem->p_lateral_only = false;
2302  nsitem->p_lateral_ok = true;
2303 
2304  return nsitem;
2305 }
2306 
2307 /*
2308  * Add an entry for a CTE reference to the pstate's range table (p_rtable).
2309  * Then, construct and return a ParseNamespaceItem for the new RTE.
2310  *
2311  * This is much like addRangeTableEntry() except that it makes a CTE RTE.
2312  */
2315  CommonTableExpr *cte,
2316  Index levelsup,
2317  RangeVar *rv,
2318  bool inFromCl)
2319 {
2321  Alias *alias = rv->alias;
2322  char *refname = alias ? alias->aliasname : cte->ctename;
2323  Alias *eref;
2324  int numaliases;
2325  int varattno;
2326  ListCell *lc;
2327  int n_dontexpand_columns = 0;
2328  ParseNamespaceItem *psi;
2329 
2330  Assert(pstate != NULL);
2331 
2332  rte->rtekind = RTE_CTE;
2333  rte->ctename = cte->ctename;
2334  rte->ctelevelsup = levelsup;
2335 
2336  /* Self-reference if and only if CTE's parse analysis isn't completed */
2337  rte->self_reference = !IsA(cte->ctequery, Query);
2338  Assert(cte->cterecursive || !rte->self_reference);
2339  /* Bump the CTE's refcount if this isn't a self-reference */
2340  if (!rte->self_reference)
2341  cte->cterefcount++;
2342 
2343  /*
2344  * We throw error if the CTE is INSERT/UPDATE/DELETE/MERGE without
2345  * RETURNING. This won't get checked in case of a self-reference, but
2346  * that's OK because data-modifying CTEs aren't allowed to be recursive
2347  * anyhow.
2348  */
2349  if (IsA(cte->ctequery, Query))
2350  {
2351  Query *ctequery = (Query *) cte->ctequery;
2352 
2353  if (ctequery->commandType != CMD_SELECT &&
2354  ctequery->returningList == NIL)
2355  ereport(ERROR,
2356  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
2357  errmsg("WITH query \"%s\" does not have a RETURNING clause",
2358  cte->ctename),
2359  parser_errposition(pstate, rv->location)));
2360  }
2361 
2362  rte->coltypes = list_copy(cte->ctecoltypes);
2363  rte->coltypmods = list_copy(cte->ctecoltypmods);
2364  rte->colcollations = list_copy(cte->ctecolcollations);
2365 
2366  rte->alias = alias;
2367  if (alias)
2368  eref = copyObject(alias);
2369  else
2370  eref = makeAlias(refname, NIL);
2371  numaliases = list_length(eref->colnames);
2372 
2373  /* fill in any unspecified alias columns */
2374  varattno = 0;
2375  foreach(lc, cte->ctecolnames)
2376  {
2377  varattno++;
2378  if (varattno > numaliases)
2379  eref->colnames = lappend(eref->colnames, lfirst(lc));
2380  }
2381  if (varattno < numaliases)
2382  ereport(ERROR,
2383  (errcode(ERRCODE_INVALID_COLUMN_REFERENCE),
2384  errmsg("table \"%s\" has %d columns available but %d columns specified",
2385  refname, varattno, numaliases)));
2386 
2387  rte->eref = eref;
2388 
2389  if (cte->search_clause)
2390  {
2391  rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->search_clause->search_seq_column));
2392  if (cte->search_clause->search_breadth_first)
2393  rte->coltypes = lappend_oid(rte->coltypes, RECORDOID);
2394  else
2395  rte->coltypes = lappend_oid(rte->coltypes, RECORDARRAYOID);
2396  rte->coltypmods = lappend_int(rte->coltypmods, -1);
2397  rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2398 
2399  n_dontexpand_columns += 1;
2400  }
2401 
2402  if (cte->cycle_clause)
2403  {
2404  rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->cycle_clause->cycle_mark_column));
2405  rte->coltypes = lappend_oid(rte->coltypes, cte->cycle_clause->cycle_mark_type);
2406  rte->coltypmods = lappend_int(rte->coltypmods, cte->cycle_clause->cycle_mark_typmod);
2407  rte->colcollations = lappend_oid(rte->colcollations, cte->cycle_clause->cycle_mark_collation);
2408 
2409  rte->eref->colnames = lappend(rte->eref->colnames, makeString(cte->cycle_clause->cycle_path_column));
2410  rte->coltypes = lappend_oid(rte->coltypes, RECORDARRAYOID);
2411  rte->coltypmods = lappend_int(rte->coltypmods, -1);
2412  rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2413 
2414  n_dontexpand_columns += 2;
2415  }
2416 
2417  /*
2418  * Set flags and access permissions.
2419  *
2420  * Subqueries are never checked for access rights, so no need to perform
2421  * addRTEPermissionInfo().
2422  */
2423  rte->lateral = false;
2424  rte->inFromCl = inFromCl;
2425 
2426  /*
2427  * Add completed RTE to pstate's range table list, so that we know its
2428  * index. But we don't add it to the join list --- caller must do that if
2429  * appropriate.
2430  */
2431  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2432 
2433  /*
2434  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2435  * list --- caller must do that if appropriate.
2436  */
2437  psi = buildNSItemFromLists(rte, list_length(pstate->p_rtable),
2438  rte->coltypes, rte->coltypmods,
2439  rte->colcollations);
2440 
2441  /*
2442  * The columns added by search and cycle clauses are not included in star
2443  * expansion in queries contained in the CTE.
2444  */
2445  if (rte->ctelevelsup > 0)
2446  for (int i = 0; i < n_dontexpand_columns; i++)
2447  psi->p_nscolumns[list_length(psi->p_names->colnames) - 1 - i].p_dontexpand = true;
2448 
2449  return psi;
2450 }
2451 
2452 /*
2453  * Add an entry for an ephemeral named relation reference to the pstate's
2454  * range table (p_rtable).
2455  * Then, construct and return a ParseNamespaceItem for the new RTE.
2456  *
2457  * It is expected that the RangeVar, which up until now is only known to be an
2458  * ephemeral named relation, will (in conjunction with the QueryEnvironment in
2459  * the ParseState), create a RangeTblEntry for a specific *kind* of ephemeral
2460  * named relation, based on enrtype.
2461  *
2462  * This is much like addRangeTableEntry() except that it makes an RTE for an
2463  * ephemeral named relation.
2464  */
2467  RangeVar *rv,
2468  bool inFromCl)
2469 {
2471  Alias *alias = rv->alias;
2472  char *refname = alias ? alias->aliasname : rv->relname;
2474  TupleDesc tupdesc;
2475  int attno;
2476 
2477  Assert(pstate != NULL);
2478  enrmd = get_visible_ENR(pstate, rv->relname);
2479  Assert(enrmd != NULL);
2480 
2481  switch (enrmd->enrtype)
2482  {
2483  case ENR_NAMED_TUPLESTORE:
2485  break;
2486 
2487  default:
2488  elog(ERROR, "unexpected enrtype: %d", enrmd->enrtype);
2489  return NULL; /* for fussy compilers */
2490  }
2491 
2492  /*
2493  * Record dependency on a relation. This allows plans to be invalidated
2494  * if they access transition tables linked to a table that is altered.
2495  */
2496  rte->relid = enrmd->reliddesc;
2497 
2498  /*
2499  * Build the list of effective column names using user-supplied aliases
2500  * and/or actual column names.
2501  */
2502  tupdesc = ENRMetadataGetTupDesc(enrmd);
2503  rte->eref = makeAlias(refname, NIL);
2504  buildRelationAliases(tupdesc, alias, rte->eref);
2505 
2506  /* Record additional data for ENR, including column type info */
2507  rte->enrname = enrmd->name;
2508  rte->enrtuples = enrmd->enrtuples;
2509  rte->coltypes = NIL;
2510  rte->coltypmods = NIL;
2511  rte->colcollations = NIL;
2512  for (attno = 1; attno <= tupdesc->natts; ++attno)
2513  {
2514  Form_pg_attribute att = TupleDescAttr(tupdesc, attno - 1);
2515 
2516  if (att->attisdropped)
2517  {
2518  /* Record zeroes for a dropped column */
2519  rte->coltypes = lappend_oid(rte->coltypes, InvalidOid);
2520  rte->coltypmods = lappend_int(rte->coltypmods, 0);
2521  rte->colcollations = lappend_oid(rte->colcollations, InvalidOid);
2522  }
2523  else
2524  {
2525  /* Let's just make sure we can tell this isn't dropped */
2526  if (att->atttypid == InvalidOid)
2527  elog(ERROR, "atttypid is invalid for non-dropped column in \"%s\"",
2528  rv->relname);
2529  rte->coltypes = lappend_oid(rte->coltypes, att->atttypid);
2530  rte->coltypmods = lappend_int(rte->coltypmods, att->atttypmod);
2531  rte->colcollations = lappend_oid(rte->colcollations,
2532  att->attcollation);
2533  }
2534  }
2535 
2536  /*
2537  * Set flags and access permissions.
2538  *
2539  * ENRs are never checked for access rights, so no need to perform
2540  * addRTEPermissionInfo().
2541  */
2542  rte->lateral = false;
2543  rte->inFromCl = inFromCl;
2544 
2545  /*
2546  * Add completed RTE to pstate's range table list, so that we know its
2547  * index. But we don't add it to the join list --- caller must do that if
2548  * appropriate.
2549  */
2550  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2551 
2552  /*
2553  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2554  * list --- caller must do that if appropriate.
2555  */
2556  return buildNSItemFromTupleDesc(rte, list_length(pstate->p_rtable), NULL,
2557  tupdesc);
2558 }
2559 
2560 /*
2561  * Add an entry for grouping step to the pstate's range table (p_rtable).
2562  * Then, construct and return a ParseNamespaceItem for the new RTE.
2563  */
2566  List *groupClauses)
2567 {
2569  Alias *eref;
2570  List *groupexprs;
2571  List *coltypes,
2572  *coltypmods,
2573  *colcollations;
2574  ListCell *lc;
2575  ParseNamespaceItem *nsitem;
2576 
2577  Assert(pstate != NULL);
2578 
2579  rte->rtekind = RTE_GROUP;
2580  rte->alias = NULL;
2581 
2582  eref = makeAlias("*GROUP*", NIL);
2583 
2584  /* fill in any unspecified alias columns, and extract column type info */
2585  groupexprs = NIL;
2586  coltypes = coltypmods = colcollations = NIL;
2587  foreach(lc, groupClauses)
2588  {
2589  TargetEntry *te = (TargetEntry *) lfirst(lc);
2590  char *colname = te->resname ? pstrdup(te->resname) : "?column?";
2591 
2592  eref->colnames = lappend(eref->colnames, makeString(colname));
2593 
2594  groupexprs = lappend(groupexprs, copyObject(te->expr));
2595 
2596  coltypes = lappend_oid(coltypes,
2597  exprType((Node *) te->expr));
2598  coltypmods = lappend_int(coltypmods,
2599  exprTypmod((Node *) te->expr));
2600  colcollations = lappend_oid(colcollations,
2601  exprCollation((Node *) te->expr));
2602  }
2603 
2604  rte->eref = eref;
2605  rte->groupexprs = groupexprs;
2606 
2607  /*
2608  * Set flags.
2609  *
2610  * The grouping step is never checked for access rights, so no need to
2611  * perform addRTEPermissionInfo().
2612  */
2613  rte->lateral = false;
2614  rte->inFromCl = false;
2615 
2616  /*
2617  * Add completed RTE to pstate's range table list, so that we know its
2618  * index. But we don't add it to the join list --- caller must do that if
2619  * appropriate.
2620  */
2621  pstate->p_rtable = lappend(pstate->p_rtable, rte);
2622 
2623  /*
2624  * Build a ParseNamespaceItem, but don't add it to the pstate's namespace
2625  * list --- caller must do that if appropriate.
2626  */
2627  nsitem = buildNSItemFromLists(rte, list_length(pstate->p_rtable),
2628  coltypes, coltypmods, colcollations);
2629 
2630  return nsitem;
2631 }
2632 
2633 
2634 /*
2635  * Has the specified refname been selected FOR UPDATE/FOR SHARE?
2636  *
2637  * This is used when we have not yet done transformLockingClause, but need
2638  * to know the correct lock to take during initial opening of relations.
2639  *
2640  * Note that refname may be NULL (for a subquery without an alias), in which
2641  * case the relation can't be locked by name, but it might still be locked if
2642  * a locking clause requests that all tables be locked.
2643  *
2644  * Note: we pay no attention to whether it's FOR UPDATE vs FOR SHARE,
2645  * since the table-level lock is the same either way.
2646  */
2647 bool
2648 isLockedRefname(ParseState *pstate, const char *refname)
2649 {
2650  ListCell *l;
2651 
2652  /*
2653  * If we are in a subquery specified as locked FOR UPDATE/SHARE from
2654  * parent level, then act as though there's a generic FOR UPDATE here.
2655  */
2656  if (pstate->p_locked_from_parent)
2657  return true;
2658 
2659  foreach(l, pstate->p_locking_clause)
2660  {
2661  LockingClause *lc = (LockingClause *) lfirst(l);
2662 
2663  if (lc->lockedRels == NIL)
2664  {
2665  /* all tables used in query */
2666  return true;
2667  }
2668  else if (refname != NULL)
2669  {
2670  /* just the named tables */
2671  ListCell *l2;
2672 
2673  foreach(l2, lc->lockedRels)
2674  {
2675  RangeVar *thisrel = (RangeVar *) lfirst(l2);
2676 
2677  if (strcmp(refname, thisrel->relname) == 0)
2678  return true;
2679  }
2680  }
2681  }
2682  return false;
2683 }
2684 
2685 /*
2686  * Add the given nsitem/RTE as a top-level entry in the pstate's join list
2687  * and/or namespace list. (We assume caller has checked for any
2688  * namespace conflicts.) The nsitem is always marked as unconditionally
2689  * visible, that is, not LATERAL-only.
2690  */
2691 void
2693  bool addToJoinList,
2694  bool addToRelNameSpace, bool addToVarNameSpace)
2695 {
2696  if (addToJoinList)
2697  {
2699 
2700  rtr->rtindex = nsitem->p_rtindex;
2701  pstate->p_joinlist = lappend(pstate->p_joinlist, rtr);
2702  }
2703  if (addToRelNameSpace || addToVarNameSpace)
2704  {
2705  /* Set the new nsitem's visibility flags correctly */
2706  nsitem->p_rel_visible = addToRelNameSpace;
2707  nsitem->p_cols_visible = addToVarNameSpace;
2708  nsitem->p_lateral_only = false;
2709  nsitem->p_lateral_ok = true;
2710  pstate->p_namespace = lappend(pstate->p_namespace, nsitem);
2711  }
2712 }
2713 
2714 /*
2715  * expandRTE -- expand the columns of a rangetable entry
2716  *
2717  * This creates lists of an RTE's column names (aliases if provided, else
2718  * real names) and Vars for each column. Only user columns are considered.
2719  * If include_dropped is false then dropped columns are omitted from the
2720  * results. If include_dropped is true then empty strings and NULL constants
2721  * (not Vars!) are returned for dropped columns.
2722  *
2723  * rtindex, sublevels_up, and location are the varno, varlevelsup, and location
2724  * values to use in the created Vars. Ordinarily rtindex should match the
2725  * actual position of the RTE in its rangetable.
2726  *
2727  * The output lists go into *colnames and *colvars.
2728  * If only one of the two kinds of output list is needed, pass NULL for the
2729  * output pointer for the unwanted one.
2730  */
2731 void
2732 expandRTE(RangeTblEntry *rte, int rtindex, int sublevels_up,
2733  int location, bool include_dropped,
2734  List **colnames, List **colvars)
2735 {
2736  int varattno;
2737 
2738  if (colnames)
2739  *colnames = NIL;
2740  if (colvars)
2741  *colvars = NIL;
2742 
2743  switch (rte->rtekind)
2744  {
2745  case RTE_RELATION:
2746  /* Ordinary relation RTE */
2747  expandRelation(rte->relid, rte->eref,
2748  rtindex, sublevels_up, location,
2749  include_dropped, colnames, colvars);
2750  break;
2751  case RTE_SUBQUERY:
2752  {
2753  /* Subquery RTE */
2754  ListCell *aliasp_item = list_head(rte->eref->colnames);
2755  ListCell *tlistitem;
2756 
2757  varattno = 0;
2758  foreach(tlistitem, rte->subquery->targetList)
2759  {
2760  TargetEntry *te = (TargetEntry *) lfirst(tlistitem);
2761 
2762  if (te->resjunk)
2763  continue;
2764  varattno++;
2765  Assert(varattno == te->resno);
2766 
2767  /*
2768  * Formerly it was possible for the subquery tlist to have
2769  * more non-junk entries than the colnames list does (if
2770  * this RTE has been expanded from a view that has more
2771  * columns than it did when the current query was parsed).
2772  * Now that ApplyRetrieveRule cleans up such cases, we
2773  * shouldn't see that anymore, but let's just check.
2774  */
2775  if (!aliasp_item)
2776  elog(ERROR, "too few column names for subquery %s",
2777  rte->eref->aliasname);
2778 
2779  if (colnames)
2780  {
2781  char *label = strVal(lfirst(aliasp_item));
2782 
2783  *colnames = lappend(*colnames, makeString(pstrdup(label)));
2784  }
2785 
2786  if (colvars)
2787  {
2788  Var *varnode;
2789 
2790  varnode = makeVar(rtindex, varattno,
2791  exprType((Node *) te->expr),
2792  exprTypmod((Node *) te->expr),
2793  exprCollation((Node *) te->expr),
2794  sublevels_up);
2795  varnode->location = location;
2796 
2797  *colvars = lappend(*colvars, varnode);
2798  }
2799 
2800  aliasp_item = lnext(rte->eref->colnames, aliasp_item);
2801  }
2802  }
2803  break;
2804  case RTE_FUNCTION:
2805  {
2806  /* Function RTE */
2807  int atts_done = 0;
2808  ListCell *lc;
2809 
2810  foreach(lc, rte->functions)
2811  {
2812  RangeTblFunction *rtfunc = (RangeTblFunction *) lfirst(lc);
2813  TypeFuncClass functypclass;
2814  Oid funcrettype = InvalidOid;
2815  TupleDesc tupdesc = NULL;
2816 
2817  /* If it has a coldeflist, it returns RECORD */
2818  if (rtfunc->funccolnames != NIL)
2819  functypclass = TYPEFUNC_RECORD;
2820  else
2821  functypclass = get_expr_result_type(rtfunc->funcexpr,
2822  &funcrettype,
2823  &tupdesc);
2824 
2825  if (functypclass == TYPEFUNC_COMPOSITE ||
2826  functypclass == TYPEFUNC_COMPOSITE_DOMAIN)
2827  {
2828  /* Composite data type, e.g. a table's row type */
2829  Assert(tupdesc);
2830  expandTupleDesc(tupdesc, rte->eref,
2831  rtfunc->funccolcount, atts_done,
2832  rtindex, sublevels_up, location,
2833  include_dropped, colnames, colvars);
2834  }
2835  else if (functypclass == TYPEFUNC_SCALAR)
2836  {
2837  /* Base data type, i.e. scalar */
2838  if (colnames)
2839  *colnames = lappend(*colnames,
2840  list_nth(rte->eref->colnames,
2841  atts_done));
2842 
2843  if (colvars)
2844  {
2845  Var *varnode;
2846 
2847  varnode = makeVar(rtindex, atts_done + 1,
2848  funcrettype,
2849  exprTypmod(rtfunc->funcexpr),
2850  exprCollation(rtfunc->funcexpr),
2851  sublevels_up);
2852  varnode->location = location;
2853 
2854  *colvars = lappend(*colvars, varnode);
2855  }
2856  }
2857  else if (functypclass == TYPEFUNC_RECORD)
2858  {
2859  if (colnames)
2860  {
2861  List *namelist;
2862 
2863  /* extract appropriate subset of column list */
2864  namelist = list_copy_tail(rte->eref->colnames,
2865  atts_done);
2866  namelist = list_truncate(namelist,
2867  rtfunc->funccolcount);
2868  *colnames = list_concat(*colnames, namelist);
2869  }
2870 
2871  if (colvars)
2872  {
2873  ListCell *l1;
2874  ListCell *l2;
2875  ListCell *l3;
2876  int attnum = atts_done;
2877 
2878  forthree(l1, rtfunc->funccoltypes,
2879  l2, rtfunc->funccoltypmods,
2880  l3, rtfunc->funccolcollations)
2881  {
2882  Oid attrtype = lfirst_oid(l1);
2883  int32 attrtypmod = lfirst_int(l2);
2884  Oid attrcollation = lfirst_oid(l3);
2885  Var *varnode;
2886 
2887  attnum++;
2888  varnode = makeVar(rtindex,
2889  attnum,
2890  attrtype,
2891  attrtypmod,
2892  attrcollation,
2893  sublevels_up);
2894  varnode->location = location;
2895  *colvars = lappend(*colvars, varnode);
2896  }
2897  }
2898  }
2899  else
2900  {
2901  /* addRangeTableEntryForFunction should've caught this */
2902  elog(ERROR, "function in FROM has unsupported return type");
2903  }
2904  atts_done += rtfunc->funccolcount;
2905  }
2906 
2907  /* Append the ordinality column if any */
2908  if (rte->funcordinality)
2909  {
2910  if (colnames)
2911  *colnames = lappend(*colnames,
2912  llast(rte->eref->colnames));
2913 
2914  if (colvars)
2915  {
2916  Var *varnode = makeVar(rtindex,
2917  atts_done + 1,
2918  INT8OID,
2919  -1,
2920  InvalidOid,
2921  sublevels_up);
2922 
2923  *colvars = lappend(*colvars, varnode);
2924  }
2925  }
2926  }
2927  break;
2928  case RTE_JOIN:
2929  {
2930  /* Join RTE */
2931  ListCell *colname;
2932  ListCell *aliasvar;
2933 
2934  Assert(list_length(rte->eref->colnames) == list_length(rte->joinaliasvars));
2935 
2936  varattno = 0;
2937  forboth(colname, rte->eref->colnames, aliasvar, rte->joinaliasvars)
2938  {
2939  Node *avar = (Node *) lfirst(aliasvar);
2940 
2941  varattno++;
2942 
2943  /*
2944  * During ordinary parsing, there will never be any
2945  * deleted columns in the join. While this function is
2946  * also used by the rewriter and planner, they do not
2947  * currently call it on any JOIN RTEs. Therefore, this
2948  * next bit is dead code, but it seems prudent to handle
2949  * the case correctly anyway.
2950  */
2951  if (avar == NULL)
2952  {
2953  if (include_dropped)
2954  {
2955  if (colnames)
2956  *colnames = lappend(*colnames,
2957  makeString(pstrdup("")));
2958  if (colvars)
2959  {
2960  /*
2961  * Can't use join's column type here (it might
2962  * be dropped!); but it doesn't really matter
2963  * what type the Const claims to be.
2964  */
2965  *colvars = lappend(*colvars,
2966  makeNullConst(INT4OID, -1,
2967  InvalidOid));
2968  }
2969  }
2970  continue;
2971  }
2972 
2973  if (colnames)
2974  {
2975  char *label = strVal(lfirst(colname));
2976 
2977  *colnames = lappend(*colnames,
2979  }
2980 
2981  if (colvars)
2982  {
2983  Var *varnode;
2984 
2985  /*
2986  * If the joinaliasvars entry is a simple Var, just
2987  * copy it (with adjustment of varlevelsup and
2988  * location); otherwise it is a JOIN USING column and
2989  * we must generate a join alias Var. This matches
2990  * the results that expansion of "join.*" by
2991  * expandNSItemVars would have produced, if we had
2992  * access to the ParseNamespaceItem for the join.
2993  */
2994  if (IsA(avar, Var))
2995  {
2996  varnode = copyObject((Var *) avar);
2997  varnode->varlevelsup = sublevels_up;
2998  }
2999  else
3000  varnode = makeVar(rtindex, varattno,
3001  exprType(avar),
3002  exprTypmod(avar),
3003  exprCollation(avar),
3004  sublevels_up);
3005  varnode->location = location;
3006 
3007  *colvars = lappend(*colvars, varnode);
3008  }
3009  }
3010  }
3011  break;
3012  case RTE_TABLEFUNC:
3013  case RTE_VALUES:
3014  case RTE_CTE:
3015  case RTE_NAMEDTUPLESTORE:
3016  {
3017  /* Tablefunc, Values, CTE, or ENR RTE */
3018  ListCell *aliasp_item = list_head(rte->eref->colnames);
3019  ListCell *lct;
3020  ListCell *lcm;
3021  ListCell *lcc;
3022 
3023  varattno = 0;
3024  forthree(lct, rte->coltypes,
3025  lcm, rte->coltypmods,
3026  lcc, rte->colcollations)
3027  {
3028  Oid coltype = lfirst_oid(lct);
3029  int32 coltypmod = lfirst_int(lcm);
3030  Oid colcoll = lfirst_oid(lcc);
3031 
3032  varattno++;
3033 
3034  if (colnames)
3035  {
3036  /* Assume there is one alias per output column */
3037  if (OidIsValid(coltype))
3038  {
3039  char *label = strVal(lfirst(aliasp_item));
3040 
3041  *colnames = lappend(*colnames,
3043  }
3044  else if (include_dropped)
3045  *colnames = lappend(*colnames,
3046  makeString(pstrdup("")));
3047 
3048  aliasp_item = lnext(rte->eref->colnames, aliasp_item);
3049  }
3050 
3051  if (colvars)
3052  {
3053  if (OidIsValid(coltype))
3054  {
3055  Var *varnode;
3056 
3057  varnode = makeVar(rtindex, varattno,
3058  coltype, coltypmod, colcoll,
3059  sublevels_up);
3060  varnode->location = location;
3061 
3062  *colvars = lappend(*colvars, varnode);
3063  }
3064  else if (include_dropped)
3065  {
3066  /*
3067  * It doesn't really matter what type the Const
3068  * claims to be.
3069  */
3070  *colvars = lappend(*colvars,
3071  makeNullConst(INT4OID, -1,
3072  InvalidOid));
3073  }
3074  }
3075  }
3076  }
3077  break;
3078  case RTE_RESULT:
3079  case RTE_GROUP:
3080  /* These expose no columns, so nothing to do */
3081  break;
3082  default:
3083  elog(ERROR, "unrecognized RTE kind: %d", (int) rte->rtekind);
3084  }
3085 }
3086 
3087 /*
3088  * expandRelation -- expandRTE subroutine
3089  */
3090 static void
3091 expandRelation(Oid relid, Alias *eref, int rtindex, int sublevels_up,
3092  int location, bool include_dropped,
3093  List **colnames, List **colvars)
3094 {
3095  Relation rel;
3096 
3097  /* Get the tupledesc and turn it over to expandTupleDesc */
3098  rel = relation_open(relid, AccessShareLock);
3099  expandTupleDesc(rel->rd_att, eref, rel->rd_att->natts, 0,
3100  rtindex, sublevels_up,
3101  location, include_dropped,
3102  colnames, colvars);
3104 }
3105 
3106 /*
3107  * expandTupleDesc -- expandRTE subroutine
3108  *
3109  * Generate names and/or Vars for the first "count" attributes of the tupdesc,
3110  * and append them to colnames/colvars. "offset" is added to the varattno
3111  * that each Var would otherwise have, and we also skip the first "offset"
3112  * entries in eref->colnames. (These provisions allow use of this code for
3113  * an individual composite-returning function in an RTE_FUNCTION RTE.)
3114  */
3115 static void
3116 expandTupleDesc(TupleDesc tupdesc, Alias *eref, int count, int offset,
3117  int rtindex, int sublevels_up,
3118  int location, bool include_dropped,
3119  List **colnames, List **colvars)
3120 {
3121  ListCell *aliascell;
3122  int varattno;
3123 
3124  aliascell = (offset < list_length(eref->colnames)) ?
3125  list_nth_cell(eref->colnames, offset) : NULL;
3126 
3127  Assert(count <= tupdesc->natts);
3128  for (varattno = 0; varattno < count; varattno++)
3129  {
3130  Form_pg_attribute attr = TupleDescAttr(tupdesc, varattno);
3131 
3132  if (attr->attisdropped)
3133  {
3134  if (include_dropped)
3135  {
3136  if (colnames)
3137  *colnames = lappend(*colnames, makeString(pstrdup("")));
3138  if (colvars)
3139  {
3140  /*
3141  * can't use atttypid here, but it doesn't really matter
3142  * what type the Const claims to be.
3143  */
3144  *colvars = lappend(*colvars,
3145  makeNullConst(INT4OID, -1, InvalidOid));
3146  }
3147  }
3148  if (aliascell)
3149  aliascell = lnext(eref->colnames, aliascell);
3150  continue;
3151  }
3152 
3153  if (colnames)
3154  {
3155  char *label;
3156 
3157  if (aliascell)
3158  {
3159  label = strVal(lfirst(aliascell));
3160  aliascell = lnext(eref->colnames, aliascell);
3161  }
3162  else
3163  {
3164  /* If we run out of aliases, use the underlying name */
3165  label = NameStr(attr->attname);
3166  }
3167  *colnames = lappend(*colnames, makeString(pstrdup(label)));
3168  }
3169 
3170  if (colvars)
3171  {
3172  Var *varnode;
3173 
3174  varnode = makeVar(rtindex, varattno + offset + 1,
3175  attr->atttypid, attr->atttypmod,
3176  attr->attcollation,
3177  sublevels_up);
3178  varnode->location = location;
3179 
3180  *colvars = lappend(*colvars, varnode);
3181  }
3182  }
3183 }
3184 
3185 /*
3186  * expandNSItemVars
3187  * Produce a list of Vars, and optionally a list of column names,
3188  * for the non-dropped columns of the nsitem.
3189  *
3190  * The emitted Vars are marked with the given sublevels_up and location.
3191  *
3192  * If colnames isn't NULL, a list of String items for the columns is stored
3193  * there; note that it's just a subset of the RTE's eref list, and hence
3194  * the list elements mustn't be modified.
3195  */
3196 List *
3198  int sublevels_up, int location,
3199  List **colnames)
3200 {
3201  List *result = NIL;
3202  int colindex;
3203  ListCell *lc;
3204 
3205  if (colnames)
3206  *colnames = NIL;
3207  colindex = 0;
3208  foreach(lc, nsitem->p_names->colnames)
3209  {
3210  String *colnameval = lfirst(lc);
3211  const char *colname = strVal(colnameval);
3212  ParseNamespaceColumn *nscol = nsitem->p_nscolumns + colindex;
3213 
3214  if (nscol->p_dontexpand)
3215  {
3216  /* skip */
3217  }
3218  else if (colname[0])
3219  {
3220  Var *var;
3221 
3222  Assert(nscol->p_varno > 0);
3223  var = makeVar(nscol->p_varno,
3224  nscol->p_varattno,
3225  nscol->p_vartype,
3226  nscol->p_vartypmod,
3227  nscol->p_varcollid,
3228  sublevels_up);
3229  /* makeVar doesn't offer parameters for these, so set by hand: */
3230  var->varnosyn = nscol->p_varnosyn;
3231  var->varattnosyn = nscol->p_varattnosyn;
3232  var->location = location;
3233 
3234  /* ... and update varnullingrels */
3235  markNullableIfNeeded(pstate, var);
3236 
3237  result = lappend(result, var);
3238  if (colnames)
3239  *colnames = lappend(*colnames, colnameval);
3240  }
3241  else
3242  {
3243  /* dropped column, ignore */
3244  Assert(nscol->p_varno == 0);
3245  }
3246  colindex++;
3247  }
3248  return result;
3249 }
3250 
3251 /*
3252  * expandNSItemAttrs -
3253  * Workhorse for "*" expansion: produce a list of targetentries
3254  * for the attributes of the nsitem
3255  *
3256  * pstate->p_next_resno determines the resnos assigned to the TLEs.
3257  * The referenced columns are marked as requiring SELECT access, if
3258  * caller requests that.
3259  */
3260 List *
3262  int sublevels_up, bool require_col_privs, int location)
3263 {
3264  RangeTblEntry *rte = nsitem->p_rte;
3265  RTEPermissionInfo *perminfo = nsitem->p_perminfo;
3266  List *names,
3267  *vars;
3268  ListCell *name,
3269  *var;
3270  List *te_list = NIL;
3271 
3272  vars = expandNSItemVars(pstate, nsitem, sublevels_up, location, &names);
3273 
3274  /*
3275  * Require read access to the table. This is normally redundant with the
3276  * markVarForSelectPriv calls below, but not if the table has zero
3277  * columns. We need not do anything if the nsitem is for a join: its
3278  * component tables will have been marked ACL_SELECT when they were added
3279  * to the rangetable. (This step changes things only for the target
3280  * relation of UPDATE/DELETE, which cannot be under a join.)
3281  */
3282  if (rte->rtekind == RTE_RELATION)
3283  {
3284  Assert(perminfo != NULL);
3285  perminfo->requiredPerms |= ACL_SELECT;
3286  }
3287 
3288  forboth(name, names, var, vars)
3289  {
3290  char *label = strVal(lfirst(name));
3291  Var *varnode = (Var *) lfirst(var);
3292  TargetEntry *te;
3293 
3294  te = makeTargetEntry((Expr *) varnode,
3295  (AttrNumber) pstate->p_next_resno++,
3296  label,
3297  false);
3298  te_list = lappend(te_list, te);
3299 
3300  if (require_col_privs)
3301  {
3302  /* Require read access to each column */
3303  markVarForSelectPriv(pstate, varnode);
3304  }
3305  }
3306 
3307  Assert(name == NULL && var == NULL); /* lists not the same length? */
3308 
3309  return te_list;
3310 }
3311 
3312 /*
3313  * get_rte_attribute_name
3314  * Get an attribute name from a RangeTblEntry
3315  *
3316  * This is unlike get_attname() because we use aliases if available.
3317  * In particular, it will work on an RTE for a subselect or join, whereas
3318  * get_attname() only works on real relations.
3319  *
3320  * "*" is returned if the given attnum is InvalidAttrNumber --- this case
3321  * occurs when a Var represents a whole tuple of a relation.
3322  *
3323  * It is caller's responsibility to not call this on a dropped attribute.
3324  * (You will get some answer for such cases, but it might not be sensible.)
3325  */
3326 char *
3328 {
3329  if (attnum == InvalidAttrNumber)
3330  return "*";
3331 
3332  /*
3333  * If there is a user-written column alias, use it.
3334  */
3335  if (rte->alias &&
3336  attnum > 0 && attnum <= list_length(rte->alias->colnames))
3337  return strVal(list_nth(rte->alias->colnames, attnum - 1));
3338 
3339  /*
3340  * If the RTE is a relation, go to the system catalogs not the
3341  * eref->colnames list. This is a little slower but it will give the
3342  * right answer if the column has been renamed since the eref list was
3343  * built (which can easily happen for rules).
3344  */
3345  if (rte->rtekind == RTE_RELATION)
3346  return get_attname(rte->relid, attnum, false);
3347 
3348  /*
3349  * Otherwise use the column name from eref. There should always be one.
3350  */
3351  if (attnum > 0 && attnum <= list_length(rte->eref->colnames))
3352  return strVal(list_nth(rte->eref->colnames, attnum - 1));
3353 
3354  /* else caller gave us a bogus attnum */
3355  elog(ERROR, "invalid attnum %d for rangetable entry %s",
3356  attnum, rte->eref->aliasname);
3357  return NULL; /* keep compiler quiet */
3358 }
3359 
3360 /*
3361  * get_rte_attribute_is_dropped
3362  * Check whether attempted attribute ref is to a dropped column
3363  */
3364 bool
3366 {
3367  bool result;
3368 
3369  switch (rte->rtekind)
3370  {
3371  case RTE_RELATION:
3372  {
3373  /*
3374  * Plain relation RTE --- get the attribute's catalog entry
3375  */
3376  HeapTuple tp;
3377  Form_pg_attribute att_tup;
3378 
3379  tp = SearchSysCache2(ATTNUM,
3380  ObjectIdGetDatum(rte->relid),
3382  if (!HeapTupleIsValid(tp)) /* shouldn't happen */
3383  elog(ERROR, "cache lookup failed for attribute %d of relation %u",
3384  attnum, rte->relid);
3385  att_tup = (Form_pg_attribute) GETSTRUCT(tp);
3386  result = att_tup->attisdropped;
3387  ReleaseSysCache(tp);
3388  }
3389  break;
3390  case RTE_SUBQUERY:
3391  case RTE_TABLEFUNC:
3392  case RTE_VALUES:
3393  case RTE_CTE:
3394  case RTE_GROUP:
3395 
3396  /*
3397  * Subselect, Table Functions, Values, CTE, GROUP RTEs never have
3398  * dropped columns
3399  */
3400  result = false;
3401  break;
3402  case RTE_NAMEDTUPLESTORE:
3403  {
3404  /* Check dropped-ness by testing for valid coltype */
3405  if (attnum <= 0 ||
3406  attnum > list_length(rte->coltypes))
3407  elog(ERROR, "invalid varattno %d", attnum);
3408  result = !OidIsValid((list_nth_oid(rte->coltypes, attnum - 1)));
3409  }
3410  break;
3411  case RTE_JOIN:
3412  {
3413  /*
3414  * A join RTE would not have dropped columns when constructed,
3415  * but one in a stored rule might contain columns that were
3416  * dropped from the underlying tables, if said columns are
3417  * nowhere explicitly referenced in the rule. This will be
3418  * signaled to us by a null pointer in the joinaliasvars list.
3419  */
3420  Var *aliasvar;
3421 
3422  if (attnum <= 0 ||
3423  attnum > list_length(rte->joinaliasvars))
3424  elog(ERROR, "invalid varattno %d", attnum);
3425  aliasvar = (Var *) list_nth(rte->joinaliasvars, attnum - 1);
3426 
3427  result = (aliasvar == NULL);
3428  }
3429  break;
3430  case RTE_FUNCTION:
3431  {
3432  /* Function RTE */
3433  ListCell *lc;
3434  int atts_done = 0;
3435 
3436  /*
3437  * Dropped attributes are only possible with functions that
3438  * return named composite types. In such a case we have to
3439  * look up the result type to see if it currently has this
3440  * column dropped. So first, loop over the funcs until we
3441  * find the one that covers the requested column.
3442  */
3443  foreach(lc, rte->functions)
3444  {
3445  RangeTblFunction *rtfunc = (RangeTblFunction *) lfirst(lc);
3446 
3447  if (attnum > atts_done &&
3448  attnum <= atts_done + rtfunc->funccolcount)
3449  {
3450  TupleDesc tupdesc;
3451 
3452  /* If it has a coldeflist, it returns RECORD */
3453  if (rtfunc->funccolnames != NIL)
3454  return false; /* can't have any dropped columns */
3455 
3456  tupdesc = get_expr_result_tupdesc(rtfunc->funcexpr,
3457  true);
3458  if (tupdesc)
3459  {
3460  /* Composite data type, e.g. a table's row type */
3461  Form_pg_attribute att_tup;
3462 
3463  Assert(tupdesc);
3464  Assert(attnum - atts_done <= tupdesc->natts);
3465  att_tup = TupleDescAttr(tupdesc,
3466  attnum - atts_done - 1);
3467  return att_tup->attisdropped;
3468  }
3469  /* Otherwise, it can't have any dropped columns */
3470  return false;
3471  }
3472  atts_done += rtfunc->funccolcount;
3473  }
3474 
3475  /* If we get here, must be looking for the ordinality column */
3476  if (rte->funcordinality && attnum == atts_done + 1)
3477  return false;
3478 
3479  /* this probably can't happen ... */
3480  ereport(ERROR,
3481  (errcode(ERRCODE_UNDEFINED_COLUMN),
3482  errmsg("column %d of relation \"%s\" does not exist",
3483  attnum,
3484  rte->eref->aliasname)));
3485  result = false; /* keep compiler quiet */
3486  }
3487  break;
3488  case RTE_RESULT:
3489  /* this probably can't happen ... */
3490  ereport(ERROR,
3491  (errcode(ERRCODE_UNDEFINED_COLUMN),
3492  errmsg("column %d of relation \"%s\" does not exist",
3493  attnum,
3494  rte->eref->aliasname)));
3495  result = false; /* keep compiler quiet */
3496  break;
3497  default:
3498  elog(ERROR, "unrecognized RTE kind: %d", (int) rte->rtekind);
3499  result = false; /* keep compiler quiet */
3500  }
3501 
3502  return result;
3503 }
3504 
3505 /*
3506  * Given a targetlist and a resno, return the matching TargetEntry
3507  *
3508  * Returns NULL if resno is not present in list.
3509  *
3510  * Note: we need to search, rather than just indexing with list_nth(),
3511  * because not all tlists are sorted by resno.
3512  */
3513 TargetEntry *
3515 {
3516  ListCell *l;
3517 
3518  foreach(l, tlist)
3519  {
3520  TargetEntry *tle = (TargetEntry *) lfirst(l);
3521 
3522  if (tle->resno == resno)
3523  return tle;
3524  }
3525  return NULL;
3526 }
3527 
3528 /*
3529  * Given a Query and rangetable index, return relation's RowMarkClause if any
3530  *
3531  * Returns NULL if relation is not selected FOR UPDATE/SHARE
3532  */
3533 RowMarkClause *
3535 {
3536  ListCell *l;
3537 
3538  foreach(l, qry->rowMarks)
3539  {
3540  RowMarkClause *rc = (RowMarkClause *) lfirst(l);
3541 
3542  if (rc->rti == rtindex)
3543  return rc;
3544  }
3545  return NULL;
3546 }
3547 
3548 /*
3549  * given relation and att name, return attnum of variable
3550  *
3551  * Returns InvalidAttrNumber if the attr doesn't exist (or is dropped).
3552  *
3553  * This should only be used if the relation is already
3554  * table_open()'ed. Use the cache version get_attnum()
3555  * for access to non-opened relations.
3556  */
3557 int
3558 attnameAttNum(Relation rd, const char *attname, bool sysColOK)
3559 {
3560  int i;
3561 
3562  for (i = 0; i < RelationGetNumberOfAttributes(rd); i++)
3563  {
3565 
3566  if (namestrcmp(&(att->attname), attname) == 0 && !att->attisdropped)
3567  return i + 1;
3568  }
3569 
3570  if (sysColOK)
3571  {
3573  return i;
3574  }
3575 
3576  /* on failure */
3577  return InvalidAttrNumber;
3578 }
3579 
3580 /* specialAttNum()
3581  *
3582  * Check attribute name to see if it is "special", e.g. "xmin".
3583  * - thomas 2000-02-07
3584  *
3585  * Note: this only discovers whether the name could be a system attribute.
3586  * Caller needs to ensure that it really is an attribute of the rel.
3587  */
3588 static int
3590 {
3591  const FormData_pg_attribute *sysatt;
3592 
3593  sysatt = SystemAttributeByName(attname);
3594  if (sysatt != NULL)
3595  return sysatt->attnum;
3596  return InvalidAttrNumber;
3597 }
3598 
3599 
3600 /*
3601  * given attribute id, return name of that attribute
3602  *
3603  * This should only be used if the relation is already
3604  * table_open()'ed. Use the cache version get_atttype()
3605  * for access to non-opened relations.
3606  */
3607 const NameData *
3608 attnumAttName(Relation rd, int attid)
3609 {
3610  if (attid <= 0)
3611  {
3612  const FormData_pg_attribute *sysatt;
3613 
3614  sysatt = SystemAttributeDefinition(attid);
3615  return &sysatt->attname;
3616  }
3617  if (attid > rd->rd_att->natts)
3618  elog(ERROR, "invalid attribute number %d", attid);
3619  return &TupleDescAttr(rd->rd_att, attid - 1)->attname;
3620 }
3621 
3622 /*
3623  * given attribute id, return type of that attribute
3624  *
3625  * This should only be used if the relation is already
3626  * table_open()'ed. Use the cache version get_atttype()
3627  * for access to non-opened relations.
3628  */
3629 Oid
3630 attnumTypeId(Relation rd, int attid)
3631 {
3632  if (attid <= 0)
3633  {
3634  const FormData_pg_attribute *sysatt;
3635 
3636  sysatt = SystemAttributeDefinition(attid);
3637  return sysatt->atttypid;
3638  }
3639  if (attid > rd->rd_att->natts)
3640  elog(ERROR, "invalid attribute number %d", attid);
3641  return TupleDescAttr(rd->rd_att, attid - 1)->atttypid;
3642 }
3643 
3644 /*
3645  * given attribute id, return collation of that attribute
3646  *
3647  * This should only be used if the relation is already table_open()'ed.
3648  */
3649 Oid
3651 {
3652  if (attid <= 0)
3653  {
3654  /* All system attributes are of noncollatable types. */
3655  return InvalidOid;
3656  }
3657  if (attid > rd->rd_att->natts)
3658  elog(ERROR, "invalid attribute number %d", attid);
3659  return TupleDescAttr(rd->rd_att, attid - 1)->attcollation;
3660 }
3661 
3662 /*
3663  * Generate a suitable error about a missing RTE.
3664  *
3665  * Since this is a very common type of error, we work rather hard to
3666  * produce a helpful message.
3667  */
3668 void
3670 {
3671  RangeTblEntry *rte;
3672  const char *badAlias = NULL;
3673 
3674  /*
3675  * Check to see if there are any potential matches in the query's
3676  * rangetable. (Note: cases involving a bad schema name in the RangeVar
3677  * will throw error immediately here. That seems OK.)
3678  */
3679  rte = searchRangeTableForRel(pstate, relation);
3680 
3681  /*
3682  * If we found a match that has an alias and the alias is visible in the
3683  * namespace, then the problem is probably use of the relation's real name
3684  * instead of its alias, ie "SELECT foo.* FROM foo f". This mistake is
3685  * common enough to justify a specific hint.
3686  *
3687  * If we found a match that doesn't meet those criteria, assume the
3688  * problem is illegal use of a relation outside its scope, as in the
3689  * MySQL-ism "SELECT ... FROM a, b LEFT JOIN c ON (a.x = c.y)".
3690  */
3691  if (rte && rte->alias &&
3692  strcmp(rte->eref->aliasname, relation->relname) != 0)
3693  {
3694  ParseNamespaceItem *nsitem;
3695  int sublevels_up;
3696 
3697  nsitem = refnameNamespaceItem(pstate, NULL, rte->eref->aliasname,
3698  relation->location,
3699  &sublevels_up);
3700  if (nsitem && nsitem->p_rte == rte)
3701  badAlias = rte->eref->aliasname;
3702  }
3703 
3704  /* If it looks like the user forgot to use an alias, hint about that */
3705  if (badAlias)
3706  ereport(ERROR,
3708  errmsg("invalid reference to FROM-clause entry for table \"%s\"",
3709  relation->relname),
3710  errhint("Perhaps you meant to reference the table alias \"%s\".",
3711  badAlias),
3712  parser_errposition(pstate, relation->location)));
3713  /* Hint about case where we found an (inaccessible) exact match */
3714  else if (rte)
3715  ereport(ERROR,
3717  errmsg("invalid reference to FROM-clause entry for table \"%s\"",
3718  relation->relname),
3719  errdetail("There is an entry for table \"%s\", but it cannot be referenced from this part of the query.",
3720  rte->eref->aliasname),
3721  rte_visible_if_lateral(pstate, rte) ?
3722  errhint("To reference that table, you must mark this subquery with LATERAL.") : 0,
3723  parser_errposition(pstate, relation->location)));
3724  /* Else, we have nothing to offer but the bald statement of error */
3725  else
3726  ereport(ERROR,
3728  errmsg("missing FROM-clause entry for table \"%s\"",
3729  relation->relname),
3730  parser_errposition(pstate, relation->location)));
3731 }
3732 
3733 /*
3734  * Generate a suitable error about a missing column.
3735  *
3736  * Since this is a very common type of error, we work rather hard to
3737  * produce a helpful message.
3738  */
3739 void
3741  const char *relname, const char *colname, int location)
3742 {
3744 
3745  /*
3746  * Search the entire rtable looking for possible matches. If we find one,
3747  * emit a hint about it.
3748  */
3749  state = searchRangeTableForCol(pstate, relname, colname, location);
3750 
3751  /*
3752  * If there are exact match(es), they must be inaccessible for some
3753  * reason.
3754  */
3755  if (state->rexact1)
3756  {
3757  /*
3758  * We don't try too hard when there's multiple inaccessible exact
3759  * matches, but at least be sure that we don't misleadingly suggest
3760  * that there's only one.
3761  */
3762  if (state->rexact2)
3763  ereport(ERROR,
3764  (errcode(ERRCODE_UNDEFINED_COLUMN),
3765  relname ?
3766  errmsg("column %s.%s does not exist", relname, colname) :
3767  errmsg("column \"%s\" does not exist", colname),
3768  errdetail("There are columns named \"%s\", but they are in tables that cannot be referenced from this part of the query.",
3769  colname),
3770  !relname ? errhint("Try using a table-qualified name.") : 0,
3771  parser_errposition(pstate, location)));
3772  /* Single exact match, so try to determine why it's inaccessible. */
3773  ereport(ERROR,
3774  (errcode(ERRCODE_UNDEFINED_COLUMN),
3775  relname ?
3776  errmsg("column %s.%s does not exist", relname, colname) :
3777  errmsg("column \"%s\" does not exist", colname),
3778  errdetail("There is a column named \"%s\" in table \"%s\", but it cannot be referenced from this part of the query.",
3779  colname, state->rexact1->eref->aliasname),
3780  rte_visible_if_lateral(pstate, state->rexact1) ?
3781  errhint("To reference that column, you must mark this subquery with LATERAL.") :
3782  (!relname && rte_visible_if_qualified(pstate, state->rexact1)) ?
3783  errhint("To reference that column, you must use a table-qualified name.") : 0,
3784  parser_errposition(pstate, location)));
3785  }
3786 
3787  if (!state->rsecond)
3788  {
3789  /* If we found no match at all, we have little to report */
3790  if (!state->rfirst)
3791  ereport(ERROR,
3792  (errcode(ERRCODE_UNDEFINED_COLUMN),
3793  relname ?
3794  errmsg("column %s.%s does not exist", relname, colname) :
3795  errmsg("column \"%s\" does not exist", colname),
3796  parser_errposition(pstate, location)));
3797  /* Handle case where we have a single alternative spelling to offer */
3798  ereport(ERROR,
3799  (errcode(ERRCODE_UNDEFINED_COLUMN),
3800  relname ?
3801  errmsg("column %s.%s does not exist", relname, colname) :
3802  errmsg("column \"%s\" does not exist", colname),
3803  errhint("Perhaps you meant to reference the column \"%s.%s\".",
3804  state->rfirst->eref->aliasname,
3805  strVal(list_nth(state->rfirst->eref->colnames,
3806  state->first - 1))),
3807  parser_errposition(pstate, location)));
3808  }
3809  else
3810  {
3811  /* Handle case where there are two equally useful column hints */
3812  ereport(ERROR,
3813  (errcode(ERRCODE_UNDEFINED_COLUMN),
3814  relname ?
3815  errmsg("column %s.%s does not exist", relname, colname) :
3816  errmsg("column \"%s\" does not exist", colname),
3817  errhint("Perhaps you meant to reference the column \"%s.%s\" or the column \"%s.%s\".",
3818  state->rfirst->eref->aliasname,
3819  strVal(list_nth(state->rfirst->eref->colnames,
3820  state->first - 1)),
3821  state->rsecond->eref->aliasname,
3822  strVal(list_nth(state->rsecond->eref->colnames,
3823  state->second - 1))),
3824  parser_errposition(pstate, location)));
3825  }
3826 }
3827 
3828 /*
3829  * Find ParseNamespaceItem for RTE, if it's visible at all.
3830  * We assume an RTE couldn't appear more than once in the namespace lists.
3831  */
3832 static ParseNamespaceItem *
3834 {
3835  while (pstate != NULL)
3836  {
3837  ListCell *l;
3838 
3839  foreach(l, pstate->p_namespace)
3840  {
3841  ParseNamespaceItem *nsitem = (ParseNamespaceItem *) lfirst(l);
3842 
3843  if (nsitem->p_rte == rte)
3844  return nsitem;
3845  }
3846  pstate = pstate->parentParseState;
3847  }
3848  return NULL;
3849 }
3850 
3851 /*
3852  * Would this RTE be visible, if only the user had written LATERAL?
3853  *
3854  * This is a helper for deciding whether to issue a HINT about LATERAL.
3855  * As such, it doesn't need to be 100% accurate; the HINT could be useful
3856  * even if it's not quite right. Hence, we don't delve into fine points
3857  * about whether a found nsitem has the appropriate one of p_rel_visible or
3858  * p_cols_visible set.
3859  */
3860 static bool
3862 {
3863  ParseNamespaceItem *nsitem;
3864 
3865  /* If LATERAL *is* active, we're clearly barking up the wrong tree */
3866  if (pstate->p_lateral_active)
3867  return false;
3868  nsitem = findNSItemForRTE(pstate, rte);
3869  if (nsitem)
3870  {
3871  /* Found it, report whether it's LATERAL-only */
3872  return nsitem->p_lateral_only && nsitem->p_lateral_ok;
3873  }
3874  return false;
3875 }
3876 
3877 /*
3878  * Would columns in this RTE be visible if qualified?
3879  */
3880 static bool
3882 {
3883  ParseNamespaceItem *nsitem = findNSItemForRTE(pstate, rte);
3884 
3885  if (nsitem)
3886  {
3887  /* Found it, report whether it's relation-only */
3888  return nsitem->p_rel_visible && !nsitem->p_cols_visible;
3889  }
3890  return false;
3891 }
3892 
3893 
3894 /*
3895  * Examine a fully-parsed query, and return true iff any relation underlying
3896  * the query is a temporary relation (table, view, or materialized view).
3897  */
3898 bool
3900 {
3901  return isQueryUsingTempRelation_walker((Node *) query, NULL);
3902 }
3903 
3904 static bool
3906 {
3907  if (node == NULL)
3908  return false;
3909 
3910  if (IsA(node, Query))
3911  {
3912  Query *query = (Query *) node;
3913  ListCell *rtable;
3914 
3915  foreach(rtable, query->rtable)
3916  {
3917  RangeTblEntry *rte = lfirst(rtable);
3918 
3919  if (rte->rtekind == RTE_RELATION)
3920  {
3922  char relpersistence = rel->rd_rel->relpersistence;
3923 
3925  if (relpersistence == RELPERSISTENCE_TEMP)
3926  return true;
3927  }
3928  }
3929 
3930  return query_tree_walker(query,
3932  context,
3934  }
3935 
3936  return expression_tree_walker(node,
3938  context);
3939 }
3940 
3941 /*
3942  * addRTEPermissionInfo
3943  * Creates RTEPermissionInfo for a given RTE and adds it into the
3944  * provided list.
3945  *
3946  * Returns the RTEPermissionInfo and sets rte->perminfoindex.
3947  */
3950 {
3951  RTEPermissionInfo *perminfo;
3952 
3953  Assert(OidIsValid(rte->relid));
3954  Assert(rte->perminfoindex == 0);
3955 
3956  /* Nope, so make one and add to the list. */
3957  perminfo = makeNode(RTEPermissionInfo);
3958  perminfo->relid = rte->relid;
3959  perminfo->inh = rte->inh;
3960  /* Other information is set by fetching the node as and where needed. */
3961 
3962  *rteperminfos = lappend(*rteperminfos, perminfo);
3963 
3964  /* Note its index (1-based!) */
3965  rte->perminfoindex = list_length(*rteperminfos);
3966 
3967  return perminfo;
3968 }
3969 
3970 /*
3971  * getRTEPermissionInfo
3972  * Find RTEPermissionInfo for a given relation in the provided list.
3973  *
3974  * This is a simple list_nth() operation, though it's good to have the
3975  * function for the various sanity checks.
3976  */
3979 {
3980  RTEPermissionInfo *perminfo;
3981 
3982  if (rte->perminfoindex == 0 ||
3983  rte->perminfoindex > list_length(rteperminfos))
3984  elog(ERROR, "invalid perminfoindex %u in RTE with relid %u",
3985  rte->perminfoindex, rte->relid);
3986  perminfo = list_nth_node(RTEPermissionInfo, rteperminfos,
3987  rte->perminfoindex - 1);
3988  if (perminfo->relid != rte->relid)
3989  elog(ERROR, "permission info at index %u (with relid=%u) does not match provided RTE (with relid=%u)",
3990  rte->perminfoindex, perminfo->relid, rte->relid);
3991 
3992  return perminfo;
3993 }
int16 AttrNumber
Definition: attnum.h:21
#define MaxAttrNumber
Definition: attnum.h:24
#define InvalidAttrNumber
Definition: attnum.h:23
Bitmapset * bms_add_member(Bitmapset *a, int x)
Definition: bitmapset.c:815
Bitmapset * bms_union(const Bitmapset *a, const Bitmapset *b)
Definition: bitmapset.c:251
#define NameStr(name)
Definition: c.h:746
signed int int32
Definition: c.h:494
#define Assert(condition)
Definition: c.h:858
unsigned int Index
Definition: c.h:614
#define OidIsValid(objectId)
Definition: c.h:775
int errdetail(const char *fmt,...)
Definition: elog.c:1203
int errhint(const char *fmt,...)
Definition: elog.c:1317
int errcode(int sqlerrcode)
Definition: elog.c:853
int errmsg(const char *fmt,...)
Definition: elog.c:1070
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:225
#define ereport(elevel,...)
Definition: elog.h:149
char * format_type_be(Oid type_oid)
Definition: format_type.c:343
char * get_func_result_name(Oid functionId)
Definition: funcapi.c:1607
TupleDesc get_expr_result_tupdesc(Node *expr, bool noError)
Definition: funcapi.c:551
TypeFuncClass get_expr_result_type(Node *expr, Oid *resultTypeId, TupleDesc *resultTupleDesc)
Definition: funcapi.c:299
TypeFuncClass
Definition: funcapi.h:147
@ TYPEFUNC_SCALAR
Definition: funcapi.h:148
@ TYPEFUNC_COMPOSITE
Definition: funcapi.h:149
@ TYPEFUNC_RECORD
Definition: funcapi.h:151
@ TYPEFUNC_COMPOSITE_DOMAIN
Definition: funcapi.h:150
const FormData_pg_attribute * SystemAttributeDefinition(AttrNumber attno)
Definition: heap.c:240
void CheckAttributeNamesTypes(TupleDesc tupdesc, char relkind, int flags)
Definition: heap.c:456
const FormData_pg_attribute * SystemAttributeByName(const char *attname)
Definition: heap.c:252
#define CHKATYPE_ANYRECORD
Definition: heap.h:24
#define HeapTupleIsValid(tuple)
Definition: htup.h:78
#define MaxTupleAttributeNumber
Definition: htup_details.h:34
#define GETSTRUCT(TUP)
Definition: htup_details.h:653
#define MaxHeapAttributeNumber
Definition: htup_details.h:48
#define funcname
Definition: indent_codes.h:69
int j
Definition: isn.c:74
int i
Definition: isn.c:73
if(TABLE==NULL||TABLE_index==NULL)
Definition: isn.c:77
List * list_truncate(List *list, int new_size)
Definition: list.c:631
List * lappend(List *list, void *datum)
Definition: list.c:339
List * lappend_int(List *list, int datum)
Definition: list.c:357
List * lappend_oid(List *list, Oid datum)
Definition: list.c:375
List * list_copy(const List *oldlist)
Definition: list.c:1573
List * list_copy_tail(const List *oldlist, int nskip)
Definition: list.c:1613
List * list_concat(List *list1, const List *list2)
Definition: list.c:561
bool CheckRelationLockedByMe(Relation relation, LOCKMODE lockmode, bool orstronger)
Definition: lmgr.c:330
int LOCKMODE
Definition: lockdefs.h:26
#define NoLock
Definition: lockdefs.h:34
#define AccessShareLock
Definition: lockdefs.h:36
#define RowShareLock
Definition: lockdefs.h:37
#define RowExclusiveLock
Definition: lockdefs.h:38
Oid get_relname_relid(const char *relname, Oid relnamespace)
Definition: lsyscache.c:1885
char * get_attname(Oid relid, AttrNumber attnum, bool missing_ok)
Definition: lsyscache.c:827
Alias * makeAlias(const char *aliasname, List *colnames)
Definition: makefuncs.c:389
TargetEntry * makeTargetEntry(Expr *expr, AttrNumber resno, char *resname, bool resjunk)
Definition: makefuncs.c:240
Const * makeNullConst(Oid consttype, int32 consttypmod, Oid constcollid)
Definition: makefuncs.c:339
Var * makeVar(int varno, AttrNumber varattno, Oid vartype, int32 vartypmod, Oid varcollid, Index varlevelsup)
Definition: makefuncs.c:66
char * pstrdup(const char *in)
Definition: mcxt.c:1696
void * palloc0(Size size)
Definition: mcxt.c:1347
void * palloc(Size size)
Definition: mcxt.c:1317
int namestrcmp(Name name, const char *str)
Definition: name.c:247
Oid LookupNamespaceNoError(const char *nspname)
Definition: namespace.c:3340
#define RangeVarGetRelid(relation, lockmode, missing_ok)
Definition: namespace.h:80
Oid exprType(const Node *expr)
Definition: nodeFuncs.c:42
int32 exprTypmod(const Node *expr)
Definition: nodeFuncs.c:298
Oid exprCollation(const Node *expr)
Definition: nodeFuncs.c:816
int exprLocation(const Node *expr)
Definition: nodeFuncs.c:1380
#define query_tree_walker(q, w, c, f)
Definition: nodeFuncs.h:158
#define expression_tree_walker(n, w, c)
Definition: nodeFuncs.h:153
#define QTW_IGNORE_JOINALIASES
Definition: nodeFuncs.h:25
#define IsA(nodeptr, _type_)
Definition: nodes.h:158
#define copyObject(obj)
Definition: nodes.h:224
#define nodeTag(nodeptr)
Definition: nodes.h:133
@ CMD_SELECT
Definition: nodes.h:265
#define makeNode(_type_)
Definition: nodes.h:155
JoinType
Definition: nodes.h:288
EphemeralNamedRelationMetadata get_visible_ENR(ParseState *pstate, const char *refname)
Definition: parse_enr.c:26
bool name_matches_visible_ENR(ParseState *pstate, const char *refname)
Definition: parse_enr.c:20
void cancel_parser_errposition_callback(ParseCallbackState *pcbstate)
Definition: parse_node.c:156
int parser_errposition(ParseState *pstate, int location)
Definition: parse_node.c:106
void setup_parser_errposition_callback(ParseCallbackState *pcbstate, ParseState *pstate, int location)
Definition: parse_node.c:140
@ EXPR_KIND_MERGE_WHEN
Definition: parse_node.h:58
@ EXPR_KIND_GENERATED_COLUMN
Definition: parse_node.h:83
@ EXPR_KIND_CHECK_CONSTRAINT
Definition: parse_node.h:68
static bool rte_visible_if_lateral(ParseState *pstate, RangeTblEntry *rte)
static void expandRelation(Oid relid, Alias *eref, int rtindex, int sublevels_up, int location, bool include_dropped, List **colnames, List **colvars)
void markNullableIfNeeded(ParseState *pstate, Var *var)
ParseNamespaceItem * addRangeTableEntryForCTE(ParseState *pstate, CommonTableExpr *cte, Index levelsup, RangeVar *rv, bool inFromCl)
RangeTblEntry * GetRTEByRangeTablePosn(ParseState *pstate, int varno, int sublevels_up)
static void expandTupleDesc(TupleDesc tupdesc, Alias *eref, int count, int offset, int rtindex, int sublevels_up, int location, bool include_dropped, List **colnames, List **colvars)
ParseNamespaceItem * addRangeTableEntry(ParseState *pstate, RangeVar *relation, Alias *alias, bool inh, bool inFromCl)
void errorMissingColumn(ParseState *pstate, const char *relname, const char *colname, int location)
static int specialAttNum(const char *attname)
RTEPermissionInfo * addRTEPermissionInfo(List **rteperminfos, RangeTblEntry *rte)
static ParseNamespaceItem * scanNameSpaceForRelid(ParseState *pstate, Oid relid, int location)
static FuzzyAttrMatchState * searchRangeTableForCol(ParseState *pstate, const char *alias, const char *colname, int location)
ParseNamespaceItem * addRangeTableEntryForJoin(ParseState *pstate, List *colnames, ParseNamespaceColumn *nscolumns, JoinType jointype, int nummergedcols, List *aliasvars, List *leftcols, List *rightcols, Alias *join_using_alias, Alias *alias, bool inFromCl)
Oid attnumCollationId(Relation rd, int attid)
ParseNamespaceItem * addRangeTableEntryForGroup(ParseState *pstate, List *groupClauses)
void markVarForSelectPriv(ParseState *pstate, Var *var)
RowMarkClause * get_parse_rowmark(Query *qry, Index rtindex)
CommonTableExpr * scanNameSpaceForCTE(ParseState *pstate, const char *refname, Index *ctelevelsup)
static RangeTblEntry * searchRangeTableForRel(ParseState *pstate, RangeVar *relation)
ParseNamespaceItem * addRangeTableEntryForRelation(ParseState *pstate, Relation rel, int lockmode, Alias *alias, bool inh, bool inFromCl)
static ParseNamespaceItem * scanNameSpaceForRefname(ParseState *pstate, const char *refname, int location)
void errorMissingRTE(ParseState *pstate, RangeVar *relation)
static bool isFutureCTE(ParseState *pstate, const char *refname)
bool get_rte_attribute_is_dropped(RangeTblEntry *rte, AttrNumber attnum)
static void updateFuzzyAttrMatchState(int fuzzy_rte_penalty, FuzzyAttrMatchState *fuzzystate, RangeTblEntry *rte, const char *actual, const char *match, int attnum)
RTEPermissionInfo * getRTEPermissionInfo(List *rteperminfos, RangeTblEntry *rte)
const NameData * attnumAttName(Relation rd, int attid)
Relation parserOpenTable(ParseState *pstate, const RangeVar *relation, int lockmode)
TargetEntry * get_tle_by_resno(List *tlist, AttrNumber resno)
void addNSItemToQuery(ParseState *pstate, ParseNamespaceItem *nsitem, bool addToJoinList, bool addToRelNameSpace, bool addToVarNameSpace)
static int scanRTEForColumn(ParseState *pstate, RangeTblEntry *rte, Alias *eref, const char *colname, int location, int fuzzy_rte_penalty, FuzzyAttrMatchState *fuzzystate)
#define MAX_FUZZY_DISTANCE
static ParseNamespaceItem * buildNSItemFromTupleDesc(RangeTblEntry *rte, Index rtindex, RTEPermissionInfo *perminfo, TupleDesc tupdesc)
ParseNamespaceItem * GetNSItemByRangeTablePosn(ParseState *pstate, int varno, int sublevels_up)
ParseNamespaceItem * addRangeTableEntryForSubquery(ParseState *pstate, Query *subquery, Alias *alias, bool lateral, bool inFromCl)
Node * scanNSItemForColumn(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, const char *colname, int location)
ParseNamespaceItem * refnameNamespaceItem(ParseState *pstate, const char *schemaname, const char *refname, int location, int *sublevels_up)
char * get_rte_attribute_name(RangeTblEntry *rte, AttrNumber attnum)
bool scanNameSpaceForENR(ParseState *pstate, const char *refname)
bool isLockedRefname(ParseState *pstate, const char *refname)
Oid attnumTypeId(Relation rd, int attid)
ParseNamespaceItem * addRangeTableEntryForFunction(ParseState *pstate, List *funcnames, List *funcexprs, List *coldeflists, RangeFunction *rangefunc, bool lateral, bool inFromCl)
static ParseNamespaceItem * findNSItemForRTE(ParseState *pstate, RangeTblEntry *rte)
Node * colNameToVar(ParseState *pstate, const char *colname, bool localonly, int location)
static bool rte_visible_if_qualified(ParseState *pstate, RangeTblEntry *rte)
static void markRTEForSelectPriv(ParseState *pstate, int rtindex, AttrNumber col)
ParseNamespaceItem * addRangeTableEntryForTableFunc(ParseState *pstate, TableFunc *tf, Alias *alias, bool lateral, bool inFromCl)
ParseNamespaceItem * addRangeTableEntryForValues(ParseState *pstate, List *exprs, List *coltypes, List *coltypmods, List *colcollations, Alias *alias, bool lateral, bool inFromCl)
List * expandNSItemVars(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, int location, List **colnames)
static char * chooseScalarFunctionAlias(Node *funcexpr, char *funcname, Alias *alias, int nfuncs)
static ParseNamespaceItem * buildNSItemFromLists(RangeTblEntry *rte, Index rtindex, List *coltypes, List *coltypmods, List *colcollations)
List * expandNSItemAttrs(ParseState *pstate, ParseNamespaceItem *nsitem, int sublevels_up, bool require_col_privs, int location)
bool isQueryUsingTempRelation(Query *query)
ParseNamespaceItem * addRangeTableEntryForENR(ParseState *pstate, RangeVar *rv, bool inFromCl)
void expandRTE(RangeTblEntry *rte, int rtindex, int sublevels_up, int location, bool include_dropped, List **colnames, List **colvars)
CommonTableExpr * GetCTEForRTE(ParseState *pstate, RangeTblEntry *rte, int rtelevelsup)
static void buildRelationAliases(TupleDesc tupdesc, Alias *alias, Alias *eref)
int attnameAttNum(Relation rd, const char *attname, bool sysColOK)
void checkNameSpaceConflicts(ParseState *pstate, List *namespace1, List *namespace2)
static void check_lateral_ref_ok(ParseState *pstate, ParseNamespaceItem *nsitem, int location)
static bool isQueryUsingTempRelation_walker(Node *node, void *context)
void typenameTypeIdAndMod(ParseState *pstate, const TypeName *typeName, Oid *typeid_p, int32 *typmod_p)
Definition: parse_type.c:310
Oid GetColumnDefCollation(ParseState *pstate, const ColumnDef *coldef, Oid typeOid)
Definition: parse_type.c:540
@ RTE_JOIN
Definition: parsenodes.h:1019
@ RTE_CTE
Definition: parsenodes.h:1023
@ RTE_NAMEDTUPLESTORE
Definition: parsenodes.h:1024
@ RTE_VALUES
Definition: parsenodes.h:1022
@ RTE_SUBQUERY
Definition: parsenodes.h:1018
@ RTE_RESULT
Definition: parsenodes.h:1025
@ RTE_FUNCTION
Definition: parsenodes.h:1020
@ RTE_TABLEFUNC
Definition: parsenodes.h:1021
@ RTE_GROUP
Definition: parsenodes.h:1028
@ RTE_RELATION
Definition: parsenodes.h:1017
#define ACL_SELECT
Definition: parsenodes.h:77
#define rt_fetch(rangetable_index, rangetable)
Definition: parsetree.h:31
FormData_pg_attribute
Definition: pg_attribute.h:193
NameData attname
Definition: pg_attribute.h:41
int16 attnum
Definition: pg_attribute.h:74
FormData_pg_attribute * Form_pg_attribute
Definition: pg_attribute.h:209
static char * label
NameData relname
Definition: pg_class.h:38
#define lfirst(lc)
Definition: pg_list.h:172
#define llast(l)
Definition: pg_list.h:198
#define lfirst_node(type, lc)
Definition: pg_list.h:176
static int list_length(const List *l)
Definition: pg_list.h:152
#define NIL
Definition: pg_list.h:68
#define forboth(cell1, list1, cell2, list2)
Definition: pg_list.h:518
static Oid list_nth_oid(const List *list, int n)
Definition: pg_list.h:321
#define lfirst_int(lc)
Definition: pg_list.h:173
#define forthree(cell1, list1, cell2, list2, cell3, list3)
Definition: pg_list.h:563
static ListCell * list_head(const List *l)
Definition: pg_list.h:128
static ListCell * list_nth_cell(const List *list, int n)
Definition: pg_list.h:277
#define linitial(l)
Definition: pg_list.h:178
static void * list_nth(const List *list, int n)
Definition: pg_list.h:299
#define list_nth_node(type, list, n)
Definition: pg_list.h:327
static ListCell * lnext(const List *l, const ListCell *c)
Definition: pg_list.h:343
#define lfirst_oid(lc)
Definition: pg_list.h:174
#define ERRCODE_UNDEFINED_TABLE
Definition: pgbench.c:78
#define snprintf
Definition: port.h:238
static Datum Int16GetDatum(int16 X)
Definition: postgres.h:172
static Datum ObjectIdGetDatum(Oid X)
Definition: postgres.h:252
#define InvalidOid
Definition: postgres_ext.h:36
unsigned int Oid
Definition: postgres_ext.h:31
char * c
@ TFT_XMLTABLE
Definition: primnodes.h:99
TupleDesc ENRMetadataGetTupDesc(EphemeralNamedRelationMetadata enrmd)
@ ENR_NAMED_TUPLESTORE
tree context
Definition: radixtree.h:1835
#define RelationGetRelid(relation)
Definition: rel.h:505
#define RelationGetNumberOfAttributes(relation)
Definition: rel.h:511
#define RelationGetRelationName(relation)
Definition: rel.h:539
void relation_close(Relation relation, LOCKMODE lockmode)
Definition: relation.c:205
Relation relation_open(Oid relationId, LOCKMODE lockmode)
Definition: relation.c:47
char * aliasname
Definition: primnodes.h:50
List * colnames
Definition: primnodes.h:51
char * colname
Definition: parsenodes.h:728
TypeName * typeName
Definition: parsenodes.h:729
ParseLoc location
Definition: parsenodes.h:747
EphemeralNameRelationType enrtype
RangeTblEntry * rfirst
RangeTblEntry * rexact1
RangeTblEntry * rexact2
RangeTblEntry * rsecond
Definition: pg_list.h:54
List * lockedRels
Definition: parsenodes.h:836
Definition: nodes.h:129
AttrNumber p_varattno
Definition: parse_node.h:325
AttrNumber p_varattnosyn
Definition: parse_node.h:330
RangeTblEntry * p_rte
Definition: parse_node.h:290
ParseNamespaceColumn * p_nscolumns
Definition: parse_node.h:294
RTEPermissionInfo * p_perminfo
Definition: parse_node.h:292
ParseState * parentParseState
Definition: parse_node.h:194
List * p_ctenamespace
Definition: parse_node.h:206
ParseNamespaceItem * p_target_nsitem
Definition: parse_node.h:210
ParseExprKind p_expr_kind
Definition: parse_node.h:214
bool p_locked_from_parent
Definition: parse_node.h:218
List * p_nullingrels
Definition: parse_node.h:200
List * p_namespace
Definition: parse_node.h:203
int p_next_resno
Definition: parse_node.h:215
List * p_rteperminfos
Definition: parse_node.h:197
List * p_joinexprs
Definition: parse_node.h:199
List * p_future_ctes
Definition: parse_node.h:207
List * p_joinlist
Definition: parse_node.h:201
List * p_locking_clause
Definition: parse_node.h:217
bool p_lateral_active
Definition: parse_node.h:205
List * p_rtable
Definition: parse_node.h:196
List * rowMarks
Definition: parsenodes.h:219
List * returningList
Definition: parsenodes.h:200
List * rtable
Definition: parsenodes.h:170
CmdType commandType
Definition: parsenodes.h:121
List * targetList
Definition: parsenodes.h:193
Bitmapset * selectedCols
Definition: parsenodes.h:1293
AclMode requiredPerms
Definition: parsenodes.h:1291
Alias * alias
Definition: parsenodes.h:646
char * ctename
Definition: parsenodes.h:1196
TableFunc * tablefunc
Definition: parsenodes.h:1184
Index ctelevelsup
Definition: parsenodes.h:1198
bool funcordinality
Definition: parsenodes.h:1179
Query * subquery
Definition: parsenodes.h:1104
List * values_lists
Definition: parsenodes.h:1190
char * enrname
Definition: parsenodes.h:1231
JoinType jointype
Definition: parsenodes.h:1151
List * functions
Definition: parsenodes.h:1177
RTEKind rtekind
Definition: parsenodes.h:1047
char * relname
Definition: primnodes.h:82
Alias * alias
Definition: primnodes.h:91
ParseLoc location
Definition: primnodes.h:94
char * schemaname
Definition: primnodes.h:79
TupleDesc rd_att
Definition: rel.h:112
Form_pg_class rd_rel
Definition: rel.h:111
Definition: value.h:64
TableFuncType functype
Definition: primnodes.h:113
Expr * expr
Definition: primnodes.h:2186
AttrNumber resno
Definition: primnodes.h:2188
bool setof
Definition: parsenodes.h:272
Definition: primnodes.h:248
ParseLoc location
Definition: primnodes.h:293
AttrNumber varattno
Definition: primnodes.h:260
int varno
Definition: primnodes.h:255
Index varlevelsup
Definition: primnodes.h:280
Definition: c.h:741
Definition: regguts.h:323
Definition: regcomp.c:281
#define FirstLowInvalidHeapAttributeNumber
Definition: sysattr.h:27
#define TableOidAttributeNumber
Definition: sysattr.h:26
void ReleaseSysCache(HeapTuple tuple)
Definition: syscache.c:266
HeapTuple SearchSysCache2(int cacheId, Datum key1, Datum key2)
Definition: syscache.c:229
#define SearchSysCacheExists2(cacheId, key1, key2)
Definition: syscache.h:97
void table_close(Relation relation, LOCKMODE lockmode)
Definition: table.c:126
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition: table.c:40
Relation table_openrv_extended(const RangeVar *relation, LOCKMODE lockmode, bool missing_ok)
Definition: table.c:103
TupleDesc CreateTemplateTupleDesc(int natts)
Definition: tupdesc.c:67
void TupleDescInitEntryCollation(TupleDesc desc, AttrNumber attributeNumber, Oid collationid)
Definition: tupdesc.c:833
void TupleDescInitEntry(TupleDesc desc, AttrNumber attributeNumber, const char *attributeName, Oid oidtypeid, int32 typmod, int attdim)
Definition: tupdesc.c:651
void TupleDescCopyEntry(TupleDesc dst, AttrNumber dstAttno, TupleDesc src, AttrNumber srcAttno)
Definition: tupdesc.c:289
#define TupleDescAttr(tupdesc, i)
Definition: tupdesc.h:92
String * makeString(char *str)
Definition: value.c:63
#define strVal(v)
Definition: value.h:82
int varstr_levenshtein_less_equal(const char *source, int slen, const char *target, int tlen, int ins_c, int del_c, int sub_c, int max_d, bool trusted)
const char * name