• Tom Lane's avatar
    Fix subquery pullup to wrap a PlaceHolderVar around the entire RowExpr · 57c9dff9
    Tom Lane authored
    that's generated for a whole-row Var referencing the subquery, when the
    subquery is in the nullable side of an outer join.  The previous coding
    instead put PlaceHolderVars around the elements of the RowExpr.  The effect
    was that when the outer join made the subquery outputs go to null, the
    whole-row Var produced ROW(NULL,NULL,...) rather than just NULL.  There
    are arguments afoot about whether those things ought to be semantically
    indistinguishable, but for the moment they are not entirely so, and the
    planner needs to take care that its machinations preserve the difference.
    Per bug #5025.
    
    Making this feasible required refactoring ResolveNew() to allow more caller
    control over what is substituted for a Var.  I chose to make ResolveNew()
    a wrapper around a new general-purpose function replace_rte_variables().
    I also fixed the ancient bogosity that ResolveNew might fail to set
    a query's hasSubLinks field after inserting a SubLink in it.  Although
    all current callers make sure that happens anyway, we've had bugs of that
    sort before, and it seemed like a good time to install a proper solution.
    
    Back-patch to 8.4.  The problem can be demonstrated clear back to 8.0,
    but the fix would be too invasive in earlier branches; not to mention
    that people may be depending on the subtly-incorrect behavior.  The
    8.4 series is new enough that fixing this probably won't cause complaints,
    but it might in older branches.  Also, 8.4 shows the incorrect behavior
    in more cases than older branches do, because it is able to flatten
    subqueries in more cases.
    57c9dff9
join.sql 13.6 KB