# GRANT's lock is the catalog tuple xmax.  GRANT doesn't acquire a heavyweight
# lock on the object undergoing an ACL change.  In-place updates, namely
# datfrozenxid, need special code to cope.

setup
{
 CREATE ROLE regress_temp_grantee;
}

teardown
{
 REVOKE ALL ON DATABASE isolation_regression FROM regress_temp_grantee;
 DROP ROLE regress_temp_grantee;
}

# heap_update(pg_database)
session s1
step b1 { BEGIN; }
step grant1 {
 GRANT TEMP ON DATABASE isolation_regression TO regress_temp_grantee;
}
step c1 { COMMIT; }

# inplace update
session s2
step vac2 { VACUUM (FREEZE); }

# observe datfrozenxid
session s3
setup {
 CREATE TEMP TABLE frozen_witness (x xid);
}
step snap3 {
 INSERT INTO frozen_witness
 SELECT datfrozenxid FROM pg_database WHERE datname = current_catalog;
}
step cmp3 {
 SELECT 'datfrozenxid retreated'
 FROM pg_database
 WHERE datname = current_catalog
  AND age(datfrozenxid) > (SELECT min(age(x)) FROM frozen_witness);
}


permutation snap3 b1 grant1 vac2(c1) snap3 c1 cmp3