PostgreSQL Source Code git master
var.c File Reference
#include "postgres.h"
#include "access/sysattr.h"
#include "nodes/nodeFuncs.h"
#include "optimizer/clauses.h"
#include "optimizer/optimizer.h"
#include "optimizer/placeholder.h"
#include "optimizer/prep.h"
#include "parser/parsetree.h"
#include "rewrite/rewriteManip.h"
Include dependency graph for var.c:

Go to the source code of this file.

Data Structures

struct  pull_varnos_context
 
struct  pull_varattnos_context
 
struct  pull_vars_context
 
struct  locate_var_of_level_context
 
struct  pull_var_clause_context
 
struct  flatten_join_alias_vars_context
 

Functions

static bool pull_varnos_walker (Node *node, pull_varnos_context *context)
 
static bool pull_varattnos_walker (Node *node, pull_varattnos_context *context)
 
static bool pull_vars_walker (Node *node, pull_vars_context *context)
 
static bool contain_var_clause_walker (Node *node, void *context)
 
static bool contain_vars_of_level_walker (Node *node, int *sublevels_up)
 
static bool contain_vars_returning_old_or_new_walker (Node *node, void *context)
 
static bool locate_var_of_level_walker (Node *node, locate_var_of_level_context *context)
 
static bool pull_var_clause_walker (Node *node, pull_var_clause_context *context)
 
static Nodeflatten_join_alias_vars_mutator (Node *node, flatten_join_alias_vars_context *context)
 
static Nodeflatten_group_exprs_mutator (Node *node, flatten_join_alias_vars_context *context)
 
static Nodemark_nullable_by_grouping (PlannerInfo *root, Node *newnode, Var *oldvar)
 
static Nodeadd_nullingrels_if_needed (PlannerInfo *root, Node *newnode, Var *oldvar)
 
static bool is_standard_join_alias_expression (Node *newnode, Var *oldvar)
 
static void adjust_standard_join_alias_expression (Node *newnode, Var *oldvar)
 
static Relids alias_relid_set (Query *query, Relids relids)
 
Relids pull_varnos (PlannerInfo *root, Node *node)
 
Relids pull_varnos_of_level (PlannerInfo *root, Node *node, int levelsup)
 
void pull_varattnos (Node *node, Index varno, Bitmapset **varattnos)
 
Listpull_vars_of_level (Node *node, int levelsup)
 
bool contain_var_clause (Node *node)
 
bool contain_vars_of_level (Node *node, int levelsup)
 
bool contain_vars_returning_old_or_new (Node *node)
 
int locate_var_of_level (Node *node, int levelsup)
 
Listpull_var_clause (Node *node, int flags)
 
Nodeflatten_join_alias_vars (PlannerInfo *root, Query *query, Node *node)
 
Nodeflatten_group_exprs (PlannerInfo *root, Query *query, Node *node)
 

Function Documentation

◆ add_nullingrels_if_needed()

static Node * add_nullingrels_if_needed ( PlannerInfo root,
Node newnode,
Var oldvar 
)
static

Definition at line 1173 of file var.c.

1174{
1175 if (oldvar->varnullingrels == NULL)
1176 return newnode; /* nothing to do */
1177 /* If possible, do it by adding to existing nullingrel fields */
1178 if (is_standard_join_alias_expression(newnode, oldvar))
1180 else if (root)
1181 {
1182 /*
1183 * We can insert a PlaceHolderVar to carry the nullingrels. However,
1184 * deciding where to evaluate the PHV is slightly tricky. We first
1185 * try to evaluate it at the natural semantic level of the new
1186 * expression; but if that expression is variable-free, fall back to
1187 * evaluating it at the join that the oldvar is an alias Var for.
1188 */
1189 PlaceHolderVar *newphv;
1190 Index levelsup = oldvar->varlevelsup;
1191 Relids phrels = pull_varnos_of_level(root, newnode, levelsup);
1192
1193 if (bms_is_empty(phrels)) /* variable-free? */
1194 {
1195 if (levelsup != 0) /* this won't work otherwise */
1196 elog(ERROR, "unsupported join alias expression");
1197 phrels = get_relids_for_join(root->parse, oldvar->varno);
1198 /* If it's an outer join, eval below not above the join */
1199 phrels = bms_del_member(phrels, oldvar->varno);
1200 Assert(!bms_is_empty(phrels));
1201 }
1202 newphv = make_placeholder_expr(root, (Expr *) newnode, phrels);
1203 /* newphv has zero phlevelsup and NULL phnullingrels; fix it */
1204 newphv->phlevelsup = levelsup;
1205 newphv->phnullingrels = bms_copy(oldvar->varnullingrels);
1206 newnode = (Node *) newphv;
1207 }
1208 else
1209 {
1210 /* ooops, we're missing support for something the parser can make */
1211 elog(ERROR, "unsupported join alias expression");
1212 }
1213 return newnode;
1214}
Bitmapset * bms_del_member(Bitmapset *a, int x)
Definition: bitmapset.c:868
Bitmapset * bms_copy(const Bitmapset *a)
Definition: bitmapset.c:122
#define bms_is_empty(a)
Definition: bitmapset.h:118
#define Assert(condition)
Definition: c.h:815
unsigned int Index
Definition: c.h:571
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:225
PlaceHolderVar * make_placeholder_expr(PlannerInfo *root, Expr *expr, Relids phrels)
Definition: placeholder.c:54
Relids get_relids_for_join(Query *query, int joinrelid)
tree ctl root
Definition: radixtree.h:1857
Definition: nodes.h:129
Relids phnullingrels
Definition: pathnodes.h:2802
Index phlevelsup
Definition: pathnodes.h:2808
int varno
Definition: primnodes.h:268
Index varlevelsup
Definition: primnodes.h:293
Relids pull_varnos_of_level(PlannerInfo *root, Node *node, int levelsup)
Definition: var.c:140
static bool is_standard_join_alias_expression(Node *newnode, Var *oldvar)
Definition: var.c:1225
static void adjust_standard_join_alias_expression(Node *newnode, Var *oldvar)
Definition: var.c:1299

References adjust_standard_join_alias_expression(), Assert, bms_copy(), bms_del_member(), bms_is_empty, elog, ERROR, get_relids_for_join(), is_standard_join_alias_expression(), make_placeholder_expr(), PlaceHolderVar::phlevelsup, PlaceHolderVar::phnullingrels, pull_varnos_of_level(), root, Var::varlevelsup, and Var::varno.

Referenced by flatten_join_alias_vars_mutator().

◆ adjust_standard_join_alias_expression()

static void adjust_standard_join_alias_expression ( Node newnode,
Var oldvar 
)
static

Definition at line 1299 of file var.c.

1300{
1301 if (IsA(newnode, Var) &&
1302 ((Var *) newnode)->varlevelsup == oldvar->varlevelsup)
1303 {
1304 Var *newvar = (Var *) newnode;
1305
1306 newvar->varnullingrels = bms_add_members(newvar->varnullingrels,
1307 oldvar->varnullingrels);
1308 }
1309 else if (IsA(newnode, PlaceHolderVar) &&
1310 ((PlaceHolderVar *) newnode)->phlevelsup == oldvar->varlevelsup)
1311 {
1312 PlaceHolderVar *newphv = (PlaceHolderVar *) newnode;
1313
1315 oldvar->varnullingrels);
1316 }
1317 else if (IsA(newnode, FuncExpr))
1318 {
1319 FuncExpr *fexpr = (FuncExpr *) newnode;
1320
1322 }
1323 else if (IsA(newnode, RelabelType))
1324 {
1325 RelabelType *relabel = (RelabelType *) newnode;
1326
1327 adjust_standard_join_alias_expression((Node *) relabel->arg, oldvar);
1328 }
1329 else if (IsA(newnode, CoerceViaIO))
1330 {
1331 CoerceViaIO *iocoerce = (CoerceViaIO *) newnode;
1332
1333 adjust_standard_join_alias_expression((Node *) iocoerce->arg, oldvar);
1334 }
1335 else if (IsA(newnode, ArrayCoerceExpr))
1336 {
1337 ArrayCoerceExpr *acoerce = (ArrayCoerceExpr *) newnode;
1338
1339 adjust_standard_join_alias_expression((Node *) acoerce->arg, oldvar);
1340 }
1341 else if (IsA(newnode, CoalesceExpr))
1342 {
1343 CoalesceExpr *cexpr = (CoalesceExpr *) newnode;
1344 ListCell *lc;
1345
1346 Assert(cexpr->args != NIL);
1347 foreach(lc, cexpr->args)
1348 {
1350 }
1351 }
1352 else
1353 Assert(false);
1354}
Bitmapset * bms_add_members(Bitmapset *a, const Bitmapset *b)
Definition: bitmapset.c:917
#define IsA(nodeptr, _type_)
Definition: nodes.h:158
#define lfirst(lc)
Definition: pg_list.h:172
#define NIL
Definition: pg_list.h:68
#define linitial(l)
Definition: pg_list.h:178
List * args
Definition: primnodes.h:1523
Expr * arg
Definition: primnodes.h:1223
List * args
Definition: primnodes.h:784
Expr * arg
Definition: primnodes.h:1200
Definition: primnodes.h:261

References adjust_standard_join_alias_expression(), RelabelType::arg, CoerceViaIO::arg, ArrayCoerceExpr::arg, FuncExpr::args, CoalesceExpr::args, Assert, bms_add_members(), IsA, lfirst, linitial, NIL, PlaceHolderVar::phnullingrels, and Var::varlevelsup.

Referenced by add_nullingrels_if_needed(), and adjust_standard_join_alias_expression().

◆ alias_relid_set()

static Relids alias_relid_set ( Query query,
Relids  relids 
)
static

Definition at line 1361 of file var.c.

1362{
1363 Relids result = NULL;
1364 int rtindex;
1365
1366 rtindex = -1;
1367 while ((rtindex = bms_next_member(relids, rtindex)) >= 0)
1368 {
1369 RangeTblEntry *rte = rt_fetch(rtindex, query->rtable);
1370
1371 if (rte->rtekind == RTE_JOIN)
1372 result = bms_join(result, get_relids_for_join(query, rtindex));
1373 else
1374 result = bms_add_member(result, rtindex);
1375 }
1376 return result;
1377}
int bms_next_member(const Bitmapset *a, int prevbit)
Definition: bitmapset.c:1306
Bitmapset * bms_add_member(Bitmapset *a, int x)
Definition: bitmapset.c:815
Bitmapset * bms_join(Bitmapset *a, Bitmapset *b)
Definition: bitmapset.c:1230
@ RTE_JOIN
Definition: parsenodes.h:1028
#define rt_fetch(rangetable_index, rangetable)
Definition: parsetree.h:31
List * rtable
Definition: parsenodes.h:170
RTEKind rtekind
Definition: parsenodes.h:1056

References bms_add_member(), bms_join(), bms_next_member(), get_relids_for_join(), rt_fetch, Query::rtable, RTE_JOIN, and RangeTblEntry::rtekind.

Referenced by flatten_join_alias_vars_mutator().

◆ contain_var_clause()

◆ contain_var_clause_walker()

static bool contain_var_clause_walker ( Node node,
void *  context 
)
static

Definition at line 412 of file var.c.

413{
414 if (node == NULL)
415 return false;
416 if (IsA(node, Var))
417 {
418 if (((Var *) node)->varlevelsup == 0)
419 return true; /* abort the tree traversal and return true */
420 return false;
421 }
422 if (IsA(node, CurrentOfExpr))
423 return true;
424 if (IsA(node, PlaceHolderVar))
425 {
426 if (((PlaceHolderVar *) node)->phlevelsup == 0)
427 return true; /* abort the tree traversal and return true */
428 /* else fall through to check the contained expr */
429 }
431}
#define expression_tree_walker(n, w, c)
Definition: nodeFuncs.h:153

References contain_var_clause_walker(), expression_tree_walker, and IsA.

Referenced by contain_var_clause(), and contain_var_clause_walker().

◆ contain_vars_of_level()

bool contain_vars_of_level ( Node node,
int  levelsup 
)

◆ contain_vars_of_level_walker()

static bool contain_vars_of_level_walker ( Node node,
int *  sublevels_up 
)
static

Definition at line 455 of file var.c.

456{
457 if (node == NULL)
458 return false;
459 if (IsA(node, Var))
460 {
461 if (((Var *) node)->varlevelsup == *sublevels_up)
462 return true; /* abort tree traversal and return true */
463 return false;
464 }
465 if (IsA(node, CurrentOfExpr))
466 {
467 if (*sublevels_up == 0)
468 return true;
469 return false;
470 }
471 if (IsA(node, PlaceHolderVar))
472 {
473 if (((PlaceHolderVar *) node)->phlevelsup == *sublevels_up)
474 return true; /* abort the tree traversal and return true */
475 /* else fall through to check the contained expr */
476 }
477 if (IsA(node, Query))
478 {
479 /* Recurse into subselects */
480 bool result;
481
482 (*sublevels_up)++;
483 result = query_tree_walker((Query *) node,
485 sublevels_up,
486 0);
487 (*sublevels_up)--;
488 return result;
489 }
490 return expression_tree_walker(node,
492 sublevels_up);
493}
#define query_tree_walker(q, w, c, f)
Definition: nodeFuncs.h:158

References contain_vars_of_level_walker(), expression_tree_walker, IsA, and query_tree_walker.

Referenced by contain_vars_of_level(), and contain_vars_of_level_walker().

◆ contain_vars_returning_old_or_new()

bool contain_vars_returning_old_or_new ( Node node)

Definition at line 511 of file var.c.

512{
514}
static bool contain_vars_returning_old_or_new_walker(Node *node, void *context)
Definition: var.c:517

References contain_vars_returning_old_or_new_walker().

Referenced by make_modifytable().

◆ contain_vars_returning_old_or_new_walker()

static bool contain_vars_returning_old_or_new_walker ( Node node,
void *  context 
)
static

Definition at line 517 of file var.c.

518{
519 if (node == NULL)
520 return false;
521 if (IsA(node, Var))
522 {
523 if (((Var *) node)->varlevelsup == 0 &&
524 ((Var *) node)->varreturningtype != VAR_RETURNING_DEFAULT)
525 return true; /* abort the tree traversal and return true */
526 return false;
527 }
528 if (IsA(node, ReturningExpr))
529 {
530 if (((ReturningExpr *) node)->retlevelsup == 0)
531 return true; /* abort the tree traversal and return true */
532 return false;
533 }
535 context);
536}
@ VAR_RETURNING_DEFAULT
Definition: primnodes.h:255

References contain_vars_returning_old_or_new_walker(), expression_tree_walker, IsA, and VAR_RETURNING_DEFAULT.

Referenced by contain_vars_returning_old_or_new(), and contain_vars_returning_old_or_new_walker().

◆ flatten_group_exprs()

Node * flatten_group_exprs ( PlannerInfo root,
Query query,
Node node 
)

Definition at line 968 of file var.c.

969{
971
972 /*
973 * We do not expect this to be applied to the whole Query, only to
974 * expressions or LATERAL subqueries. Hence, if the top node is a Query,
975 * it's okay to immediately increment sublevels_up.
976 */
977 Assert(node != (Node *) query);
978
979 context.root = root;
980 context.query = query;
981 context.sublevels_up = 0;
982 /* flag whether grouping expressions could possibly contain SubLinks */
983 context.possible_sublink = query->hasSubLinks;
984 /* if hasSubLinks is already true, no need to work hard */
985 context.inserted_sublink = query->hasSubLinks;
986
987 return flatten_group_exprs_mutator(node, &context);
988}
PlannerInfo * root
Definition: var.c:66
static Node * flatten_group_exprs_mutator(Node *node, flatten_join_alias_vars_context *context)
Definition: var.c:991

References Assert, flatten_group_exprs_mutator(), flatten_join_alias_vars_context::inserted_sublink, flatten_join_alias_vars_context::possible_sublink, flatten_join_alias_vars_context::query, flatten_join_alias_vars_context::root, root, and flatten_join_alias_vars_context::sublevels_up.

Referenced by get_query_def(), and subquery_planner().

◆ flatten_group_exprs_mutator()

static Node * flatten_group_exprs_mutator ( Node node,
flatten_join_alias_vars_context context 
)
static

Definition at line 991 of file var.c.

993{
994 if (node == NULL)
995 return NULL;
996 if (IsA(node, Var))
997 {
998 Var *var = (Var *) node;
999 RangeTblEntry *rte;
1000 Node *newvar;
1001
1002 /* No change unless Var belongs to the GROUP of the target level */
1003 if (var->varlevelsup != context->sublevels_up)
1004 return node; /* no need to copy, really */
1005 rte = rt_fetch(var->varno, context->query->rtable);
1006 if (rte->rtekind != RTE_GROUP)
1007 return node;
1008
1009 /* Expand group exprs reference */
1010 Assert(var->varattno > 0);
1011 newvar = (Node *) list_nth(rte->groupexprs, var->varattno - 1);
1012 Assert(newvar != NULL);
1013 newvar = copyObject(newvar);
1014
1015 /*
1016 * If we are expanding an expr carried down from an upper query, must
1017 * adjust its varlevelsup fields.
1018 */
1019 if (context->sublevels_up != 0)
1020 IncrementVarSublevelsUp(newvar, context->sublevels_up, 0);
1021
1022 /* Preserve original Var's location, if possible */
1023 if (IsA(newvar, Var))
1024 ((Var *) newvar)->location = var->location;
1025
1026 /* Detect if we are adding a sublink to query */
1027 if (context->possible_sublink && !context->inserted_sublink)
1028 context->inserted_sublink = checkExprHasSubLink(newvar);
1029
1030 /* Lastly, add any varnullingrels to the replacement expression */
1031 return mark_nullable_by_grouping(context->root, newvar, var);
1032 }
1033
1034 if (IsA(node, Aggref))
1035 {
1036 Aggref *agg = (Aggref *) node;
1037
1038 if ((int) agg->agglevelsup == context->sublevels_up)
1039 {
1040 /*
1041 * If we find an aggregate call of the original level, do not
1042 * recurse into its normal arguments, ORDER BY arguments, or
1043 * filter; there are no grouped vars there. But we should check
1044 * direct arguments as though they weren't in an aggregate.
1045 */
1046 agg = copyObject(agg);
1047 agg->aggdirectargs = (List *)
1049
1050 return (Node *) agg;
1051 }
1052
1053 /*
1054 * We can skip recursing into aggregates of higher levels altogether,
1055 * since they could not possibly contain Vars of concern to us (see
1056 * transformAggregateCall). We do need to look at aggregates of lower
1057 * levels, however.
1058 */
1059 if ((int) agg->agglevelsup > context->sublevels_up)
1060 return node;
1061 }
1062
1063 if (IsA(node, GroupingFunc))
1064 {
1065 GroupingFunc *grp = (GroupingFunc *) node;
1066
1067 /*
1068 * If we find a GroupingFunc node of the original or higher level, do
1069 * not recurse into its arguments; there are no grouped vars there.
1070 */
1071 if ((int) grp->agglevelsup >= context->sublevels_up)
1072 return node;
1073 }
1074
1075 if (IsA(node, Query))
1076 {
1077 /* Recurse into RTE subquery or not-yet-planned sublink subquery */
1078 Query *newnode;
1079 bool save_inserted_sublink;
1080
1081 context->sublevels_up++;
1082 save_inserted_sublink = context->inserted_sublink;
1083 context->inserted_sublink = ((Query *) node)->hasSubLinks;
1084 newnode = query_tree_mutator((Query *) node,
1086 context,
1088 newnode->hasSubLinks |= context->inserted_sublink;
1089 context->inserted_sublink = save_inserted_sublink;
1090 context->sublevels_up--;
1091 return (Node *) newnode;
1092 }
1093
1095 context);
1096}
#define expression_tree_mutator(n, m, c)
Definition: nodeFuncs.h:155
#define QTW_IGNORE_GROUPEXPRS
Definition: nodeFuncs.h:32
#define query_tree_mutator(q, m, c, f)
Definition: nodeFuncs.h:160
#define copyObject(obj)
Definition: nodes.h:224
@ RTE_GROUP
Definition: parsenodes.h:1037
static void * list_nth(const List *list, int n)
Definition: pg_list.h:299
bool checkExprHasSubLink(Node *node)
Definition: rewriteManip.c:292
void IncrementVarSublevelsUp(Node *node, int delta_sublevels_up, int min_sublevels_up)
Definition: rewriteManip.c:849
List * aggdirectargs
Definition: primnodes.h:481
Index agglevelsup
Definition: primnodes.h:567
Definition: pg_list.h:54
ParseLoc location
Definition: primnodes.h:309
AttrNumber varattno
Definition: primnodes.h:273
static Node * mark_nullable_by_grouping(PlannerInfo *root, Node *newnode, Var *oldvar)
Definition: var.c:1103

References Aggref::aggdirectargs, GroupingFunc::agglevelsup, Assert, checkExprHasSubLink(), copyObject, expression_tree_mutator, flatten_group_exprs_mutator(), IncrementVarSublevelsUp(), flatten_join_alias_vars_context::inserted_sublink, IsA, list_nth(), Var::location, mark_nullable_by_grouping(), flatten_join_alias_vars_context::possible_sublink, QTW_IGNORE_GROUPEXPRS, flatten_join_alias_vars_context::query, query_tree_mutator, flatten_join_alias_vars_context::root, rt_fetch, Query::rtable, RTE_GROUP, RangeTblEntry::rtekind, flatten_join_alias_vars_context::sublevels_up, Var::varattno, Var::varlevelsup, and Var::varno.

Referenced by flatten_group_exprs(), and flatten_group_exprs_mutator().

◆ flatten_join_alias_vars()

Node * flatten_join_alias_vars ( PlannerInfo root,
Query query,
Node node 
)

Definition at line 789 of file var.c.

790{
792
793 /*
794 * We do not expect this to be applied to the whole Query, only to
795 * expressions or LATERAL subqueries. Hence, if the top node is a Query,
796 * it's okay to immediately increment sublevels_up.
797 */
798 Assert(node != (Node *) query);
799
800 context.root = root;
801 context.query = query;
802 context.sublevels_up = 0;
803 /* flag whether join aliases could possibly contain SubLinks */
804 context.possible_sublink = query->hasSubLinks;
805 /* if hasSubLinks is already true, no need to work hard */
806 context.inserted_sublink = query->hasSubLinks;
807
808 return flatten_join_alias_vars_mutator(node, &context);
809}
static Node * flatten_join_alias_vars_mutator(Node *node, flatten_join_alias_vars_context *context)
Definition: var.c:812

References Assert, flatten_join_alias_vars_mutator(), flatten_join_alias_vars_context::inserted_sublink, flatten_join_alias_vars_context::possible_sublink, flatten_join_alias_vars_context::query, flatten_join_alias_vars_context::root, root, and flatten_join_alias_vars_context::sublevels_up.

Referenced by finalize_grouping_exprs_walker(), parseCheckAggregates(), preprocess_expression(), pull_up_simple_subquery(), and subquery_planner().

◆ flatten_join_alias_vars_mutator()

static Node * flatten_join_alias_vars_mutator ( Node node,
flatten_join_alias_vars_context context 
)
static

Definition at line 812 of file var.c.

814{
815 if (node == NULL)
816 return NULL;
817 if (IsA(node, Var))
818 {
819 Var *var = (Var *) node;
820 RangeTblEntry *rte;
821 Node *newvar;
822
823 /* No change unless Var belongs to a JOIN of the target level */
824 if (var->varlevelsup != context->sublevels_up)
825 return node; /* no need to copy, really */
826 rte = rt_fetch(var->varno, context->query->rtable);
827 if (rte->rtekind != RTE_JOIN)
828 return node;
829 if (var->varattno == InvalidAttrNumber)
830 {
831 /* Must expand whole-row reference */
832 RowExpr *rowexpr;
833 List *fields = NIL;
834 List *colnames = NIL;
835 ListCell *lv;
836 ListCell *ln;
837
838 Assert(list_length(rte->joinaliasvars) == list_length(rte->eref->colnames));
839 forboth(lv, rte->joinaliasvars, ln, rte->eref->colnames)
840 {
841 newvar = (Node *) lfirst(lv);
842 /* Ignore dropped columns */
843 if (newvar == NULL)
844 continue;
845 newvar = copyObject(newvar);
846
847 /*
848 * If we are expanding an alias carried down from an upper
849 * query, must adjust its varlevelsup fields.
850 */
851 if (context->sublevels_up != 0)
852 IncrementVarSublevelsUp(newvar, context->sublevels_up, 0);
853 /* Preserve original Var's location, if possible */
854 if (IsA(newvar, Var))
855 ((Var *) newvar)->location = var->location;
856 /* Recurse in case join input is itself a join */
857 /* (also takes care of setting inserted_sublink if needed) */
858 newvar = flatten_join_alias_vars_mutator(newvar, context);
859 fields = lappend(fields, newvar);
860 /* We need the names of non-dropped columns, too */
861 colnames = lappend(colnames, copyObject((Node *) lfirst(ln)));
862 }
863 rowexpr = makeNode(RowExpr);
864 rowexpr->args = fields;
865 rowexpr->row_typeid = var->vartype;
866 rowexpr->row_format = COERCE_IMPLICIT_CAST;
867 /* vartype will always be RECORDOID, so we always need colnames */
868 rowexpr->colnames = colnames;
869 rowexpr->location = var->location;
870
871 /* Lastly, add any varnullingrels to the replacement expression */
872 return add_nullingrels_if_needed(context->root, (Node *) rowexpr,
873 var);
874 }
875
876 /* Expand join alias reference */
877 Assert(var->varattno > 0);
878 newvar = (Node *) list_nth(rte->joinaliasvars, var->varattno - 1);
879 Assert(newvar != NULL);
880 newvar = copyObject(newvar);
881
882 /*
883 * If we are expanding an alias carried down from an upper query, must
884 * adjust its varlevelsup fields.
885 */
886 if (context->sublevels_up != 0)
887 IncrementVarSublevelsUp(newvar, context->sublevels_up, 0);
888
889 /* Preserve original Var's location, if possible */
890 if (IsA(newvar, Var))
891 ((Var *) newvar)->location = var->location;
892
893 /* Recurse in case join input is itself a join */
894 newvar = flatten_join_alias_vars_mutator(newvar, context);
895
896 /* Detect if we are adding a sublink to query */
897 if (context->possible_sublink && !context->inserted_sublink)
898 context->inserted_sublink = checkExprHasSubLink(newvar);
899
900 /* Lastly, add any varnullingrels to the replacement expression */
901 return add_nullingrels_if_needed(context->root, newvar, var);
902 }
903 if (IsA(node, PlaceHolderVar))
904 {
905 /* Copy the PlaceHolderVar node with correct mutation of subnodes */
906 PlaceHolderVar *phv;
907
910 context);
911 /* now fix PlaceHolderVar's relid sets */
912 if (phv->phlevelsup == context->sublevels_up)
913 {
914 phv->phrels = alias_relid_set(context->query,
915 phv->phrels);
916 /* we *don't* change phnullingrels */
917 }
918 return (Node *) phv;
919 }
920
921 if (IsA(node, Query))
922 {
923 /* Recurse into RTE subquery or not-yet-planned sublink subquery */
924 Query *newnode;
925 bool save_inserted_sublink;
926
927 context->sublevels_up++;
928 save_inserted_sublink = context->inserted_sublink;
929 context->inserted_sublink = ((Query *) node)->hasSubLinks;
930 newnode = query_tree_mutator((Query *) node,
932 context,
934 newnode->hasSubLinks |= context->inserted_sublink;
935 context->inserted_sublink = save_inserted_sublink;
936 context->sublevels_up--;
937 return (Node *) newnode;
938 }
939 /* Already-planned tree not supported */
940 Assert(!IsA(node, SubPlan));
942 /* Shouldn't need to handle these planner auxiliary nodes here */
943 Assert(!IsA(node, SpecialJoinInfo));
944 Assert(!IsA(node, PlaceHolderInfo));
945 Assert(!IsA(node, MinMaxAggInfo));
946
948}
#define InvalidAttrNumber
Definition: attnum.h:23
List * lappend(List *list, void *datum)
Definition: list.c:339
#define QTW_IGNORE_JOINALIASES
Definition: nodeFuncs.h:25
#define makeNode(_type_)
Definition: nodes.h:155
static int list_length(const List *l)
Definition: pg_list.h:152
#define forboth(cell1, list1, cell2, list2)
Definition: pg_list.h:518
@ COERCE_IMPLICIT_CAST
Definition: primnodes.h:752
List * args
Definition: primnodes.h:1427
ParseLoc location
Definition: primnodes.h:1451
static Node * add_nullingrels_if_needed(PlannerInfo *root, Node *newnode, Var *oldvar)
Definition: var.c:1173
static Relids alias_relid_set(Query *query, Relids relids)
Definition: var.c:1361

References add_nullingrels_if_needed(), alias_relid_set(), RowExpr::args, Assert, checkExprHasSubLink(), COERCE_IMPLICIT_CAST, copyObject, expression_tree_mutator, flatten_join_alias_vars_mutator(), forboth, IncrementVarSublevelsUp(), flatten_join_alias_vars_context::inserted_sublink, InvalidAttrNumber, IsA, lappend(), lfirst, list_length(), list_nth(), Var::location, RowExpr::location, makeNode, NIL, PlaceHolderVar::phlevelsup, flatten_join_alias_vars_context::possible_sublink, QTW_IGNORE_JOINALIASES, flatten_join_alias_vars_context::query, query_tree_mutator, flatten_join_alias_vars_context::root, rt_fetch, Query::rtable, RTE_JOIN, RangeTblEntry::rtekind, flatten_join_alias_vars_context::sublevels_up, Var::varattno, Var::varlevelsup, and Var::varno.

Referenced by flatten_join_alias_vars(), and flatten_join_alias_vars_mutator().

◆ is_standard_join_alias_expression()

static bool is_standard_join_alias_expression ( Node newnode,
Var oldvar 
)
static

Definition at line 1225 of file var.c.

1226{
1227 if (newnode == NULL)
1228 return false;
1229 if (IsA(newnode, Var) &&
1230 ((Var *) newnode)->varlevelsup == oldvar->varlevelsup)
1231 return true;
1232 else if (IsA(newnode, PlaceHolderVar) &&
1233 ((PlaceHolderVar *) newnode)->phlevelsup == oldvar->varlevelsup)
1234 return true;
1235 else if (IsA(newnode, FuncExpr))
1236 {
1237 FuncExpr *fexpr = (FuncExpr *) newnode;
1238
1239 /*
1240 * We need to assume that the function wouldn't produce non-NULL from
1241 * NULL, which is reasonable for implicit coercions but otherwise not
1242 * so much. (Looking at its strictness is likely overkill, and anyway
1243 * it would cause us to fail if someone forgot to mark an implicit
1244 * coercion as strict.)
1245 */
1246 if (fexpr->funcformat != COERCE_IMPLICIT_CAST ||
1247 fexpr->args == NIL)
1248 return false;
1249
1250 /*
1251 * Examine only the first argument --- coercions might have additional
1252 * arguments that are constants.
1253 */
1254 return is_standard_join_alias_expression(linitial(fexpr->args), oldvar);
1255 }
1256 else if (IsA(newnode, RelabelType))
1257 {
1258 RelabelType *relabel = (RelabelType *) newnode;
1259
1260 /* This definitely won't produce non-NULL from NULL */
1261 return is_standard_join_alias_expression((Node *) relabel->arg, oldvar);
1262 }
1263 else if (IsA(newnode, CoerceViaIO))
1264 {
1265 CoerceViaIO *iocoerce = (CoerceViaIO *) newnode;
1266
1267 /* This definitely won't produce non-NULL from NULL */
1268 return is_standard_join_alias_expression((Node *) iocoerce->arg, oldvar);
1269 }
1270 else if (IsA(newnode, ArrayCoerceExpr))
1271 {
1272 ArrayCoerceExpr *acoerce = (ArrayCoerceExpr *) newnode;
1273
1274 /* This definitely won't produce non-NULL from NULL (at array level) */
1275 return is_standard_join_alias_expression((Node *) acoerce->arg, oldvar);
1276 }
1277 else if (IsA(newnode, CoalesceExpr))
1278 {
1279 CoalesceExpr *cexpr = (CoalesceExpr *) newnode;
1280 ListCell *lc;
1281
1282 Assert(cexpr->args != NIL);
1283 foreach(lc, cexpr->args)
1284 {
1285 if (!is_standard_join_alias_expression(lfirst(lc), oldvar))
1286 return false;
1287 }
1288 return true;
1289 }
1290 else
1291 return false;
1292}

References RelabelType::arg, CoerceViaIO::arg, ArrayCoerceExpr::arg, FuncExpr::args, CoalesceExpr::args, Assert, COERCE_IMPLICIT_CAST, is_standard_join_alias_expression(), IsA, lfirst, linitial, NIL, and Var::varlevelsup.

Referenced by add_nullingrels_if_needed(), and is_standard_join_alias_expression().

◆ locate_var_of_level()

int locate_var_of_level ( Node node,
int  levelsup 
)

Definition at line 555 of file var.c.

556{
558
559 context.var_location = -1; /* in case we find nothing */
560 context.sublevels_up = levelsup;
561
564 &context,
565 0);
566
567 return context.var_location;
568}
static bool locate_var_of_level_walker(Node *node, locate_var_of_level_context *context)
Definition: var.c:571

References locate_var_of_level_walker(), query_or_expression_tree_walker, locate_var_of_level_context::sublevels_up, and locate_var_of_level_context::var_location.

Referenced by check_agg_arguments(), checkExprIsVarFree(), and transformSetOperationTree().

◆ locate_var_of_level_walker()

static bool locate_var_of_level_walker ( Node node,
locate_var_of_level_context context 
)
static

Definition at line 571 of file var.c.

573{
574 if (node == NULL)
575 return false;
576 if (IsA(node, Var))
577 {
578 Var *var = (Var *) node;
579
580 if (var->varlevelsup == context->sublevels_up &&
581 var->location >= 0)
582 {
583 context->var_location = var->location;
584 return true; /* abort tree traversal and return true */
585 }
586 return false;
587 }
588 if (IsA(node, CurrentOfExpr))
589 {
590 /* since CurrentOfExpr doesn't carry location, nothing we can do */
591 return false;
592 }
593 /* No extra code needed for PlaceHolderVar; just look in contained expr */
594 if (IsA(node, Query))
595 {
596 /* Recurse into subselects */
597 bool result;
598
599 context->sublevels_up++;
600 result = query_tree_walker((Query *) node,
602 context,
603 0);
604 context->sublevels_up--;
605 return result;
606 }
607 return expression_tree_walker(node,
609 context);
610}

References expression_tree_walker, IsA, locate_var_of_level_walker(), Var::location, query_tree_walker, locate_var_of_level_context::sublevels_up, locate_var_of_level_context::var_location, and Var::varlevelsup.

Referenced by locate_var_of_level(), and locate_var_of_level_walker().

◆ mark_nullable_by_grouping()

static Node * mark_nullable_by_grouping ( PlannerInfo root,
Node newnode,
Var oldvar 
)
static

Definition at line 1103 of file var.c.

1104{
1105 Relids relids;
1106
1107 if (root == NULL)
1108 return newnode;
1109 if (oldvar->varnullingrels == NULL)
1110 return newnode; /* nothing to do */
1111
1112 Assert(bms_equal(oldvar->varnullingrels,
1113 bms_make_singleton(root->group_rtindex)));
1114
1115 relids = pull_varnos_of_level(root, newnode, oldvar->varlevelsup);
1116
1117 if (!bms_is_empty(relids))
1118 {
1119 /*
1120 * If the newnode is not variable-free, we set the nullingrels of Vars
1121 * or PHVs that are contained in the expression. This is not really
1122 * 'correct' in theory, because it is the whole expression that can be
1123 * nullable by grouping sets, not its individual vars. But it works
1124 * in practice, because what we need is that the expression can be
1125 * somehow distinguished from the same expression in ECs, and marking
1126 * its vars is sufficient for this purpose.
1127 */
1128 newnode = add_nulling_relids(newnode,
1129 relids,
1130 oldvar->varnullingrels);
1131 }
1132 else /* variable-free? */
1133 {
1134 /*
1135 * If the newnode is variable-free and does not contain volatile
1136 * functions or set-returning functions, it can be treated as a member
1137 * of EC that is redundant. So wrap it in a new PlaceHolderVar to
1138 * carry the nullingrels. Otherwise we do not bother to make any
1139 * changes.
1140 *
1141 * Aggregate functions and window functions are not allowed in
1142 * grouping expressions.
1143 */
1144 Assert(!contain_agg_clause(newnode));
1146
1147 if (!contain_volatile_functions(newnode) &&
1148 !expression_returns_set(newnode))
1149 {
1150 PlaceHolderVar *newphv;
1151 Relids phrels;
1152
1153 phrels = get_relids_in_jointree((Node *) root->parse->jointree,
1154 true, false);
1155 Assert(!bms_is_empty(phrels));
1156
1157 newphv = make_placeholder_expr(root, (Expr *) newnode, phrels);
1158 /* newphv has zero phlevelsup and NULL phnullingrels; fix it */
1159 newphv->phlevelsup = oldvar->varlevelsup;
1160 newphv->phnullingrels = bms_copy(oldvar->varnullingrels);
1161 newnode = (Node *) newphv;
1162 }
1163 }
1164
1165 return newnode;
1166}
Bitmapset * bms_make_singleton(int x)
Definition: bitmapset.c:216
bool bms_equal(const Bitmapset *a, const Bitmapset *b)
Definition: bitmapset.c:142
bool contain_agg_clause(Node *clause)
Definition: clauses.c:177
bool contain_window_function(Node *clause)
Definition: clauses.c:214
bool contain_volatile_functions(Node *clause)
Definition: clauses.c:537
bool expression_returns_set(Node *clause)
Definition: nodeFuncs.c:763
Relids get_relids_in_jointree(Node *jtnode, bool include_outer_joins, bool include_inner_joins)
Node * add_nulling_relids(Node *node, const Bitmapset *target_relids, const Bitmapset *added_relids)

References add_nulling_relids(), Assert, bms_copy(), bms_equal(), bms_is_empty, bms_make_singleton(), contain_agg_clause(), contain_volatile_functions(), contain_window_function(), expression_returns_set(), get_relids_in_jointree(), make_placeholder_expr(), PlaceHolderVar::phlevelsup, PlaceHolderVar::phnullingrels, pull_varnos_of_level(), root, and Var::varlevelsup.

Referenced by flatten_group_exprs_mutator().

◆ pull_var_clause()

List * pull_var_clause ( Node node,
int  flags 
)

Definition at line 653 of file var.c.

654{
656
657 /* Assert that caller has not specified inconsistent flags */
664
665 context.varlist = NIL;
666 context.flags = flags;
667
668 pull_var_clause_walker(node, &context);
669 return context.varlist;
670}
#define PVC_RECURSE_AGGREGATES
Definition: optimizer.h:188
#define PVC_RECURSE_PLACEHOLDERS
Definition: optimizer.h:192
#define PVC_RECURSE_WINDOWFUNCS
Definition: optimizer.h:190
#define PVC_INCLUDE_WINDOWFUNCS
Definition: optimizer.h:189
#define PVC_INCLUDE_PLACEHOLDERS
Definition: optimizer.h:191
#define PVC_INCLUDE_AGGREGATES
Definition: optimizer.h:187
static bool pull_var_clause_walker(Node *node, pull_var_clause_context *context)
Definition: var.c:673

References Assert, pull_var_clause_context::flags, NIL, pull_var_clause_walker(), PVC_INCLUDE_AGGREGATES, PVC_INCLUDE_PLACEHOLDERS, PVC_INCLUDE_WINDOWFUNCS, PVC_RECURSE_AGGREGATES, PVC_RECURSE_PLACEHOLDERS, PVC_RECURSE_WINDOWFUNCS, and pull_var_clause_context::varlist.

Referenced by add_paths_with_pathkeys_for_rel(), AddRelationNewConstraints(), build_base_rel_tlists(), build_remote_returning(), build_tlist_to_deparse(), CreateTriggerFiringOn(), distribute_qual_to_rels(), estimate_num_groups(), find_computable_ec_member(), find_placeholders_in_expr(), fix_placeholder_input_needed_levels(), foreign_grouping_ok(), generate_base_implied_equalities_no_const(), make_group_input_target(), make_partial_grouping_target(), make_sort_input_target(), make_window_input_target(), preprocess_targetlist(), process_implied_equality(), qual_is_pushdown_safe(), rebuild_eclass_attr_needed(), rebuild_joinclause_attr_needed(), rebuild_placeholder_attr_needed(), semijoin_target_ok(), and StoreRelCheck().

◆ pull_var_clause_walker()

static bool pull_var_clause_walker ( Node node,
pull_var_clause_context context 
)
static

Definition at line 673 of file var.c.

674{
675 if (node == NULL)
676 return false;
677 if (IsA(node, Var))
678 {
679 if (((Var *) node)->varlevelsup != 0)
680 elog(ERROR, "Upper-level Var found where not expected");
681 context->varlist = lappend(context->varlist, node);
682 return false;
683 }
684 else if (IsA(node, Aggref))
685 {
686 if (((Aggref *) node)->agglevelsup != 0)
687 elog(ERROR, "Upper-level Aggref found where not expected");
688 if (context->flags & PVC_INCLUDE_AGGREGATES)
689 {
690 context->varlist = lappend(context->varlist, node);
691 /* we do NOT descend into the contained expression */
692 return false;
693 }
694 else if (context->flags & PVC_RECURSE_AGGREGATES)
695 {
696 /* fall through to recurse into the aggregate's arguments */
697 }
698 else
699 elog(ERROR, "Aggref found where not expected");
700 }
701 else if (IsA(node, GroupingFunc))
702 {
703 if (((GroupingFunc *) node)->agglevelsup != 0)
704 elog(ERROR, "Upper-level GROUPING found where not expected");
705 if (context->flags & PVC_INCLUDE_AGGREGATES)
706 {
707 context->varlist = lappend(context->varlist, node);
708 /* we do NOT descend into the contained expression */
709 return false;
710 }
711 else if (context->flags & PVC_RECURSE_AGGREGATES)
712 {
713 /* fall through to recurse into the GroupingFunc's arguments */
714 }
715 else
716 elog(ERROR, "GROUPING found where not expected");
717 }
718 else if (IsA(node, WindowFunc))
719 {
720 /* WindowFuncs have no levelsup field to check ... */
721 if (context->flags & PVC_INCLUDE_WINDOWFUNCS)
722 {
723 context->varlist = lappend(context->varlist, node);
724 /* we do NOT descend into the contained expressions */
725 return false;
726 }
727 else if (context->flags & PVC_RECURSE_WINDOWFUNCS)
728 {
729 /* fall through to recurse into the windowfunc's arguments */
730 }
731 else
732 elog(ERROR, "WindowFunc found where not expected");
733 }
734 else if (IsA(node, PlaceHolderVar))
735 {
736 if (((PlaceHolderVar *) node)->phlevelsup != 0)
737 elog(ERROR, "Upper-level PlaceHolderVar found where not expected");
738 if (context->flags & PVC_INCLUDE_PLACEHOLDERS)
739 {
740 context->varlist = lappend(context->varlist, node);
741 /* we do NOT descend into the contained expression */
742 return false;
743 }
744 else if (context->flags & PVC_RECURSE_PLACEHOLDERS)
745 {
746 /* fall through to recurse into the placeholder's expression */
747 }
748 else
749 elog(ERROR, "PlaceHolderVar found where not expected");
750 }
751 return expression_tree_walker(node, pull_var_clause_walker, context);
752}

References elog, ERROR, expression_tree_walker, pull_var_clause_context::flags, IsA, lappend(), pull_var_clause_walker(), PVC_INCLUDE_AGGREGATES, PVC_INCLUDE_PLACEHOLDERS, PVC_INCLUDE_WINDOWFUNCS, PVC_RECURSE_AGGREGATES, PVC_RECURSE_PLACEHOLDERS, PVC_RECURSE_WINDOWFUNCS, and pull_var_clause_context::varlist.

Referenced by pull_var_clause(), and pull_var_clause_walker().

◆ pull_varattnos()

void pull_varattnos ( Node node,
Index  varno,
Bitmapset **  varattnos 
)

◆ pull_varattnos_walker()

static bool pull_varattnos_walker ( Node node,
pull_varattnos_context context 
)
static

Definition at line 309 of file var.c.

310{
311 if (node == NULL)
312 return false;
313 if (IsA(node, Var))
314 {
315 Var *var = (Var *) node;
316
317 if (var->varno == context->varno && var->varlevelsup == 0)
318 context->varattnos =
319 bms_add_member(context->varattnos,
321 return false;
322 }
323
324 /* Should not find an unplanned subquery */
325 Assert(!IsA(node, Query));
326
327 return expression_tree_walker(node, pull_varattnos_walker, context);
328}
#define FirstLowInvalidHeapAttributeNumber
Definition: sysattr.h:27

References Assert, bms_add_member(), expression_tree_walker, FirstLowInvalidHeapAttributeNumber, IsA, pull_varattnos_walker(), Var::varattno, pull_varattnos_context::varattnos, Var::varlevelsup, pull_varattnos_context::varno, and Var::varno.

Referenced by pull_varattnos(), and pull_varattnos_walker().

◆ pull_varnos()

Relids pull_varnos ( PlannerInfo root,
Node node 
)

Definition at line 114 of file var.c.

115{
116 pull_varnos_context context;
117
118 context.varnos = NULL;
119 context.root = root;
120 context.sublevels_up = 0;
121
122 /*
123 * Must be prepared to start with a Query or a bare expression tree; if
124 * it's a Query, we don't want to increment sublevels_up.
125 */
128 &context,
129 0);
130
131 return context.varnos;
132}
PlannerInfo * root
Definition: var.c:36
int sublevels_up
Definition: var.c:37
Relids varnos
Definition: var.c:35
static bool pull_varnos_walker(Node *node, pull_varnos_context *context)
Definition: var.c:161

References pull_varnos_walker(), query_or_expression_tree_walker, pull_varnos_context::root, root, pull_varnos_context::sublevels_up, and pull_varnos_context::varnos.

Referenced by compute_semijoin_info(), convert_ANY_sublink_to_join(), convert_EXISTS_sublink_to_join(), cost_incremental_sort(), distribute_qual_to_rels(), examine_variable(), expand_indexqual_rowcompare(), extract_lateral_vars_from_PHVs(), find_placeholder_info(), get_eclass_for_sort_expr(), is_pseudo_constant_for_index(), IsTidEqualAnyClause(), join_is_removable(), make_outerjoininfo(), make_plain_restrictinfo(), match_rowcompare_to_indexcol(), match_saopclause_to_indexcol(), NumRelids(), pg_get_expr_worker(), process_implied_equality(), pullup_replace_vars_callback(), remove_rel_from_query(), and subquery_planner().

◆ pull_varnos_of_level()

Relids pull_varnos_of_level ( PlannerInfo root,
Node node,
int  levelsup 
)

Definition at line 140 of file var.c.

141{
142 pull_varnos_context context;
143
144 context.varnos = NULL;
145 context.root = root;
146 context.sublevels_up = levelsup;
147
148 /*
149 * Must be prepared to start with a Query or a bare expression tree; if
150 * it's a Query, we don't want to increment sublevels_up.
151 */
154 &context,
155 0);
156
157 return context.varnos;
158}

References pull_varnos_walker(), query_or_expression_tree_walker, pull_varnos_context::root, root, pull_varnos_context::sublevels_up, and pull_varnos_context::varnos.

Referenced by add_nullingrels_if_needed(), convert_ANY_sublink_to_join(), is_simple_subquery(), jointree_contains_lateral_outer_refs(), and mark_nullable_by_grouping().

◆ pull_varnos_walker()

static bool pull_varnos_walker ( Node node,
pull_varnos_context context 
)
static

Definition at line 161 of file var.c.

162{
163 if (node == NULL)
164 return false;
165 if (IsA(node, Var))
166 {
167 Var *var = (Var *) node;
168
169 if (var->varlevelsup == context->sublevels_up)
170 {
171 context->varnos = bms_add_member(context->varnos, var->varno);
172 context->varnos = bms_add_members(context->varnos,
173 var->varnullingrels);
174 }
175 return false;
176 }
177 if (IsA(node, CurrentOfExpr))
178 {
179 CurrentOfExpr *cexpr = (CurrentOfExpr *) node;
180
181 if (context->sublevels_up == 0)
182 context->varnos = bms_add_member(context->varnos, cexpr->cvarno);
183 return false;
184 }
185 if (IsA(node, PlaceHolderVar))
186 {
187 PlaceHolderVar *phv = (PlaceHolderVar *) node;
188
189 /*
190 * If a PlaceHolderVar is not of the target query level, ignore it,
191 * instead recursing into its expression to see if it contains any
192 * vars that are of the target level. We'll also do that when the
193 * caller doesn't pass a "root" pointer. (We probably shouldn't see
194 * PlaceHolderVars at all in such cases, but if we do, this is a
195 * reasonable behavior.)
196 */
197 if (phv->phlevelsup == context->sublevels_up &&
198 context->root != NULL)
199 {
200 /*
201 * Ideally, the PHV's contribution to context->varnos is its
202 * ph_eval_at set. However, this code can be invoked before
203 * that's been computed. If we cannot find a PlaceHolderInfo,
204 * fall back to the conservative assumption that the PHV will be
205 * evaluated at its syntactic level (phv->phrels).
206 *
207 * Another problem is that a PlaceHolderVar can appear in quals or
208 * tlists that have been translated for use in a child appendrel.
209 * Typically such a PHV is a parameter expression sourced by some
210 * other relation, so that the translation from parent appendrel
211 * to child doesn't change its phrels, and we should still take
212 * ph_eval_at at face value. But in corner cases, the PHV's
213 * original phrels can include the parent appendrel itself, in
214 * which case the translated PHV will have the child appendrel in
215 * phrels, and we must translate ph_eval_at to match.
216 */
217 PlaceHolderInfo *phinfo = NULL;
218
219 if (phv->phlevelsup == 0)
220 {
221 if (phv->phid < context->root->placeholder_array_size)
222 phinfo = context->root->placeholder_array[phv->phid];
223 }
224 if (phinfo == NULL)
225 {
226 /* No PlaceHolderInfo yet, use phrels */
227 context->varnos = bms_add_members(context->varnos,
228 phv->phrels);
229 }
230 else if (bms_equal(phv->phrels, phinfo->ph_var->phrels))
231 {
232 /* Normal case: use ph_eval_at */
233 context->varnos = bms_add_members(context->varnos,
234 phinfo->ph_eval_at);
235 }
236 else
237 {
238 /* Translated PlaceHolderVar: translate ph_eval_at to match */
239 Relids newevalat,
240 delta;
241
242 /* remove what was removed from phv->phrels ... */
243 delta = bms_difference(phinfo->ph_var->phrels, phv->phrels);
244 newevalat = bms_difference(phinfo->ph_eval_at, delta);
245 /* ... then if that was in fact part of ph_eval_at ... */
246 if (!bms_equal(newevalat, phinfo->ph_eval_at))
247 {
248 /* ... add what was added */
249 delta = bms_difference(phv->phrels, phinfo->ph_var->phrels);
250 newevalat = bms_join(newevalat, delta);
251 }
252 context->varnos = bms_join(context->varnos,
253 newevalat);
254 }
255
256 /*
257 * In all three cases, include phnullingrels in the result. We
258 * don't worry about possibly needing to translate it, because
259 * appendrels only translate varnos of baserels, not outer joins.
260 */
261 context->varnos = bms_add_members(context->varnos,
262 phv->phnullingrels);
263 return false; /* don't recurse into expression */
264 }
265 }
266 else if (IsA(node, Query))
267 {
268 /* Recurse into RTE subquery or not-yet-planned sublink subquery */
269 bool result;
270
271 context->sublevels_up++;
272 result = query_tree_walker((Query *) node, pull_varnos_walker,
273 context, 0);
274 context->sublevels_up--;
275 return result;
276 }
277 return expression_tree_walker(node, pull_varnos_walker, context);
278}
Bitmapset * bms_difference(const Bitmapset *a, const Bitmapset *b)
Definition: bitmapset.c:346
Relids ph_eval_at
Definition: pathnodes.h:3099
PlaceHolderVar * ph_var
Definition: pathnodes.h:3096

References bms_add_member(), bms_add_members(), bms_difference(), bms_equal(), bms_join(), CurrentOfExpr::cvarno, expression_tree_walker, IsA, PlaceHolderInfo::ph_eval_at, PlaceHolderInfo::ph_var, PlaceHolderVar::phid, PlaceHolderVar::phlevelsup, PlaceHolderVar::phnullingrels, pull_varnos_walker(), query_tree_walker, pull_varnos_context::root, pull_varnos_context::sublevels_up, Var::varlevelsup, Var::varno, and pull_varnos_context::varnos.

Referenced by pull_varnos(), pull_varnos_of_level(), and pull_varnos_walker().

◆ pull_vars_of_level()

List * pull_vars_of_level ( Node node,
int  levelsup 
)

Definition at line 339 of file var.c.

340{
341 pull_vars_context context;
342
343 context.vars = NIL;
344 context.sublevels_up = levelsup;
345
346 /*
347 * Must be prepared to start with a Query or a bare expression tree; if
348 * it's a Query, we don't want to increment sublevels_up.
349 */
352 &context,
353 0);
354
355 return context.vars;
356}
int sublevels_up
Definition: var.c:49
List * vars
Definition: var.c:48
static bool pull_vars_walker(Node *node, pull_vars_context *context)
Definition: var.c:359

References NIL, pull_vars_walker(), query_or_expression_tree_walker, pull_vars_context::sublevels_up, and pull_vars_context::vars.

Referenced by extract_lateral_references(), and extract_lateral_vars_from_PHVs().

◆ pull_vars_walker()

static bool pull_vars_walker ( Node node,
pull_vars_context context 
)
static

Definition at line 359 of file var.c.

360{
361 if (node == NULL)
362 return false;
363 if (IsA(node, Var))
364 {
365 Var *var = (Var *) node;
366
367 if (var->varlevelsup == context->sublevels_up)
368 context->vars = lappend(context->vars, var);
369 return false;
370 }
371 if (IsA(node, PlaceHolderVar))
372 {
373 PlaceHolderVar *phv = (PlaceHolderVar *) node;
374
375 if (phv->phlevelsup == context->sublevels_up)
376 context->vars = lappend(context->vars, phv);
377 /* we don't want to look into the contained expression */
378 return false;
379 }
380 if (IsA(node, Query))
381 {
382 /* Recurse into RTE subquery or not-yet-planned sublink subquery */
383 bool result;
384
385 context->sublevels_up++;
386 result = query_tree_walker((Query *) node, pull_vars_walker,
387 context, 0);
388 context->sublevels_up--;
389 return result;
390 }
391 return expression_tree_walker(node, pull_vars_walker, context);
392}

References expression_tree_walker, IsA, lappend(), PlaceHolderVar::phlevelsup, pull_vars_walker(), query_tree_walker, pull_vars_context::sublevels_up, Var::varlevelsup, and pull_vars_context::vars.

Referenced by pull_vars_of_level(), and pull_vars_walker().