Compute root->qual_security_level in a less random place.

We can set this up once and for all in subquery_planner's initial survey
of the flattened rangetable, rather than incrementally adjusting it in
build_simple_rel.  The previous approach made it rather hard to reason
about exactly when the value would be available, and we were definitely
using it in some places before the final value was computed.

Noted while fooling around with Amit Langote's patch to delay creation
of inheritance child rels.  That didn't break this code, but it made it
even more fragile, IMO.
This commit is contained in:
Tom Lane 2019-03-31 13:47:41 -04:00
parent 2aa6e331ea
commit 9fd4de119c
2 changed files with 10 additions and 11 deletions

View File

@ -731,6 +731,16 @@ subquery_planner(PlannerGlobal *glob, Query *parse,
if (rte->lateral)
root->hasLateralRTEs = true;
/*
* We can also determine the maximum security level required for any
* securityQuals now. Addition of inheritance-child RTEs won't affect
* this, because child tables don't have their own securityQuals; see
* expand_single_inheritance_child().
*/
if (rte->securityQuals)
root->qual_security_level = Max(root->qual_security_level,
list_length(rte->securityQuals));
}
/*

View File

@ -324,17 +324,6 @@ build_simple_rel(PlannerInfo *root, int relid, RelOptInfo *parent)
break;
}
/*
* This is a convenient spot at which to note whether rels participating
* in the query have any securityQuals attached. If so, increase
* root->qual_security_level to ensure it's larger than the maximum
* security level needed for securityQuals. (Must do this before we call
* apply_child_basequals, else we'll hit an Assert therein.)
*/
if (rte->securityQuals)
root->qual_security_level = Max(root->qual_security_level,
list_length(rte->securityQuals));
/*
* Copy the parent's quals to the child, with appropriate substitution of
* variables. If any constant false or NULL clauses turn up, we can mark