fselect->resulttype,

fselect->resulttypmod,

fselect->resultcollid))

return (Node*)makeVar(((Var*)arg)->varno,

fselect->fieldnum,

fselect->resulttype,

fselect->resulttypmod,

fselect->resultcollid,

((Var*)arg)->varlevelsup);

{

Var*newvar;

newvar=makeVar(((Var*)arg)->varno,

fselect->fieldnum,

fselect->resulttype,

fselect->resulttypmod,

fselect->resultcollid,

((Var*)arg)->varlevelsup);

newvar->varnullingrels= ((Var*)arg)->varnullingrels;

return (Node*)newvar;

}

}

if (arg&&IsA(arg,RowExpr))

{

drop function mki8(bigint, bigint);

drop function mki4(int);

-- test const-folding of a whole-row Var into a per-field Var

-- (need to inline a function to reach this case, else parser does it)

create function f_field_select(t onek) returns int4 as

$$ select t.unique2; $$ language sql immutable;

explain (verbose, costs off)

select (t2.*).unique1, f_field_select(t2) from tenk1 t1

left join onek t2 on t1.unique1 = t2.unique1

left join int8_tbl t3 on true;

QUERY PLAN

--------------------------------------------------------------------

Nested Loop Left Join

Output: t2.unique1, t2.unique2

-> Hash Left Join

Output: t2.unique1, t2.unique2

Hash Cond: (t1.unique1 = t2.unique1)

-> Index Only Scan using tenk1_unique1 on public.tenk1 t1

Output: t1.unique1

-> Hash

Output: t2.unique1, t2.unique2

-> Seq Scan on public.onek t2

Output: t2.unique1, t2.unique2

-> Materialize

-> Seq Scan on public.int8_tbl t3

(13 rows)

drop function f_field_select(t onek);

--

-- test extraction of restriction OR clauses from join OR clause

-- (we used to only do this for indexable clauses)

dropfunction mki8(bigint,bigint);

dropfunction mki4(int);

createfunctionf_field_select(t onek) returns int4as

$$selectt.unique2; $$ language sql immutable;

explain (verbose, costs off)

select (t2.*).unique1, f_field_select(t2)from tenk1 t1

left join onek t2ont1.unique1=t2.unique1

left join int8_tbl t3on true;

dropfunction f_field_select(t onek);