defaultrel = table_open(defaultPartOid, NoLock);

defPartConstraint =

get_proposed_default_constraint(partBoundConstraint);

/*

* Map the Vars in the constraint expression from rel's attnos to

* defaultrel's.

*/

defPartConstraint =

map_partition_varattnos(defPartConstraint,

1, defaultrel, rel, NULL);

QueuePartitionConstraintValidation(wqueue, defaultrel,

defPartConstraint, true);

:get_qual_for_range(parent,new_spec, false);

get_proposed_default_constraint(new_part_constraints);

map_partition_varattnos(def_part_constraints,1,default_rel,

parent,NULL);

{

Oidpart_relid=lfirst_oid(lc);

Relationpart_rel;

Expr*constr;

Expr*partition_constraint;

EState*estate;

ExprState*partqualstate=NULL;

{

part_rel=table_open(part_relid,NoLock);

partition_constraint=make_ands_explicit(def_part_constraints);

partition_constraint= (Expr*)

map_partition_varattnos((List*)partition_constraint,1,

part_rel,default_rel,NULL);

}

}

{

part_rel=default_rel;

partition_constraint=make_ands_explicit(def_part_constraints);

}

continue;

}

constr=linitial(def_part_constraints);

partition_constraint= (Expr*)

map_partition_varattnos((List*)constr,

1,part_rel,parent,NULL);

estate=CreateExecutorState();

-- default partition

create table defpart_attach_test (a int) partition by list (a);

create table defpart_attach_test1 partition of defpart_attach_test for values in (1);

create table defpart_attach_test_d (like defpart_attach_test);

create table defpart_attach_test_d (b int, a int);

alter table defpart_attach_test_d drop b;

insert into defpart_attach_test_d values (1), (2);

-- error because its constraint as the default partition would be violated

-- by the row containing 1

-- should be attached successfully and without needing to be scanned

alter table defpart_attach_test attach partition defpart_attach_test_d default;

INFO: partition constraint for table "defpart_attach_test_d" is implied by existing constraints

-- check that attaching a partition correctly reports any rows in the default

-- partition that should not be there for the new partition to be attached

-- successfully

create table defpart_attach_test_2 (like defpart_attach_test_d);

alter table defpart_attach_test attach partition defpart_attach_test_2 for values in (2);

ERROR: updated partition constraint for default partition would be violated by some row

drop table defpart_attach_test;

-- check combinations of temporary and permanent relations when attaching

-- partitions.

(1 row)

drop table volatile_partbound_test;

-- test the case where a check constraint on default partition allows

-- to avoid scanning it when adding a new partition

create table defcheck (a int, b int) partition by list (b);

create table defcheck_def (a int, c int, b int);

alter table defcheck_def drop c;

alter table defcheck attach partition defcheck_def default;

alter table defcheck_def add check (b <= 0 and b is not null);

create table defcheck_1 partition of defcheck for values in (1, null);

INFO: updated partition constraint for default partition "defcheck_def" is implied by existing constraints

-- test that complex default partition constraints are enforced correctly

insert into defcheck_def values (0, 0);

create table defcheck_0 partition of defcheck for values in (0);

ERROR: updated partition constraint for default partition "defcheck_def" would be violated by some row

drop table defcheck;

createtabledefpart_attach_test (aint) partition by list (a);

createtabledefpart_attach_test1 partition of defpart_attach_test forvaluesin (1);

createtabledefpart_attach_test_d (like defpart_attach_test);

createtabledefpart_attach_test_d (bint, aint);

altertable defpart_attach_test_d drop b;

insert into defpart_attach_test_dvalues (1), (2);

altertable defpart_attach_test attach partition defpart_attach_test_d default;

createtabledefpart_attach_test_2 (like defpart_attach_test_d);

altertable defpart_attach_test attach partition defpart_attach_test_2 forvaluesin (2);

droptable defpart_attach_test;

insert into volatile_partbound_testvalues (current_timestamp);

select tableoid::regclassfrom volatile_partbound_test;

droptable volatile_partbound_test;

createtabledefcheck (aint, bint) partition by list (b);

createtabledefcheck_def (aint, cint, bint);

altertable defcheck_def drop c;

altertable defcheck attach partition defcheck_def default;

altertable defcheck_def addcheck (b<=0and bis not null);

createtabledefcheck_1 partition of defcheck forvaluesin (1,null);

insert into defcheck_defvalues (0,0);

createtabledefcheck_0 partition of defcheck forvaluesin (0);

droptable defcheck;