Re: Avoid lost result of recursion (src/backend/optimizer/util/inherit.c)

 

Thanks for the test!  I looked at this and found that with WCO
constraints we can also hit the buggy code.  Based on David's test case,
I came up with the following in the morning.

CREATE FOREIGN TABLE ft_gc (
a int,
b int,
c int
) SERVER loopback OPTIONS (schema_name 'public', table_name 't_gc');

alter table t_c attach partition ft_gc for values in (1);
alter table t_tlp attach partition t_c for values in (1);

CREATE VIEW rw_view AS SELECT * FROM t_tlp where a < b WITH CHECK OPTION;

explain (verbose, costs off) update rw_view set c = 42;

Currently on HEAD, we can see something wrong in the plan.

                                      QUERY PLAN
--------------------------------------------------------------------------------------
 Update on public.t_tlp
   Foreign Update on public.ft_gc t_tlp_1
     Remote SQL: UPDATE public.t_gc SET b = $2 WHERE ctid = $1 RETURNING a, b
   ->  Foreign Scan on public.ft_gc t_tlp_1
         Output: 42, t_tlp_1.tableoid, t_tlp_1.ctid, t_tlp_1.*
         Remote SQL: SELECT a, b, c, ctid FROM public.t_gc WHERE ((a < b)) FOR UPDATE
(6 rows)

Note that this is wrong: 'UPDATE public.t_gc SET b = $2'.

Thanks
Richard