PostgreSQL Source Code  git master
dependency.c File Reference
#include "postgres.h"
#include "access/htup_details.h"
#include "access/xact.h"
#include "catalog/dependency.h"
#include "catalog/heap.h"
#include "catalog/index.h"
#include "catalog/objectaccess.h"
#include "catalog/pg_am.h"
#include "catalog/pg_amop.h"
#include "catalog/pg_amproc.h"
#include "catalog/pg_attrdef.h"
#include "catalog/pg_authid.h"
#include "catalog/pg_cast.h"
#include "catalog/pg_collation.h"
#include "catalog/pg_collation_fn.h"
#include "catalog/pg_constraint.h"
#include "catalog/pg_constraint_fn.h"
#include "catalog/pg_conversion.h"
#include "catalog/pg_conversion_fn.h"
#include "catalog/pg_database.h"
#include "catalog/pg_default_acl.h"
#include "catalog/pg_depend.h"
#include "catalog/pg_event_trigger.h"
#include "catalog/pg_extension.h"
#include "catalog/pg_foreign_data_wrapper.h"
#include "catalog/pg_foreign_server.h"
#include "catalog/pg_init_privs.h"
#include "catalog/pg_language.h"
#include "catalog/pg_largeobject.h"
#include "catalog/pg_namespace.h"
#include "catalog/pg_opclass.h"
#include "catalog/pg_operator.h"
#include "catalog/pg_opfamily.h"
#include "catalog/pg_policy.h"
#include "catalog/pg_proc.h"
#include "catalog/pg_publication.h"
#include "catalog/pg_publication_rel.h"
#include "catalog/pg_rewrite.h"
#include "catalog/pg_statistic_ext.h"
#include "catalog/pg_subscription.h"
#include "catalog/pg_tablespace.h"
#include "catalog/pg_transform.h"
#include "catalog/pg_trigger.h"
#include "catalog/pg_ts_config.h"
#include "catalog/pg_ts_dict.h"
#include "catalog/pg_ts_parser.h"
#include "catalog/pg_ts_template.h"
#include "catalog/pg_type.h"
#include "catalog/pg_user_mapping.h"
#include "commands/comment.h"
#include "commands/defrem.h"
#include "commands/event_trigger.h"
#include "commands/extension.h"
#include "commands/policy.h"
#include "commands/proclang.h"
#include "commands/publicationcmds.h"
#include "commands/schemacmds.h"
#include "commands/seclabel.h"
#include "commands/sequence.h"
#include "commands/trigger.h"
#include "commands/typecmds.h"
#include "nodes/nodeFuncs.h"
#include "parser/parsetree.h"
#include "rewrite/rewriteRemove.h"
#include "storage/lmgr.h"
#include "utils/fmgroids.h"
#include "utils/guc.h"
#include "utils/lsyscache.h"
#include "utils/syscache.h"
#include "utils/tqual.h"
Include dependency graph for dependency.c:

Go to the source code of this file.

Data Structures

struct  ObjectAddressExtra
 
struct  ObjectAddresses
 
struct  ObjectAddressStack
 
struct  find_expr_references_context
 

Macros

#define DEPFLAG_ORIGINAL   0x0001 /* an original deletion target */
 
#define DEPFLAG_NORMAL   0x0002 /* reached via normal dependency */
 
#define DEPFLAG_AUTO   0x0004 /* reached via auto dependency */
 
#define DEPFLAG_INTERNAL   0x0008 /* reached via internal dependency */
 
#define DEPFLAG_EXTENSION   0x0010 /* reached via extension dependency */
 
#define DEPFLAG_REVERSE   0x0020 /* reverse internal/extension link */
 
#define MAX_REPORTED_DEPS   100
 

Typedefs

typedef struct ObjectAddressStack ObjectAddressStack
 

Functions

static void findDependentObjects (const ObjectAddress *object, int objflags, int flags, ObjectAddressStack *stack, ObjectAddresses *targetObjects, const ObjectAddresses *pendingObjects, Relation *depRel)
 
static void reportDependentObjects (const ObjectAddresses *targetObjects, DropBehavior behavior, int flags, const ObjectAddress *origObject)
 
static void deleteOneObject (const ObjectAddress *object, Relation *depRel, int32 flags)
 
static void doDeletion (const ObjectAddress *object, int flags)
 
static void AcquireDeletionLock (const ObjectAddress *object, int flags)
 
static void ReleaseDeletionLock (const ObjectAddress *object)
 
static bool find_expr_references_walker (Node *node, find_expr_references_context *context)
 
static void eliminate_duplicate_dependencies (ObjectAddresses *addrs)
 
static int object_address_comparator (const void *a, const void *b)
 
static void add_object_address (ObjectClass oclass, Oid objectId, int32 subId, ObjectAddresses *addrs)
 
static void add_exact_object_address_extra (const ObjectAddress *object, const ObjectAddressExtra *extra, ObjectAddresses *addrs)
 
static bool object_address_present_add_flags (const ObjectAddress *object, int flags, ObjectAddresses *addrs)
 
static bool stack_address_present_add_flags (const ObjectAddress *object, int flags, ObjectAddressStack *stack)
 
static void DeleteInitPrivs (const ObjectAddress *object)
 
static void deleteObjectsInList (ObjectAddresses *targetObjects, Relation *depRel, int flags)
 
void performDeletion (const ObjectAddress *object, DropBehavior behavior, int flags)
 
void performMultipleDeletions (const ObjectAddresses *objects, DropBehavior behavior, int flags)
 
static void deleteOneObject (const ObjectAddress *object, Relation *depRel, int flags)
 
void recordDependencyOnExpr (const ObjectAddress *depender, Node *expr, List *rtable, DependencyType behavior)
 
void recordDependencyOnSingleRelExpr (const ObjectAddress *depender, Node *expr, Oid relId, DependencyType behavior, DependencyType self_behavior, bool ignore_self)
 
ObjectAddressesnew_object_addresses (void)
 
void add_exact_object_address (const ObjectAddress *object, ObjectAddresses *addrs)
 
bool object_address_present (const ObjectAddress *object, const ObjectAddresses *addrs)
 
void record_object_address_dependencies (const ObjectAddress *depender, ObjectAddresses *referenced, DependencyType behavior)
 
void free_object_addresses (ObjectAddresses *addrs)
 
ObjectClass getObjectClass (const ObjectAddress *object)
 

Variables

static const Oid object_classes []
 

Macro Definition Documentation

◆ DEPFLAG_AUTO

#define DEPFLAG_AUTO   0x0004 /* reached via auto dependency */

Definition at line 102 of file dependency.c.

Referenced by findDependentObjects(), and reportDependentObjects().

◆ DEPFLAG_EXTENSION

#define DEPFLAG_EXTENSION   0x0010 /* reached via extension dependency */

Definition at line 104 of file dependency.c.

Referenced by findDependentObjects(), and reportDependentObjects().

◆ DEPFLAG_INTERNAL

#define DEPFLAG_INTERNAL   0x0008 /* reached via internal dependency */

Definition at line 103 of file dependency.c.

Referenced by findDependentObjects(), and reportDependentObjects().

◆ DEPFLAG_NORMAL

#define DEPFLAG_NORMAL   0x0002 /* reached via normal dependency */

Definition at line 101 of file dependency.c.

Referenced by deleteObjectsInList(), and findDependentObjects().

◆ DEPFLAG_ORIGINAL

#define DEPFLAG_ORIGINAL   0x0001 /* an original deletion target */

◆ DEPFLAG_REVERSE

#define DEPFLAG_REVERSE   0x0020 /* reverse internal/extension link */

Definition at line 105 of file dependency.c.

Referenced by deleteObjectsInList(), and findDependentObjects().

◆ MAX_REPORTED_DEPS

#define MAX_REPORTED_DEPS   100

Referenced by reportDependentObjects().

Typedef Documentation

◆ ObjectAddressStack

Function Documentation

◆ AcquireDeletionLock()

static void AcquireDeletionLock ( const ObjectAddress object,
int  flags 
)
static

Definition at line 1299 of file dependency.c.

References AccessExclusiveLock, ObjectAddress::classId, LockDatabaseObject(), LockRelationOid(), ObjectAddress::objectId, PERFORM_DELETION_CONCURRENTLY, RelationRelationId, and ShareUpdateExclusiveLock.

Referenced by findDependentObjects(), performDeletion(), and performMultipleDeletions().

1300 {
1301  if (object->classId == RelationRelationId)
1302  {
1303  /*
1304  * In DROP INDEX CONCURRENTLY, take only ShareUpdateExclusiveLock on
1305  * the index for the moment. index_drop() will promote the lock once
1306  * it's safe to do so. In all other cases we need full exclusive
1307  * lock.
1308  */
1309  if (flags & PERFORM_DELETION_CONCURRENTLY)
1311  else
1313  }
1314  else
1315  {
1316  /* assume we should lock the whole object not a sub-object */
1317  LockDatabaseObject(object->classId, object->objectId, 0,
1319  }
1320 }
#define RelationRelationId
Definition: pg_class.h:29
#define PERFORM_DELETION_CONCURRENTLY
Definition: dependency.h:175
void LockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition: lmgr.c:830
#define ShareUpdateExclusiveLock
Definition: lockdefs.h:39
#define AccessExclusiveLock
Definition: lockdefs.h:45
void LockRelationOid(Oid relid, LOCKMODE lockmode)
Definition: lmgr.c:105

◆ add_exact_object_address()

void add_exact_object_address ( const ObjectAddress object,
ObjectAddresses addrs 
)

Definition at line 2160 of file dependency.c.

References Assert, ObjectAddresses::extras, ObjectAddresses::maxrefs, ObjectAddresses::numrefs, ObjectAddressStack::object, ObjectAddresses::refs, and repalloc().

Referenced by AlterConstraintNamespaces(), AlterIndexNamespaces(), AlterRelationNamespaceInternal(), AlterTypeNamespaceInternal(), makeConfigurationDependencies(), recordDependencyOnSingleRelExpr(), RemoveObjects(), RemoveRelations(), and shdepDropOwned().

2162 {
2163  ObjectAddress *item;
2164 
2165  /* enlarge array if needed */
2166  if (addrs->numrefs >= addrs->maxrefs)
2167  {
2168  addrs->maxrefs *= 2;
2169  addrs->refs = (ObjectAddress *)
2170  repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2171  Assert(!addrs->extras);
2172  }
2173  /* record this item */
2174  item = addrs->refs + addrs->numrefs;
2175  *item = *object;
2176  addrs->numrefs++;
2177 }
ObjectAddress * refs
Definition: dependency.c:111
#define Assert(condition)
Definition: c.h:670
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:962
ObjectAddressExtra * extras
Definition: dependency.c:112

◆ add_exact_object_address_extra()

static void add_exact_object_address_extra ( const ObjectAddress object,
const ObjectAddressExtra extra,
ObjectAddresses addrs 
)
static

Definition at line 2185 of file dependency.c.

References ObjectAddresses::extras, ObjectAddresses::maxrefs, ObjectAddresses::numrefs, ObjectAddressStack::object, palloc(), ObjectAddresses::refs, and repalloc().

Referenced by findDependentObjects().

2188 {
2189  ObjectAddress *item;
2190  ObjectAddressExtra *itemextra;
2191 
2192  /* allocate extra space if first time */
2193  if (!addrs->extras)
2194  addrs->extras = (ObjectAddressExtra *)
2195  palloc(addrs->maxrefs * sizeof(ObjectAddressExtra));
2196 
2197  /* enlarge array if needed */
2198  if (addrs->numrefs >= addrs->maxrefs)
2199  {
2200  addrs->maxrefs *= 2;
2201  addrs->refs = (ObjectAddress *)
2202  repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2203  addrs->extras = (ObjectAddressExtra *)
2204  repalloc(addrs->extras, addrs->maxrefs * sizeof(ObjectAddressExtra));
2205  }
2206  /* record this item */
2207  item = addrs->refs + addrs->numrefs;
2208  *item = *object;
2209  itemextra = addrs->extras + addrs->numrefs;
2210  *itemextra = *extra;
2211  addrs->numrefs++;
2212 }
ObjectAddress * refs
Definition: dependency.c:111
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:962
ObjectAddressExtra * extras
Definition: dependency.c:112
void * palloc(Size size)
Definition: mcxt.c:848

◆ add_object_address()

static void add_object_address ( ObjectClass  oclass,
Oid  objectId,
int32  subId,
ObjectAddresses addrs 
)
static

Definition at line 2127 of file dependency.c.

References Assert, ObjectAddress::classId, ObjectAddresses::extras, LAST_OCLASS, lengthof, ObjectAddresses::maxrefs, ObjectAddresses::numrefs, object_classes, ObjectAddress::objectId, ObjectAddress::objectSubId, ObjectAddresses::refs, repalloc(), and StaticAssertStmt.

Referenced by find_expr_references_walker().

2129 {
2130  ObjectAddress *item;
2131 
2132  /*
2133  * Make sure object_classes is kept up to date with the ObjectClass enum.
2134  */
2136  "object_classes[] must cover all ObjectClasses");
2137 
2138  /* enlarge array if needed */
2139  if (addrs->numrefs >= addrs->maxrefs)
2140  {
2141  addrs->maxrefs *= 2;
2142  addrs->refs = (ObjectAddress *)
2143  repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2144  Assert(!addrs->extras);
2145  }
2146  /* record this item */
2147  item = addrs->refs + addrs->numrefs;
2148  item->classId = object_classes[oclass];
2149  item->objectId = objectId;
2150  item->objectSubId = subId;
2151  addrs->numrefs++;
2152 }
#define LAST_OCLASS
Definition: dependency.h:171
#define lengthof(array)
Definition: c.h:600
#define StaticAssertStmt(condition, errmessage)
Definition: c.h:753
static const Oid object_classes[]
Definition: dependency.c:138
ObjectAddress * refs
Definition: dependency.c:111
#define Assert(condition)
Definition: c.h:670
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:962
ObjectAddressExtra * extras
Definition: dependency.c:112

◆ DeleteInitPrivs()

static void DeleteInitPrivs ( const ObjectAddress object)
static

Definition at line 2526 of file dependency.c.

References Anum_pg_init_privs_classoid, Anum_pg_init_privs_objoid, Anum_pg_init_privs_objsubid, BTEqualStrategyNumber, CatalogTupleDelete(), ObjectAddress::classId, heap_close, heap_open(), HeapTupleIsValid, InitPrivsObjIndexId, InitPrivsRelationId, Int32GetDatum, ObjectAddress::objectId, ObjectIdGetDatum, ObjectAddress::objectSubId, RowExclusiveLock, ScanKeyInit(), systable_beginscan(), systable_endscan(), systable_getnext(), and HeapTupleData::t_self.

Referenced by deleteOneObject().

2527 {
2528  Relation relation;
2529  ScanKeyData key[3];
2530  SysScanDesc scan;
2531  HeapTuple oldtuple;
2532 
2534 
2535  ScanKeyInit(&key[0],
2537  BTEqualStrategyNumber, F_OIDEQ,
2538  ObjectIdGetDatum(object->objectId));
2539  ScanKeyInit(&key[1],
2541  BTEqualStrategyNumber, F_OIDEQ,
2542  ObjectIdGetDatum(object->classId));
2543  ScanKeyInit(&key[2],
2545  BTEqualStrategyNumber, F_INT4EQ,
2546  Int32GetDatum(object->objectSubId));
2547 
2548  scan = systable_beginscan(relation, InitPrivsObjIndexId, true,
2549  NULL, 3, key);
2550 
2551  while (HeapTupleIsValid(oldtuple = systable_getnext(scan)))
2552  CatalogTupleDelete(relation, &oldtuple->t_self);
2553 
2554  systable_endscan(scan);
2555 
2556  heap_close(relation, RowExclusiveLock);
2557 }
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:499
#define Anum_pg_init_privs_classoid
Definition: pg_init_privs.h:69
void CatalogTupleDelete(Relation heapRel, ItemPointer tid)
Definition: indexing.c:255
#define heap_close(r, l)
Definition: heapam.h:97
#define InitPrivsObjIndexId
Definition: indexing.h:172
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:328
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:416
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
ItemPointerData t_self
Definition: htup.h:65
#define InitPrivsRelationId
Definition: pg_init_privs.h:42
#define Anum_pg_init_privs_objoid
Definition: pg_init_privs.h:68
#define RowExclusiveLock
Definition: lockdefs.h:38
Relation heap_open(Oid relationId, LOCKMODE lockmode)
Definition: heapam.c:1290
#define Anum_pg_init_privs_objsubid
Definition: pg_init_privs.h:70
#define HeapTupleIsValid(tuple)
Definition: htup.h:77
#define Int32GetDatum(X)
Definition: postgres.h:485
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition: scankey.c:76
#define BTEqualStrategyNumber
Definition: stratnum.h:31

◆ deleteObjectsInList()

static void deleteObjectsInList ( ObjectAddresses targetObjects,
Relation depRel,
int  flags 
)
static

Definition at line 219 of file dependency.c.

References deleteOneObject(), DEPFLAG_NORMAL, DEPFLAG_ORIGINAL, DEPFLAG_REVERSE, EventTriggerSQLDropAddObject(), EventTriggerSupportsObjectClass(), ObjectAddresses::extras, ObjectAddressExtra::flags, getObjectClass(), i, ObjectAddresses::numrefs, PERFORM_DELETION_INTERNAL, PERFORM_DELETION_SKIP_ORIGINAL, ObjectAddresses::refs, and trackDroppedObjectsNeeded().

Referenced by performDeletion(), and performMultipleDeletions().

221 {
222  int i;
223 
224  /*
225  * Keep track of objects for event triggers, if necessary.
226  */
228  {
229  for (i = 0; i < targetObjects->numrefs; i++)
230  {
231  const ObjectAddress *thisobj = &targetObjects->refs[i];
232  const ObjectAddressExtra *extra = &targetObjects->extras[i];
233  bool original = false;
234  bool normal = false;
235 
236  if (extra->flags & DEPFLAG_ORIGINAL)
237  original = true;
238  if (extra->flags & DEPFLAG_NORMAL)
239  normal = true;
240  if (extra->flags & DEPFLAG_REVERSE)
241  normal = true;
242 
244  {
245  EventTriggerSQLDropAddObject(thisobj, original, normal);
246  }
247  }
248  }
249 
250  /*
251  * Delete all the objects in the proper order, except that if told to, we
252  * should skip the original object(s).
253  */
254  for (i = 0; i < targetObjects->numrefs; i++)
255  {
256  ObjectAddress *thisobj = targetObjects->refs + i;
257  ObjectAddressExtra *thisextra = targetObjects->extras + i;
258 
259  if ((flags & PERFORM_DELETION_SKIP_ORIGINAL) &&
260  (thisextra->flags & DEPFLAG_ORIGINAL))
261  continue;
262 
263  deleteOneObject(thisobj, depRel, flags);
264  }
265 }
static void deleteOneObject(const ObjectAddress *object, Relation *depRel, int32 flags)
bool trackDroppedObjectsNeeded(void)
#define PERFORM_DELETION_SKIP_ORIGINAL
Definition: dependency.h:177
#define DEPFLAG_REVERSE
Definition: dependency.c:105
ObjectClass getObjectClass(const ObjectAddress *object)
Definition: dependency.c:2391
#define DEPFLAG_ORIGINAL
Definition: dependency.c:100
ObjectAddress * refs
Definition: dependency.c:111
bool EventTriggerSupportsObjectClass(ObjectClass objclass)
void EventTriggerSQLDropAddObject(const ObjectAddress *object, bool original, bool normal)
ObjectAddressExtra * extras
Definition: dependency.c:112
#define DEPFLAG_NORMAL
Definition: dependency.c:101
int i
#define PERFORM_DELETION_INTERNAL
Definition: dependency.h:174

◆ deleteOneObject() [1/2]

static void deleteOneObject ( const ObjectAddress object,
Relation depRel,
int32  flags 
)
static

Referenced by deleteObjectsInList().

◆ deleteOneObject() [2/2]

static void deleteOneObject ( const ObjectAddress object,
Relation depRel,
int  flags 
)
static

Definition at line 1000 of file dependency.c.

References Anum_pg_depend_classid, Anum_pg_depend_objid, Anum_pg_depend_objsubid, BTEqualStrategyNumber, CatalogTupleDelete(), ObjectAddress::classId, CommandCounterIncrement(), DeleteComments(), DeleteInitPrivs(), DeleteSecurityLabel(), deleteSharedDependencyRecordsFor(), DependDependerIndexId, DependRelationId, doDeletion(), heap_close, heap_open(), HeapTupleIsValid, Int32GetDatum, InvokeObjectDropHookArg, ObjectAddress::objectId, ObjectIdGetDatum, ObjectAddress::objectSubId, PERFORM_DELETION_CONCURRENTLY, RowExclusiveLock, ScanKeyInit(), systable_beginscan(), systable_endscan(), systable_getnext(), and HeapTupleData::t_self.

1001 {
1002  ScanKeyData key[3];
1003  int nkeys;
1004  SysScanDesc scan;
1005  HeapTuple tup;
1006 
1007  /* DROP hook of the objects being removed */
1008  InvokeObjectDropHookArg(object->classId, object->objectId,
1009  object->objectSubId, flags);
1010 
1011  /*
1012  * Close depRel if we are doing a drop concurrently. The object deletion
1013  * subroutine will commit the current transaction, so we can't keep the
1014  * relation open across doDeletion().
1015  */
1016  if (flags & PERFORM_DELETION_CONCURRENTLY)
1017  heap_close(*depRel, RowExclusiveLock);
1018 
1019  /*
1020  * Delete the object itself, in an object-type-dependent way.
1021  *
1022  * We used to do this after removing the outgoing dependency links, but it
1023  * seems just as reasonable to do it beforehand. In the concurrent case
1024  * we *must* do it in this order, because we can't make any transactional
1025  * updates before calling doDeletion() --- they'd get committed right
1026  * away, which is not cool if the deletion then fails.
1027  */
1028  doDeletion(object, flags);
1029 
1030  /*
1031  * Reopen depRel if we closed it above
1032  */
1033  if (flags & PERFORM_DELETION_CONCURRENTLY)
1035 
1036  /*
1037  * Now remove any pg_depend records that link from this object to others.
1038  * (Any records linking to this object should be gone already.)
1039  *
1040  * When dropping a whole object (subId = 0), remove all pg_depend records
1041  * for its sub-objects too.
1042  */
1043  ScanKeyInit(&key[0],
1045  BTEqualStrategyNumber, F_OIDEQ,
1046  ObjectIdGetDatum(object->classId));
1047  ScanKeyInit(&key[1],
1049  BTEqualStrategyNumber, F_OIDEQ,
1050  ObjectIdGetDatum(object->objectId));
1051  if (object->objectSubId != 0)
1052  {
1053  ScanKeyInit(&key[2],
1055  BTEqualStrategyNumber, F_INT4EQ,
1056  Int32GetDatum(object->objectSubId));
1057  nkeys = 3;
1058  }
1059  else
1060  nkeys = 2;
1061 
1062  scan = systable_beginscan(*depRel, DependDependerIndexId, true,
1063  NULL, nkeys, key);
1064 
1065  while (HeapTupleIsValid(tup = systable_getnext(scan)))
1066  {
1067  CatalogTupleDelete(*depRel, &tup->t_self);
1068  }
1069 
1070  systable_endscan(scan);
1071 
1072  /*
1073  * Delete shared dependency references related to this object. Again, if
1074  * subId = 0, remove records for sub-objects too.
1075  */
1077  object->objectSubId);
1078 
1079 
1080  /*
1081  * Delete any comments, security labels, or initial privileges associated
1082  * with this object. (This is a convenient place to do these things,
1083  * rather than having every object type know to do it.)
1084  */
1085  DeleteComments(object->objectId, object->classId, object->objectSubId);
1086  DeleteSecurityLabel(object);
1087  DeleteInitPrivs(object);
1088 
1089  /*
1090  * CommandCounterIncrement here to ensure that preceding changes are all
1091  * visible to the next deletion step.
1092  */
1094 
1095  /*
1096  * And we're done!
1097  */
1098 }
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:499
#define DependDependerIndexId
Definition: indexing.h:145
#define DependRelationId
Definition: pg_depend.h:29
void DeleteSecurityLabel(const ObjectAddress *object)
Definition: seclabel.c:446
void CatalogTupleDelete(Relation heapRel, ItemPointer tid)
Definition: indexing.c:255
#define heap_close(r, l)
Definition: heapam.h:97
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:328
#define Anum_pg_depend_objsubid
Definition: pg_depend.h:70
#define PERFORM_DELETION_CONCURRENTLY
Definition: dependency.h:175
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:416
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
ItemPointerData t_self
Definition: htup.h:65
#define RowExclusiveLock
Definition: lockdefs.h:38
void deleteSharedDependencyRecordsFor(Oid classId, Oid objectId, int32 objectSubId)
Definition: pg_shdepend.c:823
void CommandCounterIncrement(void)
Definition: xact.c:915
void DeleteComments(Oid oid, Oid classoid, int32 subid)
Definition: comment.c:325
Relation heap_open(Oid relationId, LOCKMODE lockmode)
Definition: heapam.c:1290
#define HeapTupleIsValid(tuple)
Definition: htup.h:77
static void doDeletion(const ObjectAddress *object, int flags)
Definition: dependency.c:1104
#define Int32GetDatum(X)
Definition: postgres.h:485
static void DeleteInitPrivs(const ObjectAddress *object)
Definition: dependency.c:2526
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition: scankey.c:76
#define Anum_pg_depend_classid
Definition: pg_depend.h:68
#define Anum_pg_depend_objid
Definition: pg_depend.h:69
#define InvokeObjectDropHookArg(classId, objectId, subId, dropflags)
Definition: objectaccess.h:156
#define BTEqualStrategyNumber
Definition: stratnum.h:31

◆ doDeletion()

static void doDeletion ( const ObjectAddress object,
int  flags 
)
static

Definition at line 1104 of file dependency.c.

References Assert, DeleteSequenceTuple(), DropCastById(), DropProceduralLanguageById(), DropTransformById(), elog, ERROR, get_rel_relkind(), getObjectClass(), heap_drop_with_catalog(), index_drop(), LargeObjectDrop(), ObjectAddress::objectId, ObjectAddress::objectSubId, OCLASS_AM, OCLASS_AMOP, OCLASS_AMPROC, OCLASS_CAST, OCLASS_CLASS, OCLASS_COLLATION, OCLASS_CONSTRAINT, OCLASS_CONVERSION, OCLASS_DATABASE, OCLASS_DEFACL, OCLASS_DEFAULT, OCLASS_EVENT_TRIGGER, OCLASS_EXTENSION, OCLASS_FDW, OCLASS_FOREIGN_SERVER, OCLASS_LANGUAGE, OCLASS_LARGEOBJECT, OCLASS_OPCLASS, OCLASS_OPERATOR, OCLASS_OPFAMILY, OCLASS_POLICY, OCLASS_PROC, OCLASS_PUBLICATION, OCLASS_PUBLICATION_REL, OCLASS_REWRITE, OCLASS_ROLE, OCLASS_SCHEMA, OCLASS_STATISTIC_EXT, OCLASS_SUBSCRIPTION, OCLASS_TBLSPACE, OCLASS_TRANSFORM, OCLASS_TRIGGER, OCLASS_TSCONFIG, OCLASS_TSDICT, OCLASS_TSPARSER, OCLASS_TSTEMPLATE, OCLASS_TYPE, OCLASS_USER_MAPPING, PERFORM_DELETION_CONCURRENTLY, RELKIND_INDEX, RELKIND_SEQUENCE, RemoveAccessMethodById(), RemoveAmOpEntryById(), RemoveAmProcEntryById(), RemoveAttrDefaultById(), RemoveAttributeById(), RemoveCollationById(), RemoveConstraintById(), RemoveConversionById(), RemoveDefaultACLById(), RemoveEventTriggerById(), RemoveExtensionById(), RemoveForeignDataWrapperById(), RemoveForeignServerById(), RemoveFunctionById(), RemoveOpClassById(), RemoveOperatorById(), RemoveOpFamilyById(), RemovePolicyById(), RemovePublicationById(), RemovePublicationRelById(), RemoveRewriteRuleById(), RemoveSchemaById(), RemoveStatisticsById(), RemoveTriggerById(), RemoveTSConfigurationById(), RemoveTSDictionaryById(), RemoveTSParserById(), RemoveTSTemplateById(), RemoveTypeById(), and RemoveUserMappingById().

Referenced by deleteOneObject().

1105 {
1106  switch (getObjectClass(object))
1107  {
1108  case OCLASS_CLASS:
1109  {
1110  char relKind = get_rel_relkind(object->objectId);
1111 
1112  if (relKind == RELKIND_INDEX)
1113  {
1114  bool concurrent = ((flags & PERFORM_DELETION_CONCURRENTLY) != 0);
1115 
1116  Assert(object->objectSubId == 0);
1117  index_drop(object->objectId, concurrent);
1118  }
1119  else
1120  {
1121  if (object->objectSubId != 0)
1122  RemoveAttributeById(object->objectId,
1123  object->objectSubId);
1124  else
1126  }
1127 
1128  /*
1129  * for a sequence, in addition to dropping the heap, also
1130  * delete pg_sequence tuple
1131  */
1132  if (relKind == RELKIND_SEQUENCE)
1133  DeleteSequenceTuple(object->objectId);
1134  break;
1135  }
1136 
1137  case OCLASS_PROC:
1138  RemoveFunctionById(object->objectId);
1139  break;
1140 
1141  case OCLASS_TYPE:
1142  RemoveTypeById(object->objectId);
1143  break;
1144 
1145  case OCLASS_CAST:
1146  DropCastById(object->objectId);
1147  break;
1148 
1149  case OCLASS_COLLATION:
1150  RemoveCollationById(object->objectId);
1151  break;
1152 
1153  case OCLASS_CONSTRAINT:
1154  RemoveConstraintById(object->objectId);
1155  break;
1156 
1157  case OCLASS_CONVERSION:
1158  RemoveConversionById(object->objectId);
1159  break;
1160 
1161  case OCLASS_DEFAULT:
1163  break;
1164 
1165  case OCLASS_LANGUAGE:
1167  break;
1168 
1169  case OCLASS_LARGEOBJECT:
1170  LargeObjectDrop(object->objectId);
1171  break;
1172 
1173  case OCLASS_OPERATOR:
1174  RemoveOperatorById(object->objectId);
1175  break;
1176 
1177  case OCLASS_OPCLASS:
1178  RemoveOpClassById(object->objectId);
1179  break;
1180 
1181  case OCLASS_OPFAMILY:
1182  RemoveOpFamilyById(object->objectId);
1183  break;
1184 
1185  case OCLASS_AM:
1187  break;
1188 
1189  case OCLASS_AMOP:
1190  RemoveAmOpEntryById(object->objectId);
1191  break;
1192 
1193  case OCLASS_AMPROC:
1195  break;
1196 
1197  case OCLASS_REWRITE:
1199  break;
1200 
1201  case OCLASS_TRIGGER:
1202  RemoveTriggerById(object->objectId);
1203  break;
1204 
1205  case OCLASS_SCHEMA:
1206  RemoveSchemaById(object->objectId);
1207  break;
1208 
1209  case OCLASS_STATISTIC_EXT:
1210  RemoveStatisticsById(object->objectId);
1211  break;
1212 
1213  case OCLASS_TSPARSER:
1214  RemoveTSParserById(object->objectId);
1215  break;
1216 
1217  case OCLASS_TSDICT:
1219  break;
1220 
1221  case OCLASS_TSTEMPLATE:
1222  RemoveTSTemplateById(object->objectId);
1223  break;
1224 
1225  case OCLASS_TSCONFIG:
1227  break;
1228 
1229  /*
1230  * OCLASS_ROLE, OCLASS_DATABASE, OCLASS_TBLSPACE intentionally not
1231  * handled here
1232  */
1233 
1234  case OCLASS_FDW:
1236  break;
1237 
1238  case OCLASS_FOREIGN_SERVER:
1240  break;
1241 
1242  case OCLASS_USER_MAPPING:
1244  break;
1245 
1246  case OCLASS_DEFACL:
1247  RemoveDefaultACLById(object->objectId);
1248  break;
1249 
1250  case OCLASS_EXTENSION:
1251  RemoveExtensionById(object->objectId);
1252  break;
1253 
1254  case OCLASS_EVENT_TRIGGER:
1256  break;
1257 
1258  case OCLASS_POLICY:
1259  RemovePolicyById(object->objectId);
1260  break;
1261 
1262  case OCLASS_PUBLICATION:
1264  break;
1265 
1268  break;
1269 
1270  case OCLASS_TRANSFORM:
1271  DropTransformById(object->objectId);
1272  break;
1273 
1274  /*
1275  * These global object types are not supported here.
1276  */
1277  case OCLASS_ROLE:
1278  case OCLASS_DATABASE:
1279  case OCLASS_TBLSPACE:
1280  case OCLASS_SUBSCRIPTION:
1281  elog(ERROR, "global objects cannot be deleted by doDeletion");
1282  break;
1283 
1284  /*
1285  * There's intentionally no default: case here; we want the
1286  * compiler to warn if a new OCLASS hasn't been handled above.
1287  */
1288  }
1289 }
void RemoveTriggerById(Oid trigOid)
Definition: trigger.c:1275
void RemoveStatisticsById(Oid statsOid)
Definition: statscmds.c:351
void RemoveOpClassById(Oid opclassOid)
Definition: opclasscmds.c:1582
void DropTransformById(Oid transformOid)
void RemoveExtensionById(Oid extId)
Definition: extension.c:1826
void DropProceduralLanguageById(Oid langOid)
Definition: proclang.c:528
char get_rel_relkind(Oid relid)
Definition: lsyscache.c:1801
void RemoveForeignDataWrapperById(Oid fdwId)
Definition: foreigncmds.c:837
void RemoveSchemaById(Oid schemaOid)
Definition: schemacmds.c:218
void index_drop(Oid indexId, bool concurrent)
Definition: index.c:1350
void RemovePublicationById(Oid pubid)
void RemovePublicationRelById(Oid proid)
void RemoveAmProcEntryById(Oid entryOid)
Definition: opclasscmds.c:1630
void RemoveTypeById(Oid typeOid)
Definition: typecmds.c:689
ObjectClass getObjectClass(const ObjectAddress *object)
Definition: dependency.c:2391
void RemoveCollationById(Oid collationOid)
Definition: pg_collation.c:211
void RemoveUserMappingById(Oid umId)
Definition: foreigncmds.c:1422
void RemoveConversionById(Oid conversionOid)
void RemoveAccessMethodById(Oid amOid)
Definition: amcmds.c:115
void RemoveOperatorById(Oid operOid)
Definition: operatorcmds.c:340
#define PERFORM_DELETION_CONCURRENTLY
Definition: dependency.h:175
void RemoveDefaultACLById(Oid defaclOid)
Definition: aclchk.c:1468
#define ERROR
Definition: elog.h:43
void RemoveTSConfigurationById(Oid cfgId)
Definition: tsearchcmds.c:1125
void RemoveOpFamilyById(Oid opfamilyOid)
Definition: opclasscmds.c:1563
void RemovePolicyById(Oid policy_id)
Definition: policy.c:350
void RemoveTSParserById(Oid prsId)
Definition: tsearchcmds.c:292
void RemoveAttributeById(Oid relid, AttrNumber attnum)
Definition: heap.c:1543
void RemoveTSTemplateById(Oid tmplId)
Definition: tsearchcmds.c:821
void DeleteSequenceTuple(Oid relid)
Definition: sequence.c:516
void RemoveEventTriggerById(Oid trigOid)
void RemoveAttrDefaultById(Oid attrdefId)
Definition: heap.c:1685
void LargeObjectDrop(Oid loid)
void RemoveAmOpEntryById(Oid entryOid)
Definition: opclasscmds.c:1601
void RemoveForeignServerById(Oid srvId)
Definition: foreigncmds.c:1084
#define Assert(condition)
Definition: c.h:670
void RemoveFunctionById(Oid funcOid)
void RemoveRewriteRuleById(Oid ruleOid)
Definition: rewriteRemove.c:38
#define RELKIND_INDEX
Definition: pg_class.h:161
void DropCastById(Oid castOid)
#define elog
Definition: elog.h:219
void heap_drop_with_catalog(Oid relid)
Definition: heap.c:1758
#define RELKIND_SEQUENCE
Definition: pg_class.h:162
void RemoveConstraintById(Oid conId)
void RemoveTSDictionaryById(Oid dictId)
Definition: tsearchcmds.c:501

◆ eliminate_duplicate_dependencies()

static void eliminate_duplicate_dependencies ( ObjectAddresses addrs)
static

Definition at line 2014 of file dependency.c.

References Assert, ObjectAddress::classId, ObjectAddresses::extras, ObjectAddresses::numrefs, object_address_comparator(), ObjectAddress::objectId, ObjectAddress::objectSubId, qsort, and ObjectAddresses::refs.

Referenced by record_object_address_dependencies(), recordDependencyOnExpr(), and recordDependencyOnSingleRelExpr().

2015 {
2016  ObjectAddress *priorobj;
2017  int oldref,
2018  newrefs;
2019 
2020  /*
2021  * We can't sort if the array has "extra" data, because there's no way to
2022  * keep it in sync. Fortunately that combination of features is not
2023  * needed.
2024  */
2025  Assert(!addrs->extras);
2026 
2027  if (addrs->numrefs <= 1)
2028  return; /* nothing to do */
2029 
2030  /* Sort the refs so that duplicates are adjacent */
2031  qsort((void *) addrs->refs, addrs->numrefs, sizeof(ObjectAddress),
2033 
2034  /* Remove dups */
2035  priorobj = addrs->refs;
2036  newrefs = 1;
2037  for (oldref = 1; oldref < addrs->numrefs; oldref++)
2038  {
2039  ObjectAddress *thisobj = addrs->refs + oldref;
2040 
2041  if (priorobj->classId == thisobj->classId &&
2042  priorobj->objectId == thisobj->objectId)
2043  {
2044  if (priorobj->objectSubId == thisobj->objectSubId)
2045  continue; /* identical, so drop thisobj */
2046 
2047  /*
2048  * If we have a whole-object reference and a reference to a part
2049  * of the same object, we don't need the whole-object reference
2050  * (for example, we don't need to reference both table foo and
2051  * column foo.bar). The whole-object reference will always appear
2052  * first in the sorted list.
2053  */
2054  if (priorobj->objectSubId == 0)
2055  {
2056  /* replace whole ref with partial */
2057  priorobj->objectSubId = thisobj->objectSubId;
2058  continue;
2059  }
2060  }
2061  /* Not identical, so add thisobj to output set */
2062  priorobj++;
2063  *priorobj = *thisobj;
2064  newrefs++;
2065  }
2066 
2067  addrs->numrefs = newrefs;
2068 }
static int object_address_comparator(const void *a, const void *b)
Definition: dependency.c:2074
ObjectAddress * refs
Definition: dependency.c:111
#define Assert(condition)
Definition: c.h:670
ObjectAddressExtra * extras
Definition: dependency.c:112
#define qsort(a, b, c, d)
Definition: port.h:408

◆ find_expr_references_walker()

static bool find_expr_references_walker ( Node node,
find_expr_references_context context 
)
static

Definition at line 1487 of file dependency.c.

References add_object_address(), find_expr_references_context::addrs, Aggref::aggfnoid, FieldSelect::arg, CMD_INSERT, CMD_UPDATE, CollateExpr::collOid, Query::commandType, Const::constcollid, Const::constisnull, OnConflictExpr::constraint, Query::constraintDeps, Const::consttype, Const::constvalue, DatumGetObjectId, DEFAULT_COLLATION_OID, Query::distinctClause, elog, SortGroupClause::eqop, ereport, errcode(), errmsg(), ERROR, expression_tree_walker(), exprType(), FieldSelect::fieldnum, FieldStore::fieldnums, RangeTblFunction::funccolcollations, RangeTblFunction::funccoltypes, FuncExpr::funcid, get_typ_typrelid(), getBaseType(), Query::groupClause, SetOperationStmt::groupClauses, InvalidAttrNumber, IsA, RangeTblEntry::joinaliasvars, lcons(), lfirst, lfirst_int, lfirst_oid, list_copy_tail(), list_delete_first(), list_free(), list_length(), list_nth(), NAMESPACEOID, ObjectIdGetDatum, OCLASS_CLASS, OCLASS_COLLATION, OCLASS_CONSTRAINT, OCLASS_OPERATOR, OCLASS_OPFAMILY, OCLASS_PROC, OCLASS_SCHEMA, OCLASS_TSCONFIG, OCLASS_TSDICT, OCLASS_TYPE, OidIsValid, OPEROID, RowCompareExpr::opfamilies, OpExpr::opno, ScalarArrayOpExpr::opno, RowCompareExpr::opnos, Param::paramcollid, Param::paramtype, PROCOID, QTW_IGNORE_JOINALIASES, query_tree_walker(), REGCLASSOID, REGCONFIGOID, REGDICTIONARYOID, REGNAMESPACEOID, REGOPERATOROID, REGOPEROID, REGPROCEDUREOID, REGPROCOID, REGROLEOID, REGTYPEOID, RangeTblEntry::relid, RELOID, TargetEntry::resjunk, TargetEntry::resno, FieldSelect::resultcollid, RelabelType::resultcollid, CoerceViaIO::resultcollid, ArrayCoerceExpr::resultcollid, Query::resultRelation, FieldSelect::resulttype, FieldStore::resulttype, RelabelType::resulttype, CoerceViaIO::resulttype, ArrayCoerceExpr::resulttype, ConvertRowtypeExpr::resulttype, CoerceToDomain::resulttype, RowExpr::row_typeid, rt_fetch, Query::rtable, find_expr_references_context::rtables, RTE_JOIN, RTE_RELATION, RangeTblEntry::rtekind, SearchSysCacheExists1, NextValueExpr::seqid, Query::sortClause, SortGroupClause::sortop, Query::targetList, TSCONFIGOID, TSDICTOID, TableSampleClause::tsmhandler, TYPEOID, Var::varattno, Var::varlevelsup, Var::varno, Query::windowClause, and WindowFunc::winfnoid.

Referenced by recordDependencyOnExpr(), and recordDependencyOnSingleRelExpr().

1489 {
1490  if (node == NULL)
1491  return false;
1492  if (IsA(node, Var))
1493  {
1494  Var *var = (Var *) node;
1495  List *rtable;
1496  RangeTblEntry *rte;
1497 
1498  /* Find matching rtable entry, or complain if not found */
1499  if (var->varlevelsup >= list_length(context->rtables))
1500  elog(ERROR, "invalid varlevelsup %d", var->varlevelsup);
1501  rtable = (List *) list_nth(context->rtables, var->varlevelsup);
1502  if (var->varno <= 0 || var->varno > list_length(rtable))
1503  elog(ERROR, "invalid varno %d", var->varno);
1504  rte = rt_fetch(var->varno, rtable);
1505 
1506  /*
1507  * A whole-row Var references no specific columns, so adds no new
1508  * dependency. (We assume that there is a whole-table dependency
1509  * arising from each underlying rangetable entry. While we could
1510  * record such a dependency when finding a whole-row Var that
1511  * references a relation directly, it's quite unclear how to extend
1512  * that to whole-row Vars for JOINs, so it seems better to leave the
1513  * responsibility with the range table. Note that this poses some
1514  * risks for identifying dependencies of stand-alone expressions:
1515  * whole-table references may need to be created separately.)
1516  */
1517  if (var->varattno == InvalidAttrNumber)
1518  return false;
1519  if (rte->rtekind == RTE_RELATION)
1520  {
1521  /* If it's a plain relation, reference this column */
1523  context->addrs);
1524  }
1525  else if (rte->rtekind == RTE_JOIN)
1526  {
1527  /* Scan join output column to add references to join inputs */
1528  List *save_rtables;
1529 
1530  /* We must make the context appropriate for join's level */
1531  save_rtables = context->rtables;
1532  context->rtables = list_copy_tail(context->rtables,
1533  var->varlevelsup);
1534  if (var->varattno <= 0 ||
1535  var->varattno > list_length(rte->joinaliasvars))
1536  elog(ERROR, "invalid varattno %d", var->varattno);
1538  var->varattno - 1),
1539  context);
1540  list_free(context->rtables);
1541  context->rtables = save_rtables;
1542  }
1543  return false;
1544  }
1545  else if (IsA(node, Const))
1546  {
1547  Const *con = (Const *) node;
1548  Oid objoid;
1549 
1550  /* A constant must depend on the constant's datatype */
1552  context->addrs);
1553 
1554  /*
1555  * We must also depend on the constant's collation: it could be
1556  * different from the datatype's, if a CollateExpr was const-folded to
1557  * a simple constant. However we can save work in the most common
1558  * case where the collation is "default", since we know that's pinned.
1559  */
1560  if (OidIsValid(con->constcollid) &&
1563  context->addrs);
1564 
1565  /*
1566  * If it's a regclass or similar literal referring to an existing
1567  * object, add a reference to that object. (Currently, only the
1568  * regclass and regconfig cases have any likely use, but we may as
1569  * well handle all the OID-alias datatypes consistently.)
1570  */
1571  if (!con->constisnull)
1572  {
1573  switch (con->consttype)
1574  {
1575  case REGPROCOID:
1576  case REGPROCEDUREOID:
1577  objoid = DatumGetObjectId(con->constvalue);
1579  ObjectIdGetDatum(objoid)))
1580  add_object_address(OCLASS_PROC, objoid, 0,
1581  context->addrs);
1582  break;
1583  case REGOPEROID:
1584  case REGOPERATOROID:
1585  objoid = DatumGetObjectId(con->constvalue);
1587  ObjectIdGetDatum(objoid)))
1589  context->addrs);
1590  break;
1591  case REGCLASSOID:
1592  objoid = DatumGetObjectId(con->constvalue);
1594  ObjectIdGetDatum(objoid)))
1595  add_object_address(OCLASS_CLASS, objoid, 0,
1596  context->addrs);
1597  break;
1598  case REGTYPEOID:
1599  objoid = DatumGetObjectId(con->constvalue);
1601  ObjectIdGetDatum(objoid)))
1602  add_object_address(OCLASS_TYPE, objoid, 0,
1603  context->addrs);
1604  break;
1605  case REGCONFIGOID:
1606  objoid = DatumGetObjectId(con->constvalue);
1608  ObjectIdGetDatum(objoid)))
1610  context->addrs);
1611  break;
1612  case REGDICTIONARYOID:
1613  objoid = DatumGetObjectId(con->constvalue);
1615  ObjectIdGetDatum(objoid)))
1616  add_object_address(OCLASS_TSDICT, objoid, 0,
1617  context->addrs);
1618  break;
1619 
1620  case REGNAMESPACEOID:
1621  objoid = DatumGetObjectId(con->constvalue);
1623  ObjectIdGetDatum(objoid)))
1624  add_object_address(OCLASS_SCHEMA, objoid, 0,
1625  context->addrs);
1626  break;
1627 
1628  /*
1629  * Dependencies for regrole should be shared among all
1630  * databases, so explicitly inhibit to have dependencies.
1631  */
1632  case REGROLEOID:
1633  ereport(ERROR,
1634  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
1635  errmsg("constant of the type %s cannot be used here",
1636  "regrole")));
1637  break;
1638  }
1639  }
1640  return false;
1641  }
1642  else if (IsA(node, Param))
1643  {
1644  Param *param = (Param *) node;
1645 
1646  /* A parameter must depend on the parameter's datatype */
1648  context->addrs);
1649  /* and its collation, just as for Consts */
1650  if (OidIsValid(param->paramcollid) &&
1653  context->addrs);
1654  }
1655  else if (IsA(node, FuncExpr))
1656  {
1657  FuncExpr *funcexpr = (FuncExpr *) node;
1658 
1659  add_object_address(OCLASS_PROC, funcexpr->funcid, 0,
1660  context->addrs);
1661  /* fall through to examine arguments */
1662  }
1663  else if (IsA(node, OpExpr))
1664  {
1665  OpExpr *opexpr = (OpExpr *) node;
1666 
1668  context->addrs);
1669  /* fall through to examine arguments */
1670  }
1671  else if (IsA(node, DistinctExpr))
1672  {
1673  DistinctExpr *distinctexpr = (DistinctExpr *) node;
1674 
1675  add_object_address(OCLASS_OPERATOR, distinctexpr->opno, 0,
1676  context->addrs);
1677  /* fall through to examine arguments */
1678  }
1679  else if (IsA(node, NullIfExpr))
1680  {
1681  NullIfExpr *nullifexpr = (NullIfExpr *) node;
1682 
1683  add_object_address(OCLASS_OPERATOR, nullifexpr->opno, 0,
1684  context->addrs);
1685  /* fall through to examine arguments */
1686  }
1687  else if (IsA(node, ScalarArrayOpExpr))
1688  {
1689  ScalarArrayOpExpr *opexpr = (ScalarArrayOpExpr *) node;
1690 
1692  context->addrs);
1693  /* fall through to examine arguments */
1694  }
1695  else if (IsA(node, Aggref))
1696  {
1697  Aggref *aggref = (Aggref *) node;
1698 
1700  context->addrs);
1701  /* fall through to examine arguments */
1702  }
1703  else if (IsA(node, WindowFunc))
1704  {
1705  WindowFunc *wfunc = (WindowFunc *) node;
1706 
1708  context->addrs);
1709  /* fall through to examine arguments */
1710  }
1711  else if (IsA(node, SubPlan))
1712  {
1713  /* Extra work needed here if we ever need this case */
1714  elog(ERROR, "already-planned subqueries not supported");
1715  }
1716  else if (IsA(node, FieldSelect))
1717  {
1718  FieldSelect *fselect = (FieldSelect *) node;
1719  Oid argtype = getBaseType(exprType((Node *) fselect->arg));
1720  Oid reltype = get_typ_typrelid(argtype);
1721 
1722  /*
1723  * We need a dependency on the specific column named in FieldSelect,
1724  * assuming we can identify the pg_class OID for it. (Probably we
1725  * always can at the moment, but in future it might be possible for
1726  * argtype to be RECORDOID.) If we can make a column dependency then
1727  * we shouldn't need a dependency on the column's type; but if we
1728  * can't, make a dependency on the type, as it might not appear
1729  * anywhere else in the expression.
1730  */
1731  if (OidIsValid(reltype))
1732  add_object_address(OCLASS_CLASS, reltype, fselect->fieldnum,
1733  context->addrs);
1734  else
1736  context->addrs);
1737  /* the collation might not be referenced anywhere else, either */
1738  if (OidIsValid(fselect->resultcollid) &&
1739  fselect->resultcollid != DEFAULT_COLLATION_OID)
1741  context->addrs);
1742  }
1743  else if (IsA(node, FieldStore))
1744  {
1745  FieldStore *fstore = (FieldStore *) node;
1746  Oid reltype = get_typ_typrelid(fstore->resulttype);
1747 
1748  /* similar considerations to FieldSelect, but multiple column(s) */
1749  if (OidIsValid(reltype))
1750  {
1751  ListCell *l;
1752 
1753  foreach(l, fstore->fieldnums)
1755  context->addrs);
1756  }
1757  else
1759  context->addrs);
1760  }
1761  else if (IsA(node, RelabelType))
1762  {
1763  RelabelType *relab = (RelabelType *) node;
1764 
1765  /* since there is no function dependency, need to depend on type */
1767  context->addrs);
1768  /* the collation might not be referenced anywhere else, either */
1769  if (OidIsValid(relab->resultcollid) &&
1772  context->addrs);
1773  }
1774  else if (IsA(node, CoerceViaIO))
1775  {
1776  CoerceViaIO *iocoerce = (CoerceViaIO *) node;
1777 
1778  /* since there is no exposed function, need to depend on type */
1780  context->addrs);
1781  /* the collation might not be referenced anywhere else, either */
1782  if (OidIsValid(iocoerce->resultcollid) &&
1783  iocoerce->resultcollid != DEFAULT_COLLATION_OID)
1785  context->addrs);
1786  }
1787  else if (IsA(node, ArrayCoerceExpr))
1788  {
1789  ArrayCoerceExpr *acoerce = (ArrayCoerceExpr *) node;
1790 
1791  /* as above, depend on type */
1793  context->addrs);
1794  /* the collation might not be referenced anywhere else, either */
1795  if (OidIsValid(acoerce->resultcollid) &&
1796  acoerce->resultcollid != DEFAULT_COLLATION_OID)
1798  context->addrs);
1799  /* fall through to examine arguments */
1800  }
1801  else if (IsA(node, ConvertRowtypeExpr))
1802  {
1803  ConvertRowtypeExpr *cvt = (ConvertRowtypeExpr *) node;
1804 
1805  /* since there is no function dependency, need to depend on type */
1807  context->addrs);
1808  }
1809  else if (IsA(node, CollateExpr))
1810  {
1811  CollateExpr *coll = (CollateExpr *) node;
1812 
1814  context->addrs);
1815  }
1816  else if (IsA(node, RowExpr))
1817  {
1818  RowExpr *rowexpr = (RowExpr *) node;
1819 
1821  context->addrs);
1822  }
1823  else if (IsA(node, RowCompareExpr))
1824  {
1825  RowCompareExpr *rcexpr = (RowCompareExpr *) node;
1826  ListCell *l;
1827 
1828  foreach(l, rcexpr->opnos)
1829  {
1831  context->addrs);
1832  }
1833  foreach(l, rcexpr->opfamilies)
1834  {
1836  context->addrs);
1837  }
1838  /* fall through to examine arguments */
1839  }
1840  else if (IsA(node, CoerceToDomain))
1841  {
1842  CoerceToDomain *cd = (CoerceToDomain *) node;
1843 
1845  context->addrs);
1846  }
1847  else if (IsA(node, NextValueExpr))
1848  {
1849  NextValueExpr *nve = (NextValueExpr *) node;
1850 
1852  context->addrs);
1853  }
1854  else if (IsA(node, OnConflictExpr))
1855  {
1856  OnConflictExpr *onconflict = (OnConflictExpr *) node;
1857 
1858  if (OidIsValid(onconflict->constraint))
1860  context->addrs);
1861  /* fall through to examine arguments */
1862  }
1863  else if (IsA(node, SortGroupClause))
1864  {
1865  SortGroupClause *sgc = (SortGroupClause *) node;
1866 
1868  context->addrs);
1869  if (OidIsValid(sgc->sortop))
1871  context->addrs);
1872  return false;
1873  }
1874  else if (IsA(node, Query))
1875  {
1876  /* Recurse into RTE subquery or not-yet-planned sublink subquery */
1877  Query *query = (Query *) node;
1878  ListCell *lc;
1879  bool result;
1880 
1881  /*
1882  * Add whole-relation refs for each plain relation mentioned in the
1883  * subquery's rtable.
1884  *
1885  * Note: query_tree_walker takes care of recursing into RTE_FUNCTION
1886  * RTEs, subqueries, etc, so no need to do that here. But keep it
1887  * from looking at join alias lists.
1888  *
1889  * Note: we don't need to worry about collations mentioned in
1890  * RTE_VALUES or RTE_CTE RTEs, because those must just duplicate
1891  * collations referenced in other parts of the Query. We do have to
1892  * worry about collations mentioned in RTE_FUNCTION, but we take care
1893  * of those when we recurse to the RangeTblFunction node(s).
1894  */
1895  foreach(lc, query->rtable)
1896  {
1897  RangeTblEntry *rte = (RangeTblEntry *) lfirst(lc);
1898 
1899  switch (rte->rtekind)
1900  {
1901  case RTE_RELATION:
1903  context->addrs);
1904  break;
1905  default:
1906  break;
1907  }
1908  }
1909 
1910  /*
1911  * If the query is an INSERT or UPDATE, we should create a dependency
1912  * on each target column, to prevent the specific target column from
1913  * being dropped. Although we will visit the TargetEntry nodes again
1914  * during query_tree_walker, we won't have enough context to do this
1915  * conveniently, so do it here.
1916  */
1917  if (query->commandType == CMD_INSERT ||
1918  query->commandType == CMD_UPDATE)
1919  {
1920  RangeTblEntry *rte;
1921 
1922  if (query->resultRelation <= 0 ||
1923  query->resultRelation > list_length(query->rtable))
1924  elog(ERROR, "invalid resultRelation %d",
1925  query->resultRelation);
1926  rte = rt_fetch(query->resultRelation, query->rtable);
1927  if (rte->rtekind == RTE_RELATION)
1928  {
1929  foreach(lc, query->targetList)
1930  {
1931  TargetEntry *tle = (TargetEntry *) lfirst(lc);
1932 
1933  if (tle->resjunk)
1934  continue; /* ignore junk tlist items */
1936  context->addrs);
1937  }
1938  }
1939  }
1940 
1941  /*
1942  * Add dependencies on constraints listed in query's constraintDeps
1943  */
1944  foreach(lc, query->constraintDeps)
1945  {
1947  context->addrs);
1948  }
1949 
1950  /* query_tree_walker ignores ORDER BY etc, but we need those opers */
1951  find_expr_references_walker((Node *) query->sortClause, context);
1952  find_expr_references_walker((Node *) query->groupClause, context);
1953  find_expr_references_walker((Node *) query->windowClause, context);
1954  find_expr_references_walker((Node *) query->distinctClause, context);
1955 
1956  /* Examine substructure of query */
1957  context->rtables = lcons(query->rtable, context->rtables);
1958  result = query_tree_walker(query,
1960  (void *) context,
1962  context->rtables = list_delete_first(context->rtables);
1963  return result;
1964  }
1965  else if (IsA(node, SetOperationStmt))
1966  {
1967  SetOperationStmt *setop = (SetOperationStmt *) node;
1968 
1969  /* we need to look at the groupClauses for operator references */
1970  find_expr_references_walker((Node *) setop->groupClauses, context);
1971  /* fall through to examine child nodes */
1972  }
1973  else if (IsA(node, RangeTblFunction))
1974  {
1975  RangeTblFunction *rtfunc = (RangeTblFunction *) node;
1976  ListCell *ct;
1977 
1978  /*
1979  * Add refs for any datatypes and collations used in a column
1980  * definition list for a RECORD function. (For other cases, it should
1981  * be enough to depend on the function itself.)
1982  */
1983  foreach(ct, rtfunc->funccoltypes)
1984  {
1986  context->addrs);
1987  }
1988  foreach(ct, rtfunc->funccolcollations)
1989  {
1990  Oid collid = lfirst_oid(ct);
1991 
1992  if (OidIsValid(collid) && collid != DEFAULT_COLLATION_OID)
1994  context->addrs);
1995  }
1996  }
1997  else if (IsA(node, TableSampleClause))
1998  {
1999  TableSampleClause *tsc = (TableSampleClause *) node;
2000 
2002  context->addrs);
2003  /* fall through to examine arguments */
2004  }
2005 
2007  (void *) context);
2008 }
Datum constvalue
Definition: primnodes.h:196
bool query_tree_walker(Query *query, bool(*walker)(), void *context, int flags)
Definition: nodeFuncs.c:2245
#define REGCLASSOID
Definition: pg_type.h:577
#define IsA(nodeptr, _type_)
Definition: nodes.h:561
List * joinaliasvars
Definition: parsenodes.h:995
Index varlevelsup
Definition: primnodes.h:173
List * sortClause
Definition: parsenodes.h:156
static bool find_expr_references_walker(Node *node, find_expr_references_context *context)
Definition: dependency.c:1487
#define REGROLEOID
Definition: pg_type.h:585
Oid resulttype
Definition: primnodes.h:744
ObjectAddresses * addrs
Definition: dependency.c:130
List * constraintDeps
Definition: parsenodes.h:166
#define DatumGetObjectId(X)
Definition: postgres.h:506
Oid resulttype
Definition: primnodes.h:815
List * opfamilies
Definition: primnodes.h:1040
int resultRelation
Definition: parsenodes.h:120
Definition: nodes.h:510
int errcode(int sqlerrcode)
Definition: elog.c:575
AttrNumber varattno
Definition: primnodes.h:168
Expr * arg
Definition: primnodes.h:742
List * list_copy_tail(const List *oldlist, int nskip)
Definition: list.c:1203
unsigned int Oid
Definition: postgres_ext.h:31
#define REGTYPEOID
Definition: pg_type.h:581
Definition: primnodes.h:163
#define REGOPEROID
Definition: pg_type.h:569
#define OidIsValid(objectId)
Definition: c.h:576
List * windowClause
Definition: parsenodes.h:152
List * targetList
Definition: parsenodes.h:138
Oid consttype
Definition: primnodes.h:192
#define SearchSysCacheExists1(cacheId, key1)
Definition: syscache.h:182
Oid get_typ_typrelid(Oid typid)
Definition: lsyscache.c:2471
bool resjunk
Definition: primnodes.h:1382
List * rtable
Definition: parsenodes.h:135
List * distinctClause
Definition: parsenodes.h:154
Oid funcid
Definition: primnodes.h:449
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define ERROR
Definition: elog.h:43
Oid paramcollid
Definition: primnodes.h:248
#define lfirst_int(lc)
Definition: pg_list.h:107
Oid constcollid
Definition: primnodes.h:194
Oid resultcollid
Definition: primnodes.h:747
void * list_nth(const List *list, int n)
Definition: list.c:410
#define DEFAULT_COLLATION_OID
Definition: pg_collation.h:75
AttrNumber resno
Definition: primnodes.h:1376
#define REGDICTIONARYOID
Definition: pg_type.h:627
Oid resulttype
Definition: primnodes.h:774
Oid winfnoid
Definition: primnodes.h:355
#define ereport(elevel, rest)
Definition: elog.h:122
#define rt_fetch(rangetable_index, rangetable)
Definition: parsetree.h:31
Index varno
Definition: primnodes.h:166
Oid resultcollid
Definition: primnodes.h:817
Oid resulttype
Definition: primnodes.h:795
Oid resultcollid
Definition: primnodes.h:797
Oid aggfnoid
Definition: primnodes.h:294
CmdType commandType
Definition: parsenodes.h:110
List * lcons(void *datum, List *list)
Definition: list.c:259
List * funccolcollations
Definition: parsenodes.h:1093
#define lfirst(lc)
Definition: pg_list.h:106
Oid exprType(const Node *expr)
Definition: nodeFuncs.c:42
bool expression_tree_walker(Node *node, bool(*walker)(), void *context)
Definition: nodeFuncs.c:1834
Oid row_typeid
Definition: primnodes.h:991
static int list_length(const List *l)
Definition: pg_list.h:89
#define InvalidAttrNumber
Definition: attnum.h:23
#define REGCONFIGOID
Definition: pg_type.h:624
RTEKind rtekind
Definition: parsenodes.h:951
List * groupClause
Definition: parsenodes.h:146
int errmsg(const char *fmt,...)
Definition: elog.c:797
List * fieldnums
Definition: primnodes.h:773
void list_free(List *list)
Definition: list.c:1133
Oid opno
Definition: primnodes.h:496
#define elog
Definition: elog.h:219
#define REGPROCEDUREOID
Definition: pg_type.h:565
Oid getBaseType(Oid typid)
Definition: lsyscache.c:2271
Definition: pg_list.h:45
#define REGNAMESPACEOID
Definition: pg_type.h:589
static void add_object_address(ObjectClass oclass, Oid objectId, int32 subId, ObjectAddresses *addrs)
Definition: dependency.c:2127
Oid paramtype
Definition: primnodes.h:246
bool constisnull
Definition: primnodes.h:197
#define lfirst_oid(lc)
Definition: pg_list.h:108
#define REGOPERATOROID
Definition: pg_type.h:573
List * list_delete_first(List *list)
Definition: list.c:666
#define REGPROCOID
Definition: pg_type.h:320
#define QTW_IGNORE_JOINALIASES
Definition: nodeFuncs.h:23
AttrNumber fieldnum
Definition: primnodes.h:743

◆ findDependentObjects()

static void findDependentObjects ( const ObjectAddress object,
int  objflags,
int  flags,
ObjectAddressStack stack,
ObjectAddresses targetObjects,
const ObjectAddresses pendingObjects,
Relation depRel 
)
static

Definition at line 462 of file dependency.c.

References AcquireDeletionLock(), add_exact_object_address_extra(), Anum_pg_depend_classid, Anum_pg_depend_objid, Anum_pg_depend_objsubid, Anum_pg_depend_refclassid, Anum_pg_depend_refobjid, Anum_pg_depend_refobjsubid, BTEqualStrategyNumber, ObjectAddress::classId, creating_extension, CurrentExtensionObject, DependDependerIndexId, ObjectAddressExtra::dependee, DEPENDENCY_AUTO, DEPENDENCY_AUTO_EXTENSION, DEPENDENCY_EXTENSION, DEPENDENCY_INTERNAL, DEPENDENCY_NORMAL, DEPENDENCY_PIN, DependReferenceIndexId, DEPFLAG_AUTO, DEPFLAG_EXTENSION, DEPFLAG_INTERNAL, DEPFLAG_NORMAL, DEPFLAG_REVERSE, elog, ereport, errcode(), errhint(), errmsg(), ERROR, ExtensionRelationId, ObjectAddressExtra::flags, ObjectAddressStack::flags, getObjectDescription(), GETSTRUCT, HeapTupleIsValid, Int32GetDatum, ObjectAddressStack::next, ObjectAddressStack::object, object_address_present(), object_address_present_add_flags(), ObjectAddress::objectId, ObjectIdGetDatum, ObjectAddress::objectSubId, PERFORM_DELETION_SKIP_EXTENSIONS, ReleaseDeletionLock(), ScanKeyInit(), stack_address_present_add_flags(), systable_beginscan(), systable_endscan(), systable_getnext(), and systable_recheck_tuple().

Referenced by performDeletion(), and performMultipleDeletions().

469 {
470  ScanKeyData key[3];
471  int nkeys;
472  SysScanDesc scan;
473  HeapTuple tup;
474  ObjectAddress otherObject;
475  ObjectAddressStack mystack;
476  ObjectAddressExtra extra;
477 
478  /*
479  * If the target object is already being visited in an outer recursion
480  * level, just report the current objflags back to that level and exit.
481  * This is needed to avoid infinite recursion in the face of circular
482  * dependencies.
483  *
484  * The stack check alone would result in dependency loops being broken at
485  * an arbitrary point, ie, the first member object of the loop to be
486  * visited is the last one to be deleted. This is obviously unworkable.
487  * However, the check for internal dependency below guarantees that we
488  * will not break a loop at an internal dependency: if we enter the loop
489  * at an "owned" object we will switch and start at the "owning" object
490  * instead. We could probably hack something up to avoid breaking at an
491  * auto dependency, too, if we had to. However there are no known cases
492  * where that would be necessary.
493  */
494  if (stack_address_present_add_flags(object, objflags, stack))
495  return;
496 
497  /*
498  * It's also possible that the target object has already been completely
499  * processed and put into targetObjects. If so, again we just add the
500  * specified objflags to its entry and return.
501  *
502  * (Note: in these early-exit cases we could release the caller-taken
503  * lock, since the object is presumably now locked multiple times; but it
504  * seems not worth the cycles.)
505  */
506  if (object_address_present_add_flags(object, objflags, targetObjects))
507  return;
508 
509  /*
510  * The target object might be internally dependent on some other object
511  * (its "owner"), and/or be a member of an extension (also considered its
512  * owner). If so, and if we aren't recursing from the owning object, we
513  * have to transform this deletion request into a deletion request of the
514  * owning object. (We'll eventually recurse back to this object, but the
515  * owning object has to be visited first so it will be deleted after.) The
516  * way to find out about this is to scan the pg_depend entries that show
517  * what this object depends on.
518  */
519  ScanKeyInit(&key[0],
521  BTEqualStrategyNumber, F_OIDEQ,
522  ObjectIdGetDatum(object->classId));
523  ScanKeyInit(&key[1],
525  BTEqualStrategyNumber, F_OIDEQ,
526  ObjectIdGetDatum(object->objectId));
527  if (object->objectSubId != 0)
528  {
529  ScanKeyInit(&key[2],
531  BTEqualStrategyNumber, F_INT4EQ,
532  Int32GetDatum(object->objectSubId));
533  nkeys = 3;
534  }
535  else
536  nkeys = 2;
537 
538  scan = systable_beginscan(*depRel, DependDependerIndexId, true,
539  NULL, nkeys, key);
540 
541  while (HeapTupleIsValid(tup = systable_getnext(scan)))
542  {
543  Form_pg_depend foundDep = (Form_pg_depend) GETSTRUCT(tup);
544 
545  otherObject.classId = foundDep->refclassid;
546  otherObject.objectId = foundDep->refobjid;
547  otherObject.objectSubId = foundDep->refobjsubid;
548 
549  switch (foundDep->deptype)
550  {
551  case DEPENDENCY_NORMAL:
552  case DEPENDENCY_AUTO:
554  /* no problem */
555  break;
556 
558 
559  /*
560  * If told to, ignore EXTENSION dependencies altogether. This
561  * flag is normally used to prevent dropping extensions during
562  * temporary-object cleanup, even if a temp object was created
563  * during an extension script.
564  */
566  break;
567 
568  /*
569  * If the other object is the extension currently being
570  * created/altered, ignore this dependency and continue with
571  * the deletion. This allows dropping of an extension's
572  * objects within the extension's scripts, as well as corner
573  * cases such as dropping a transient object created within
574  * such a script.
575  */
576  if (creating_extension &&
577  otherObject.classId == ExtensionRelationId &&
578  otherObject.objectId == CurrentExtensionObject)
579  break;
580 
581  /* Otherwise, treat this like an internal dependency */
582  /* FALL THRU */
583 
584  case DEPENDENCY_INTERNAL:
585 
586  /*
587  * This object is part of the internal implementation of
588  * another object, or is part of the extension that is the
589  * other object. We have three cases:
590  *
591  * 1. At the outermost recursion level, disallow the DROP. (We
592  * just ereport here, rather than proceeding, since no other
593  * dependencies are likely to be interesting.) However, if
594  * the owning object is listed in pendingObjects, just release
595  * the caller's lock and return; we'll eventually complete the
596  * DROP when we reach that entry in the pending list.
597  */
598  if (stack == NULL)
599  {
600  char *otherObjDesc;
601 
602  if (pendingObjects &&
603  object_address_present(&otherObject, pendingObjects))
604  {
605  systable_endscan(scan);
606  /* need to release caller's lock; see notes below */
607  ReleaseDeletionLock(object);
608  return;
609  }
610  otherObjDesc = getObjectDescription(&otherObject);
611  ereport(ERROR,
612  (errcode(ERRCODE_DEPENDENT_OBJECTS_STILL_EXIST),
613  errmsg("cannot drop %s because %s requires it",
614  getObjectDescription(object),
615  otherObjDesc),
616  errhint("You can drop %s instead.",
617  otherObjDesc)));
618  }
619 
620  /*
621  * 2. When recursing from the other end of this dependency,
622  * it's okay to continue with the deletion. This holds when
623  * recursing from a whole object that includes the nominal
624  * other end as a component, too. Since there can be more
625  * than one "owning" object, we have to allow matches that are
626  * more than one level down in the stack.
627  */
628  if (stack_address_present_add_flags(&otherObject, 0, stack))
629  break;
630 
631  /*
632  * 3. Not all the owning objects have been visited, so
633  * transform this deletion request into a delete of this
634  * owning object.
635  *
636  * First, release caller's lock on this object and get
637  * deletion lock on the owning object. (We must release
638  * caller's lock to avoid deadlock against a concurrent
639  * deletion of the owning object.)
640  */
641  ReleaseDeletionLock(object);
642  AcquireDeletionLock(&otherObject, 0);
643 
644  /*
645  * The owning object might have been deleted while we waited
646  * to lock it; if so, neither it nor the current object are
647  * interesting anymore. We test this by checking the
648  * pg_depend entry (see notes below).
649  */
650  if (!systable_recheck_tuple(scan, tup))
651  {
652  systable_endscan(scan);
653  ReleaseDeletionLock(&otherObject);
654  return;
655  }
656 
657  /*
658  * Okay, recurse to the owning object instead of proceeding.
659  *
660  * We do not need to stack the current object; we want the
661  * traversal order to be as if the original reference had
662  * linked to the owning object instead of this one.
663  *
664  * The dependency type is a "reverse" dependency: we need to
665  * delete the owning object if this one is to be deleted, but
666  * this linkage is never a reason for an automatic deletion.
667  */
668  findDependentObjects(&otherObject,
670  flags,
671  stack,
672  targetObjects,
673  pendingObjects,
674  depRel);
675  /* And we're done here. */
676  systable_endscan(scan);
677  return;
678  case DEPENDENCY_PIN:
679 
680  /*
681  * Should not happen; PIN dependencies should have zeroes in
682  * the depender fields...
683  */
684  elog(ERROR, "incorrect use of PIN dependency with %s",
685  getObjectDescription(object));
686  break;
687  default:
688  elog(ERROR, "unrecognized dependency type '%c' for %s",
689  foundDep->deptype, getObjectDescription(object));
690  break;
691  }
692  }
693 
694  systable_endscan(scan);
695 
696  /*
697  * Now recurse to any dependent objects. We must visit them first since
698  * they have to be deleted before the current object.
699  */
700  mystack.object = object; /* set up a new stack level */
701  mystack.flags = objflags;
702  mystack.next = stack;
703 
704  ScanKeyInit(&key[0],
706  BTEqualStrategyNumber, F_OIDEQ,
707  ObjectIdGetDatum(object->classId));
708  ScanKeyInit(&key[1],
710  BTEqualStrategyNumber, F_OIDEQ,
711  ObjectIdGetDatum(object->objectId));
712  if (object->objectSubId != 0)
713  {
714  ScanKeyInit(&key[2],
716  BTEqualStrategyNumber, F_INT4EQ,
717  Int32GetDatum(object->objectSubId));
718  nkeys = 3;
719  }
720  else
721  nkeys = 2;
722 
723  scan = systable_beginscan(*depRel, DependReferenceIndexId, true,
724  NULL, nkeys, key);
725 
726  while (HeapTupleIsValid(tup = systable_getnext(scan)))
727  {
728  Form_pg_depend foundDep = (Form_pg_depend) GETSTRUCT(tup);
729  int subflags;
730 
731  otherObject.classId = foundDep->classid;
732  otherObject.objectId = foundDep->objid;
733  otherObject.objectSubId = foundDep->objsubid;
734 
735  /*
736  * Must lock the dependent object before recursing to it.
737  */
738  AcquireDeletionLock(&otherObject, 0);
739 
740  /*
741  * The dependent object might have been deleted while we waited to
742  * lock it; if so, we don't need to do anything more with it. We can
743  * test this cheaply and independently of the object's type by seeing
744  * if the pg_depend tuple we are looking at is still live. (If the
745  * object got deleted, the tuple would have been deleted too.)
746  */
747  if (!systable_recheck_tuple(scan, tup))
748  {
749  /* release the now-useless lock */
750  ReleaseDeletionLock(&otherObject);
751  /* and continue scanning for dependencies */
752  continue;
753  }
754 
755  /* Recurse, passing objflags indicating the dependency type */
756  switch (foundDep->deptype)
757  {
758  case DEPENDENCY_NORMAL:
759  subflags = DEPFLAG_NORMAL;
760  break;
761  case DEPENDENCY_AUTO:
763  subflags = DEPFLAG_AUTO;
764  break;
765  case DEPENDENCY_INTERNAL:
766  subflags = DEPFLAG_INTERNAL;
767  break;
769  subflags = DEPFLAG_EXTENSION;
770  break;
771  case DEPENDENCY_PIN:
772 
773  /*
774  * For a PIN dependency we just ereport immediately; there
775  * won't be any others to report.
776  */
777  ereport(ERROR,
778  (errcode(ERRCODE_DEPENDENT_OBJECTS_STILL_EXIST),
779  errmsg("cannot drop %s because it is required by the database system",
780  getObjectDescription(object))));
781  subflags = 0; /* keep compiler quiet */
782  break;
783  default:
784  elog(ERROR, "unrecognized dependency type '%c' for %s",
785  foundDep->deptype, getObjectDescription(object));
786  subflags = 0; /* keep compiler quiet */
787  break;
788  }
789 
790  findDependentObjects(&otherObject,
791  subflags,
792  flags,
793  &mystack,
794  targetObjects,
795  pendingObjects,
796  depRel);
797  }
798 
799  systable_endscan(scan);
800 
801  /*
802  * Finally, we can add the target object to targetObjects. Be careful to
803  * include any flags that were passed back down to us from inner recursion
804  * levels.
805  */
806  extra.flags = mystack.flags;
807  if (stack)
808  extra.dependee = *stack->object;
809  else
810  memset(&extra.dependee, 0, sizeof(extra.dependee));
811  add_exact_object_address_extra(object, &extra, targetObjects);
812 }
static void findDependentObjects(const ObjectAddress *object, int objflags, int flags, ObjectAddressStack *stack, ObjectAddresses *targetObjects, const ObjectAddresses *pendingObjects, Relation *depRel)
Definition: dependency.c:462
Oid CurrentExtensionObject
Definition: extension.c:68
static void ReleaseDeletionLock(const ObjectAddress *object)
Definition: dependency.c:1326
#define Anum_pg_depend_refobjid
Definition: pg_depend.h:72
#define Anum_pg_depend_refobjsubid
Definition: pg_depend.h:73
int errhint(const char *fmt,...)
Definition: elog.c:987
#define Anum_pg_depend_refclassid
Definition: pg_depend.h:71
void systable_endscan(SysScanDesc sysscan)
Definition: genam.c:499
#define GETSTRUCT(TUP)
Definition: htup_details.h:661
static void add_exact_object_address_extra(const ObjectAddress *object, const ObjectAddressExtra *extra, ObjectAddresses *addrs)
Definition: dependency.c:2185
bool object_address_present(const ObjectAddress *object, const ObjectAddresses *addrs)
Definition: dependency.c:2220
#define DependReferenceIndexId
Definition: indexing.h:147
#define DependDependerIndexId
Definition: indexing.h:145
int errcode(int sqlerrcode)
Definition: elog.c:575
#define DEPFLAG_REVERSE
Definition: dependency.c:105
struct ObjectAddressStack * next
Definition: dependency.c:124
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition: genam.c:328
#define Anum_pg_depend_objsubid
Definition: pg_depend.h:70
char * getObjectDescription(const ObjectAddress *object)
bool systable_recheck_tuple(SysScanDesc sysscan, HeapTuple tup)
Definition: genam.c:454
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition: genam.c:416
#define ObjectIdGetDatum(X)
Definition: postgres.h:513
#define ERROR
Definition: elog.h:43
#define DEPFLAG_AUTO
Definition: dependency.c:102
const ObjectAddress * object
Definition: dependency.c:122
#define DEPFLAG_INTERNAL
Definition: dependency.c:103
static bool object_address_present_add_flags(const ObjectAddress *object, int flags, ObjectAddresses *addrs)
Definition: dependency.c:2246
FormData_pg_depend * Form_pg_depend
Definition: pg_depend.h:61
#define ereport(elevel, rest)
Definition: elog.h:122
static void AcquireDeletionLock(const ObjectAddress *object, int flags)
Definition: dependency.c:1299
bool creating_extension
Definition: extension.c:67
#define DEPFLAG_EXTENSION
Definition: dependency.c:104
#define HeapTupleIsValid(tuple)
Definition: htup.h:77
#define Int32GetDatum(X)
Definition: postgres.h:485
int errmsg(const char *fmt,...)
Definition: elog.c:797
#define DEPFLAG_NORMAL
Definition: dependency.c:101
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition: scankey.c:76
#define Anum_pg_depend_classid
Definition: pg_depend.h:68
#define elog
Definition: elog.h:219
#define ExtensionRelationId
Definition: pg_extension.h:29
static bool stack_address_present_add_flags(const ObjectAddress *object, int flags, ObjectAddressStack *stack)
Definition: dependency.c:2313
#define PERFORM_DELETION_SKIP_EXTENSIONS
Definition: dependency.h:178
ObjectAddress dependee
Definition: dependency.c:96
#define Anum_pg_depend_objid
Definition: pg_depend.h:69
#define BTEqualStrategyNumber
Definition: stratnum.h:31

◆ free_object_addresses()

void free_object_addresses ( ObjectAddresses addrs)

Definition at line 2376 of file dependency.c.

References ObjectAddresses::extras, pfree(), and ObjectAddresses::refs.

Referenced by AlterTableNamespace(), AlterTypeNamespace(), makeConfigurationDependencies(), performDeletion(), performMultipleDeletions(), recordDependencyOnExpr(), recordDependencyOnSingleRelExpr(), RemoveObjects(), RemoveRelations(), and shdepDropOwned().

2377 {
2378  pfree(addrs->refs);
2379  if (addrs->extras)
2380  pfree(addrs->extras);
2381  pfree(addrs);
2382 }
void pfree(void *pointer)
Definition: mcxt.c:949
ObjectAddress * refs
Definition: dependency.c:111
ObjectAddressExtra * extras
Definition: dependency.c:112

◆ getObjectClass()

ObjectClass getObjectClass ( const ObjectAddress object)

Definition at line 2391 of file dependency.c.

References AccessMethodOperatorRelationId, AccessMethodProcedureRelationId, AccessMethodRelationId, AttrDefaultRelationId, AuthIdRelationId, CastRelationId, ObjectAddress::classId, CollationRelationId, ConstraintRelationId, ConversionRelationId, DatabaseRelationId, DefaultAclRelationId, elog, ERROR, EventTriggerRelationId, ExtensionRelationId, ForeignDataWrapperRelationId, ForeignServerRelationId, LanguageRelationId, LargeObjectRelationId, NamespaceRelationId, ObjectAddress::objectSubId, OCLASS_AM, OCLASS_AMOP, OCLASS_AMPROC, OCLASS_CAST, OCLASS_CLASS, OCLASS_COLLATION, OCLASS_CONSTRAINT, OCLASS_CONVERSION, OCLASS_DATABASE, OCLASS_DEFACL, OCLASS_DEFAULT, OCLASS_EVENT_TRIGGER, OCLASS_EXTENSION, OCLASS_FDW, OCLASS_FOREIGN_SERVER, OCLASS_LANGUAGE, OCLASS_LARGEOBJECT, OCLASS_OPCLASS, OCLASS_OPERATOR, OCLASS_OPFAMILY, OCLASS_POLICY, OCLASS_PROC, OCLASS_PUBLICATION, OCLASS_PUBLICATION_REL, OCLASS_REWRITE, OCLASS_ROLE, OCLASS_SCHEMA, OCLASS_STATISTIC_EXT, OCLASS_SUBSCRIPTION, OCLASS_TBLSPACE, OCLASS_TRANSFORM, OCLASS_TRIGGER, OCLASS_TSCONFIG, OCLASS_TSDICT, OCLASS_TSPARSER, OCLASS_TSTEMPLATE, OCLASS_TYPE, OCLASS_USER_MAPPING, OperatorClassRelationId, OperatorFamilyRelationId, OperatorRelationId, PolicyRelationId, ProcedureRelationId, PublicationRelationId, PublicationRelRelationId, RelationRelationId, RewriteRelationId, StatisticExtRelationId, SubscriptionRelationId, TableSpaceRelationId, TransformRelationId, TriggerRelationId, TSConfigRelationId, TSDictionaryRelationId, TSParserRelationId, TSTemplateRelationId, TypeRelationId, and UserMappingRelationId.

Referenced by AlterObjectNamespace_oid(), ATExecAlterColumnType(), deleteObjectsInList(), doDeletion(), EventTriggerSQLDropAddObject(), getObjectDescription(), getObjectIdentityParts(), and getObjectTypeDescription().

2392 {
2393  /* only pg_class entries can have nonzero objectSubId */
2394  if (object->classId != RelationRelationId &&
2395  object->objectSubId != 0)
2396  elog(ERROR, "invalid non-zero objectSubId for object class %u",
2397  object->classId);
2398 
2399  switch (object->classId)
2400  {
2401  case RelationRelationId:
2402  /* caller must check objectSubId */
2403  return OCLASS_CLASS;
2404 
2405  case ProcedureRelationId:
2406  return OCLASS_PROC;
2407 
2408  case TypeRelationId:
2409  return OCLASS_TYPE;
2410 
2411  case CastRelationId:
2412  return OCLASS_CAST;
2413 
2414  case CollationRelationId:
2415  return OCLASS_COLLATION;
2416 
2417  case ConstraintRelationId:
2418  return OCLASS_CONSTRAINT;
2419 
2420  case ConversionRelationId:
2421  return OCLASS_CONVERSION;
2422 
2423  case AttrDefaultRelationId:
2424  return OCLASS_DEFAULT;
2425 
2426  case LanguageRelationId:
2427  return OCLASS_LANGUAGE;
2428 
2429  case LargeObjectRelationId:
2430  return OCLASS_LARGEOBJECT;
2431 
2432  case OperatorRelationId:
2433  return OCLASS_OPERATOR;
2434 
2436  return OCLASS_OPCLASS;
2437 
2439  return OCLASS_OPFAMILY;
2440 
2442  return OCLASS_AM;
2443 
2445  return OCLASS_AMOP;
2446 
2448  return OCLASS_AMPROC;
2449 
2450  case RewriteRelationId:
2451  return OCLASS_REWRITE;
2452 
2453  case TriggerRelationId:
2454  return OCLASS_TRIGGER;
2455 
2456  case NamespaceRelationId:
2457  return OCLASS_SCHEMA;
2458 
2460  return OCLASS_STATISTIC_EXT;
2461 
2462  case TSParserRelationId:
2463  return OCLASS_TSPARSER;
2464 
2466  return OCLASS_TSDICT;
2467 
2468  case TSTemplateRelationId:
2469  return OCLASS_TSTEMPLATE;
2470 
2471  case TSConfigRelationId:
2472  return OCLASS_TSCONFIG;
2473 
2474  case AuthIdRelationId:
2475  return OCLASS_ROLE;
2476 
2477  case DatabaseRelationId:
2478  return OCLASS_DATABASE;
2479 
2480  case TableSpaceRelationId:
2481  return OCLASS_TBLSPACE;
2482 
2484  return OCLASS_FDW;
2485 
2487  return OCLASS_FOREIGN_SERVER;
2488 
2489  case UserMappingRelationId:
2490  return OCLASS_USER_MAPPING;
2491 
2492  case DefaultAclRelationId:
2493  return OCLASS_DEFACL;
2494 
2495  case ExtensionRelationId:
2496  return OCLASS_EXTENSION;
2497 
2499  return OCLASS_EVENT_TRIGGER;
2500 
2501  case PolicyRelationId:
2502  return OCLASS_POLICY;
2503 
2504  case PublicationRelationId:
2505  return OCLASS_PUBLICATION;
2506 
2508  return OCLASS_PUBLICATION_REL;
2509 
2511  return OCLASS_SUBSCRIPTION;
2512 
2513  case TransformRelationId:
2514  return OCLASS_TRANSFORM;
2515  }
2516 
2517  /* shouldn't get here */
2518  elog(ERROR, "unrecognized object class: %u", object->classId);
2519  return OCLASS_CLASS; /* keep compiler quiet */
2520 }
#define NamespaceRelationId
Definition: pg_namespace.h:34
#define OperatorRelationId
Definition: pg_operator.h:32
#define TransformRelationId
Definition: pg_transform.h:25
#define ProcedureRelationId
Definition: pg_proc.h:33
#define DatabaseRelationId
Definition: pg_database.h:29
#define RelationRelationId
Definition: pg_class.h:29
#define OperatorClassRelationId
Definition: pg_opclass.h:49
#define OperatorFamilyRelationId
Definition: pg_opfamily.h:29
#define PublicationRelationId
#define TypeRelationId
Definition: pg_type.h:34
#define DefaultAclRelationId
#define AccessMethodOperatorRelationId
Definition: pg_amop.h:54
#define PublicationRelRelationId
#define AuthIdRelationId
Definition: pg_authid.h:42
#define TSConfigRelationId
Definition: pg_ts_config.h:31
#define ERROR
Definition: elog.h:43
#define TSDictionaryRelationId
Definition: pg_ts_dict.h:31
#define SubscriptionRelationId
#define AccessMethodRelationId
Definition: pg_am.h:32
#define TSParserRelationId
Definition: pg_ts_parser.h:31
#define CollationRelationId
Definition: pg_collation.h:30
#define PolicyRelationId
Definition: pg_policy.h:19
#define RewriteRelationId
Definition: pg_rewrite.h:32
#define ForeignServerRelationId
#define StatisticExtRelationId
#define EventTriggerRelationId
#define TriggerRelationId
Definition: pg_trigger.h:34
#define CastRelationId
Definition: pg_cast.h:31
#define ForeignDataWrapperRelationId
#define TableSpaceRelationId
Definition: pg_tablespace.h:29
#define UserMappingRelationId
#define LanguageRelationId
Definition: pg_language.h:29
#define ConstraintRelationId
Definition: pg_constraint.h:29
#define elog
Definition: elog.h:219
#define ExtensionRelationId
Definition: pg_extension.h:29
#define AttrDefaultRelationId
Definition: pg_attrdef.h:29
#define LargeObjectRelationId
#define AccessMethodProcedureRelationId
Definition: pg_amproc.h:43
#define ConversionRelationId
Definition: pg_conversion.h:38
#define TSTemplateRelationId

◆ new_object_addresses()

ObjectAddresses* new_object_addresses ( void  )

Definition at line 2105 of file dependency.c.

References ObjectAddresses::extras, ObjectAddresses::maxrefs, ObjectAddresses::numrefs, palloc(), and ObjectAddresses::refs.

Referenced by AlterExtensionNamespace(), AlterTableNamespace(), AlterTypeNamespace(), makeConfigurationDependencies(), performDeletion(), performMultipleDeletions(), recordDependencyOnExpr(), recordDependencyOnSingleRelExpr(), RemoveObjects(), RemoveRelations(), and shdepDropOwned().

2106 {
2107  ObjectAddresses *addrs;
2108 
2109  addrs = palloc(sizeof(ObjectAddresses));
2110 
2111  addrs->numrefs = 0;
2112  addrs->maxrefs = 32;
2113  addrs->refs = (ObjectAddress *)
2114  palloc(addrs->maxrefs * sizeof(ObjectAddress));
2115  addrs->extras = NULL; /* until/unless needed */
2116 
2117  return addrs;
2118 }
ObjectAddress * refs
Definition: dependency.c:111
ObjectAddressExtra * extras
Definition: dependency.c:112
void * palloc(Size size)
Definition: mcxt.c:848

◆ object_address_comparator()

static int object_address_comparator ( const void *  a,
const void *  b 
)
static

Definition at line 2074 of file dependency.c.

References ObjectAddress::classId, ObjectAddress::objectId, and ObjectAddress::objectSubId.

Referenced by eliminate_duplicate_dependencies().

2075 {
2076  const ObjectAddress *obja = (const ObjectAddress *) a;
2077  const ObjectAddress *objb = (const ObjectAddress *) b;
2078 
2079  if (obja->classId < objb->classId)
2080  return -1;
2081  if (obja->classId > objb->classId)
2082  return 1;
2083  if (obja->objectId < objb->objectId)
2084  return -1;
2085  if (obja->objectId > objb->objectId)
2086  return 1;
2087 
2088  /*
2089  * We sort the subId as an unsigned int so that 0 will come first. See
2090  * logic in eliminate_duplicate_dependencies.
2091  */
2092  if ((unsigned int) obja->objectSubId < (unsigned int) objb->objectSubId)
2093  return -1;
2094  if ((unsigned int) obja->objectSubId > (unsigned int) objb->objectSubId)
2095  return 1;
2096  return 0;
2097 }

◆ object_address_present()

bool object_address_present ( const ObjectAddress object,
const ObjectAddresses addrs 
)

Definition at line 2220 of file dependency.c.

References ObjectAddress::classId, i, ObjectAddresses::numrefs, ObjectAddress::objectId, ObjectAddress::objectSubId, and ObjectAddresses::refs.

Referenced by AlterConstraintNamespaces(), AlterIndexNamespaces(), AlterRelationNamespaceInternal(), AlterTypeNamespaceInternal(), and findDependentObjects().

2222 {
2223  int i;
2224 
2225  for (i = addrs->numrefs - 1; i >= 0; i--)
2226  {
2227  const ObjectAddress *thisobj = addrs->refs + i;
2228 
2229  if (object->classId == thisobj->classId &&
2230  object->objectId == thisobj->objectId)
2231  {
2232  if (object->objectSubId == thisobj->objectSubId ||
2233  thisobj->objectSubId == 0)
2234  return true;
2235  }
2236  }
2237 
2238  return false;
2239 }
ObjectAddress * refs
Definition: dependency.c:111
int i

◆ object_address_present_add_flags()

static bool object_address_present_add_flags ( const ObjectAddress object,
int  flags,
ObjectAddresses addrs 
)
static

Definition at line 2246 of file dependency.c.

References ObjectAddress::classId, ObjectAddresses::extras, ObjectAddressExtra::flags, ObjectAddressStack::flags, i, ObjectAddresses::numrefs, ObjectAddress::objectId, ObjectAddress::objectSubId, and ObjectAddresses::refs.

Referenced by findDependentObjects().

2249 {
2250  bool result = false;
2251  int i;
2252 
2253  for (i = addrs->numrefs - 1; i >= 0; i--)
2254  {
2255  ObjectAddress *thisobj = addrs->refs + i;
2256 
2257  if (object->classId == thisobj->classId &&
2258  object->objectId == thisobj->objectId)
2259  {
2260  if (object->objectSubId == thisobj->objectSubId)
2261  {
2262  ObjectAddressExtra *thisextra = addrs->extras + i;
2263 
2264  thisextra->flags |= flags;
2265  result = true;
2266  }
2267  else if (thisobj->objectSubId == 0)
2268  {
2269  /*
2270  * We get here if we find a need to delete a column after
2271  * having already decided to drop its whole table. Obviously
2272  * we no longer need to drop the subobject, so report that we
2273  * found the subobject in the array. But don't plaster its
2274  * flags on the whole object.
2275  */
2276  result = true;
2277  }
2278  else if (object->objectSubId == 0)
2279  {
2280  /*
2281  * We get here if we find a need to delete a whole table after
2282  * having already decided to drop one of its columns. We
2283  * can't report that the whole object is in the array, but we
2284  * should mark the subobject with the whole object's flags.
2285  *
2286  * It might seem attractive to physically delete the column's
2287  * array entry, or at least mark it as no longer needing
2288  * separate deletion. But that could lead to, e.g., dropping
2289  * the column's datatype before we drop the table, which does
2290  * not seem like a good idea. This is a very rare situation
2291  * in practice, so we just take the hit of doing a separate
2292  * DROP COLUMN action even though we know we're gonna delete
2293  * the table later.
2294  *
2295  * Because there could be other subobjects of this object in
2296  * the array, this case means we always have to loop through
2297  * the whole array; we cannot exit early on a match.
2298  */
2299  ObjectAddressExtra *thisextra = addrs->extras + i;
2300 
2301  thisextra->flags |= flags;
2302  }
2303  }
2304  }
2305 
2306  return result;
2307 }
ObjectAddress * refs
Definition: dependency.c:111
ObjectAddressExtra * extras
Definition: dependency.c:112
int i

◆ performDeletion()

void performDeletion ( const ObjectAddress object,
DropBehavior  behavior,
int  flags 
)

Definition at line 303 of file dependency.c.

References AcquireDeletionLock(), deleteObjectsInList(), DependRelationId, DEPFLAG_ORIGINAL, findDependentObjects(), free_object_addresses(), heap_close, heap_open(), new_object_addresses(), reportDependentObjects(), and RowExclusiveLock.

Referenced by AlterDomainDropConstraint(), ATExecDropColumn(), ATExecDropConstraint(), ATExecDropIdentity(), ATPostAlterTypeCleanup(), DefineQueryRewrite(), do_autovacuum(), dropOperators(), dropProcedures(), finish_heap_swap(), inv_drop(), PreCommit_on_commit_actions(), PublicationDropTables(), RemoveAttrDefault(), RemoveTempRelations(), RemoveUserMapping(), and SetDefaultACL().

305 {
306  Relation depRel;
307  ObjectAddresses *targetObjects;
308 
309  /*
310  * We save some cycles by opening pg_depend just once and passing the
311  * Relation pointer down to all the recursive deletion steps.
312  */
314 
315  /*
316  * Acquire deletion lock on the target object. (Ideally the caller has
317  * done this already, but many places are sloppy about it.)
318  */
319  AcquireDeletionLock(object, 0);
320 
321  /*
322  * Construct a list of objects to delete (ie, the given object plus
323  * everything directly or indirectly dependent on it).
324  */
325  targetObjects = new_object_addresses();
326 
327  findDependentObjects(object,
329  flags,
330  NULL, /* empty stack */
331  targetObjects,
332  NULL, /* no pendingObjects */
333  &depRel);
334 
335  /*
336  * Check if deletion is allowed, and report about cascaded deletes.
337  */
338  reportDependentObjects(targetObjects,
339  behavior,
340  flags,
341  object);
342 
343  /* do the deed */
344  deleteObjectsInList(targetObjects, &depRel, flags);
345 
346  /* And clean up */
347  free_object_addresses(targetObjects);
348 
349  heap_close(depRel, RowExclusiveLock);
350 }
static void findDependentObjects(const ObjectAddress *object, int objflags, int flags, ObjectAddressStack *stack, ObjectAddresses *targetObjects, const ObjectAddresses *pendingObjects, Relation *depRel)
Definition: dependency.c:462
#define DependRelationId
Definition: pg_depend.h:29
#define heap_close(r, l)
Definition: heapam.h:97
ObjectAddresses * new_object_addresses(void)
Definition: dependency.c:2105
void free_object_addresses(ObjectAddresses *addrs)
Definition: dependency.c:2376
#define DEPFLAG_ORIGINAL
Definition: dependency.c:100
#define RowExclusiveLock
Definition: lockdefs.h:38
static void reportDependentObjects(const ObjectAddresses *targetObjects, DropBehavior behavior, int flags, const ObjectAddress *origObject)
Definition: dependency.c:828
static void AcquireDeletionLock(const ObjectAddress *object, int flags)
Definition: dependency.c:1299
Relation heap_open(Oid relationId, LOCKMODE lockmode)
Definition: heapam.c:1290
static void deleteObjectsInList(ObjectAddresses *targetObjects, Relation *depRel, int flags)
Definition: dependency.c:219

◆ performMultipleDeletions()

void performMultipleDeletions ( const ObjectAddresses objects,
DropBehavior  behavior,
int  flags 
)

Definition at line 362 of file dependency.c.

References AcquireDeletionLock(), deleteObjectsInList(), DependRelationId, DEPFLAG_ORIGINAL, findDependentObjects(), free_object_addresses(), heap_close, heap_open(), i, new_object_addresses(), ObjectAddresses::numrefs, ObjectAddresses::refs, reportDependentObjects(), and RowExclusiveLock.

Referenced by RemoveObjects(), RemoveRelations(), and shdepDropOwned().

364 {
365  Relation depRel;
366  ObjectAddresses *targetObjects;
367  int i;
368 
369  /* No work if no objects... */
370  if (objects->numrefs <= 0)
371  return;
372 
373  /*
374  * We save some cycles by opening pg_depend just once and passing the
375  * Relation pointer down to all the recursive deletion steps.
376  */
378 
379  /*
380  * Construct a list of objects to delete (ie, the given objects plus
381  * everything directly or indirectly dependent on them). Note that
382  * because we pass the whole objects list as pendingObjects context, we
383  * won't get a failure from trying to delete an object that is internally
384  * dependent on another one in the list; we'll just skip that object and
385  * delete it when we reach its owner.
386  */
387  targetObjects = new_object_addresses();
388 
389  for (i = 0; i < objects->numrefs; i++)
390  {
391  const ObjectAddress *thisobj = objects->refs + i;
392 
393  /*
394  * Acquire deletion lock on each target object. (Ideally the caller
395  * has done this already, but many places are sloppy about it.)
396  */
397  AcquireDeletionLock(thisobj, flags);
398 
399  findDependentObjects(thisobj,
401  flags,
402  NULL, /* empty stack */
403  targetObjects,
404  objects,
405  &depRel);
406  }
407 
408  /*
409  * Check if deletion is allowed, and report about cascaded deletes.
410  *
411  * If there's exactly one object being deleted, report it the same way as
412  * in performDeletion(), else we have to be vaguer.
413  */
414  reportDependentObjects(targetObjects,
415  behavior,
416  flags,
417  (objects->numrefs == 1 ? objects->refs : NULL));
418 
419  /* do the deed */
420  deleteObjectsInList(targetObjects, &depRel, flags);
421 
422  /* And clean up */
423  free_object_addresses(targetObjects);
424 
425  heap_close(depRel, RowExclusiveLock);
426 }
static void findDependentObjects(const ObjectAddress *object, int objflags, int flags, ObjectAddressStack *stack, ObjectAddresses *targetObjects, const ObjectAddresses *pendingObjects, Relation *depRel)
Definition: dependency.c:462
#define DependRelationId
Definition: pg_depend.h:29
#define heap_close(r, l)
Definition: heapam.h:97
ObjectAddresses * new_object_addresses(void)
Definition: dependency.c:2105
void free_object_addresses(ObjectAddresses *addrs)
Definition: dependency.c:2376
#define DEPFLAG_ORIGINAL
Definition: dependency.c:100
ObjectAddress * refs
Definition: dependency.c:111
#define RowExclusiveLock
Definition: lockdefs.h:38
static void reportDependentObjects(const ObjectAddresses *targetObjects, DropBehavior behavior, int flags, const ObjectAddress *origObject)
Definition: dependency.c:828
static void AcquireDeletionLock(const ObjectAddress *object, int flags)
Definition: dependency.c:1299
Relation heap_open(Oid relationId, LOCKMODE lockmode)
Definition: heapam.c:1290
int i
static void deleteObjectsInList(ObjectAddresses *targetObjects, Relation *depRel, int flags)
Definition: dependency.c:219

◆ record_object_address_dependencies()

void record_object_address_dependencies ( const ObjectAddress depender,
ObjectAddresses referenced,
DependencyType  behavior 
)

Definition at line 2362 of file dependency.c.

References eliminate_duplicate_dependencies(), ObjectAddresses::numrefs, recordMultipleDependencies(), and ObjectAddresses::refs.

Referenced by makeConfigurationDependencies().

2365 {
2367  recordMultipleDependencies(depender,
2368  referenced->refs, referenced->numrefs,
2369  behavior);
2370 }
static void eliminate_duplicate_dependencies(ObjectAddresses *addrs)
Definition: dependency.c:2014
ObjectAddress * refs
Definition: dependency.c:111
void recordMultipleDependencies(const ObjectAddress *depender, const ObjectAddress *referenced, int nreferenced, DependencyType behavior)
Definition: pg_depend.c:56

◆ recordDependencyOnExpr()

void recordDependencyOnExpr ( const ObjectAddress depender,
Node expr,
List rtable,
DependencyType  behavior 
)

Definition at line 1351 of file dependency.c.

References find_expr_references_context::addrs, eliminate_duplicate_dependencies(), find_expr_references_walker(), free_object_addresses(), list_make1, new_object_addresses(), ObjectAddresses::numrefs, recordMultipleDependencies(), ObjectAddresses::refs, and find_expr_references_context::rtables.

Referenced by AlterPolicy(), CreatePolicy(), CreateTrigger(), GenerateTypeDependencies(), InsertRule(), ProcedureCreate(), RemoveRoleFromObjectPolicy(), and StoreAttrDefault().

1354 {
1356 
1357  context.addrs = new_object_addresses();
1358 
1359  /* Set up interpretation for Vars at varlevelsup = 0 */
1360  context.rtables = list_make1(rtable);
1361 
1362  /* Scan the expression tree for referenceable objects */
1363  find_expr_references_walker(expr, &context);
1364 
1365  /* Remove any duplicates */
1367 
1368  /* And record 'em */
1369  recordMultipleDependencies(depender,
1370  context.addrs->refs, context.addrs->numrefs,
1371  behavior);
1372 
1373  free_object_addresses(context.addrs);
1374 }
static bool find_expr_references_walker(Node *node, find_expr_references_context *context)
Definition: dependency.c:1487
ObjectAddresses * addrs
Definition: dependency.c:130
ObjectAddresses * new_object_addresses(void)
Definition: dependency.c:2105
void free_object_addresses(ObjectAddresses *addrs)
Definition: dependency.c:2376
static void eliminate_duplicate_dependencies(ObjectAddresses *addrs)
Definition: dependency.c:2014
#define list_make1(x1)
Definition: pg_list.h:139
ObjectAddress * refs
Definition: dependency.c:111
void recordMultipleDependencies(const ObjectAddress *depender, const ObjectAddress *referenced, int nreferenced, DependencyType behavior)
Definition: pg_depend.c:56

◆ recordDependencyOnSingleRelExpr()

void recordDependencyOnSingleRelExpr ( const ObjectAddress depender,
Node expr,
Oid  relId,
DependencyType  behavior,
DependencyType  self_behavior,
bool  ignore_self 
)

Definition at line 1392 of file dependency.c.

References add_exact_object_address(), find_expr_references_context::addrs, ObjectAddress::classId, eliminate_duplicate_dependencies(), find_expr_references_walker(), free_object_addresses(), list_make1, MemSet, new_object_addresses(), ObjectAddresses::numrefs, ObjectAddress::objectId, recordMultipleDependencies(), ObjectAddresses::refs, RelationRelationId, RangeTblEntry::relid, RangeTblEntry::relkind, RELKIND_RELATION, find_expr_references_context::rtables, RTE_RELATION, RangeTblEntry::rtekind, T_RangeTblEntry, and RangeTblEntry::type.

Referenced by CreateConstraintEntry(), index_create(), and StorePartitionKey().

1397 {
1399  RangeTblEntry rte;
1400 
1401  context.addrs = new_object_addresses();
1402 
1403  /* We gin up a rather bogus rangetable list to handle Vars */
1404  MemSet(&rte, 0, sizeof(rte));
1405  rte.type = T_RangeTblEntry;
1406  rte.rtekind = RTE_RELATION;
1407  rte.relid = relId;
1408  rte.relkind = RELKIND_RELATION; /* no need for exactness here */
1409 
1410  context.rtables = list_make1(list_make1(&rte));
1411 
1412  /* Scan the expression tree for referenceable objects */
1413  find_expr_references_walker(expr, &context);
1414 
1415  /* Remove any duplicates */
1417 
1418  /* Separate self-dependencies if necessary */
1419  if (behavior != self_behavior && context.addrs->numrefs > 0)
1420  {
1421  ObjectAddresses *self_addrs;
1422  ObjectAddress *outobj;
1423  int oldref,
1424  outrefs;
1425 
1426  self_addrs = new_object_addresses();
1427 
1428  outobj = context.addrs->refs;
1429  outrefs = 0;
1430  for (oldref = 0; oldref < context.addrs->numrefs; oldref++)
1431  {
1432  ObjectAddress *thisobj = context.addrs->refs + oldref;
1433 
1434  if (thisobj->classId == RelationRelationId &&
1435  thisobj->objectId == relId)
1436  {
1437  /* Move this ref into self_addrs */
1438  add_exact_object_address(thisobj, self_addrs);
1439  }
1440  else
1441  {
1442  /* Keep it in context.addrs */
1443  *outobj = *thisobj;
1444  outobj++;
1445  outrefs++;
1446  }
1447  }
1448  context.addrs->numrefs = outrefs;
1449 
1450  /* Record the self-dependencies */
1451  if (!ignore_self)
1452  recordMultipleDependencies(depender,
1453  self_addrs->refs, self_addrs->numrefs,
1454  self_behavior);
1455 
1456  free_object_addresses(self_addrs);
1457  }
1458 
1459  /* Record the external dependencies */
1460  recordMultipleDependencies(depender,
1461  context.addrs->refs, context.addrs->numrefs,
1462  behavior);
1463 
1464  free_object_addresses(context.addrs);
1465 }
static bool find_expr_references_walker(Node *node, find_expr_references_context *context)
Definition: dependency.c:1487
ObjectAddresses * addrs
Definition: dependency.c:130
#define RelationRelationId
Definition: pg_class.h:29
#define MemSet(start, val, len)
Definition: c.h:853
void add_exact_object_address(const ObjectAddress *object, ObjectAddresses *addrs)
Definition: dependency.c:2160
ObjectAddresses * new_object_addresses(void)
Definition: dependency.c:2105
void free_object_addresses(ObjectAddresses *addrs)
Definition: dependency.c:2376
static void eliminate_duplicate_dependencies(ObjectAddresses *addrs)
Definition: dependency.c:2014
#define list_make1(x1)
Definition: pg_list.h:139
ObjectAddress * refs
Definition: dependency.c:111
void recordMultipleDependencies(const ObjectAddress *depender, const ObjectAddress *referenced, int nreferenced, DependencyType behavior)
Definition: pg_depend.c:56
RTEKind rtekind
Definition: parsenodes.h:951
NodeTag type
Definition: parsenodes.h:949
#define RELKIND_RELATION
Definition: pg_class.h:160

◆ ReleaseDeletionLock()

static void ReleaseDeletionLock ( const ObjectAddress object)
static

Definition at line 1326 of file dependency.c.

References AccessExclusiveLock, ObjectAddress::classId, ObjectAddress::objectId, RelationRelationId, UnlockDatabaseObject(), and UnlockRelationOid().

Referenced by findDependentObjects().

1327 {
1328  if (object->classId == RelationRelationId)
1330  else
1331  /* assume we should lock the whole object not a sub-object */
1332  UnlockDatabaseObject(object->classId, object->objectId, 0,
1334 }
void UnlockRelationOid(Oid relid, LOCKMODE lockmode)
Definition: lmgr.c:182
#define RelationRelationId
Definition: pg_class.h:29
void UnlockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition: lmgr.c:851
#define AccessExclusiveLock
Definition: lockdefs.h:45

◆ reportDependentObjects()

static void reportDependentObjects ( const ObjectAddresses targetObjects,
DropBehavior  behavior,
int  flags,
const ObjectAddress origObject 
)
static

Definition at line 828 of file dependency.c.

References _, appendStringInfo(), appendStringInfoChar(), client_min_messages, StringInfoData::data, DEBUG2, ObjectAddressExtra::dependee, DEPFLAG_AUTO, DEPFLAG_EXTENSION, DEPFLAG_INTERNAL, DEPFLAG_ORIGINAL, DROP_CASCADE, DROP_RESTRICT, ereport, errcode(), errdetail(), errdetail_log(), errhint(), errmsg(), errmsg_internal(), errmsg_plural(), ERROR, ObjectAddresses::extras, ObjectAddressExtra::flags, getObjectDescription(), i, initStringInfo(), StringInfoData::len, LOG, log_min_messages, MAX_REPORTED_DEPS, ngettext, NOTICE, ObjectAddresses::numrefs, PERFORM_DELETION_QUIETLY, pfree(), and ObjectAddresses::refs.

Referenced by performDeletion(), and performMultipleDeletions().

832 {
833  int msglevel = (flags & PERFORM_DELETION_QUIETLY) ? DEBUG2 : NOTICE;
834  bool ok = true;
835  StringInfoData clientdetail;
836  StringInfoData logdetail;
837  int numReportedClient = 0;
838  int numNotReportedClient = 0;
839  int i;
840 
841  /*
842  * If no error is to be thrown, and the msglevel is too low to be shown to
843  * either client or server log, there's no need to do any of the work.
844  *
845  * Note: this code doesn't know all there is to be known about elog
846  * levels, but it works for NOTICE and DEBUG2, which are the only values
847  * msglevel can currently have. We also assume we are running in a normal
848  * operating environment.
849  */
850  if (behavior == DROP_CASCADE &&
851  msglevel < client_min_messages &&
852  (msglevel < log_min_messages || log_min_messages == LOG))
853  return;
854 
855  /*
856  * We limit the number of dependencies reported to the client to
857  * MAX_REPORTED_DEPS, since client software may not deal well with
858  * enormous error strings. The server log always gets a full report.
859  */
860 #define MAX_REPORTED_DEPS 100
861 
862  initStringInfo(&clientdetail);
863  initStringInfo(&logdetail);
864 
865  /*
866  * We process the list back to front (ie, in dependency order not deletion
867  * order), since this makes for a more understandable display.
868  */
869  for (i = targetObjects->numrefs - 1; i >= 0; i--)
870  {
871  const ObjectAddress *obj = &targetObjects->refs[i];
872  const ObjectAddressExtra *extra = &targetObjects->extras[i];
873  char *objDesc;
874 
875  /* Ignore the original deletion target(s) */
876  if (extra->flags & DEPFLAG_ORIGINAL)
877  continue;
878 
879  objDesc = getObjectDescription(obj);
880 
881  /*
882  * If, at any stage of the recursive search, we reached the object via
883  * an AUTO, INTERNAL, or EXTENSION dependency, then it's okay to
884  * delete it even in RESTRICT mode.
885  */
886  if (extra->flags & (DEPFLAG_AUTO |
889  {
890  /*
891  * auto-cascades are reported at DEBUG2, not msglevel. We don't
892  * try to combine them with the regular message because the
893  * results are too confusing when client_min_messages and
894  * log_min_messages are different.
895  */
896  ereport(DEBUG2,
897  (errmsg("drop auto-cascades to %s",
898  objDesc)));
899  }
900  else if (behavior == DROP_RESTRICT)
901  {
902  char *otherDesc = getObjectDescription(&extra->dependee);
903 
904  if (numReportedClient < MAX_REPORTED_DEPS)
905  {
906  /* separate entries with a newline */
907  if (clientdetail.len != 0)
908  appendStringInfoChar(&clientdetail, '\n');
909  appendStringInfo(&clientdetail, _("%s depends on %s"),
910  objDesc, otherDesc);
911  numReportedClient++;
912  }
913  else
914  numNotReportedClient++;
915  /* separate entries with a newline */
916  if (logdetail.len != 0)
917  appendStringInfoChar(&logdetail, '\n');
918  appendStringInfo(&logdetail, _("%s depends on %s"),
919  objDesc, otherDesc);
920  pfree(otherDesc);
921  ok = false;
922  }
923  else
924  {
925  if (numReportedClient < MAX_REPORTED_DEPS)
926  {
927  /* separate entries with a newline */
928  if (clientdetail.len != 0)
929  appendStringInfoChar(&clientdetail, '\n');
930  appendStringInfo(&clientdetail, _("drop cascades to %s"),
931  objDesc);
932  numReportedClient++;
933  }
934  else
935  numNotReportedClient++;
936  /* separate entries with a newline */
937  if (logdetail.len != 0)
938  appendStringInfoChar(&logdetail, '\n');
939  appendStringInfo(&logdetail, _("drop cascades to %s"),
940  objDesc);
941  }
942 
943  pfree(objDesc);
944  }
945 
946  if (numNotReportedClient > 0)
947  appendStringInfo(&clientdetail, ngettext("\nand %d other object "
948  "(see server log for list)",
949  "\nand %d other objects "
950  "(see server log for list)",
951  numNotReportedClient),
952  numNotReportedClient);
953 
954  if (!ok)
955  {
956  if (origObject)
957  ereport(ERROR,
958  (errcode(ERRCODE_DEPENDENT_OBJECTS_STILL_EXIST),
959  errmsg("cannot drop %s because other objects depend on it",
960  getObjectDescription(origObject)),
961  errdetail("%s", clientdetail.data),
962  errdetail_log("%s", logdetail.data),
963  errhint("Use DROP ... CASCADE to drop the dependent objects too.")));
964  else
965  ereport(ERROR,
966  (errcode(ERRCODE_DEPENDENT_OBJECTS_STILL_EXIST),
967  errmsg("cannot drop desired object(s) because other objects depend on them"),
968  errdetail("%s", clientdetail.data),
969  errdetail_log("%s", logdetail.data),
970  errhint("Use DROP ... CASCADE to drop the dependent objects too.")));
971  }
972  else if (numReportedClient > 1)
973  {
974  ereport(msglevel,
975  /* translator: %d always has a value larger than 1 */
976  (errmsg_plural("drop cascades to %d other object",
977  "drop cascades to %d other objects",
978  numReportedClient + numNotReportedClient,
979  numReportedClient + numNotReportedClient),
980  errdetail("%s", clientdetail.data),
981  errdetail_log("%s", logdetail.data)));
982  }
983  else if (numReportedClient == 1)
984  {
985  /* we just use the single item as-is */
986  ereport(msglevel,
987  (errmsg_internal("%s", clientdetail.data)));
988  }
989 
990  pfree(clientdetail.data);
991  pfree(logdetail.data);
992 }
int errhint(const char *fmt,...)
Definition: elog.c:987
int errmsg_plural(const char *fmt_singular, const char *fmt_plural, unsigned long n,...)
Definition: elog.c:850
int errcode(int sqlerrcode)
Definition: elog.c:575
#define LOG
Definition: elog.h:26
char * getObjectDescription(const ObjectAddress *object)
void pfree(void *pointer)
Definition: mcxt.c:949
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition: stringinfo.c:78
#define ERROR
Definition: elog.h:43
#define DEPFLAG_ORIGINAL
Definition: dependency.c:100
#define DEPFLAG_AUTO
Definition: dependency.c:102
#define DEPFLAG_INTERNAL
Definition: dependency.c:103
#define DEBUG2
Definition: elog.h:24
ObjectAddress * refs
Definition: dependency.c:111
int errdetail(const char *fmt,...)
Definition: elog.c:873
int errdetail_log(const char *fmt,...)
Definition: elog.c:921
#define ereport(elevel, rest)
Definition: elog.h:122
void appendStringInfoChar(StringInfo str, char ch)
Definition: stringinfo.c:169
void initStringInfo(StringInfo str)
Definition: stringinfo.c:46
#define ngettext(s, p, n)
Definition: c.h:967
int log_min_messages
Definition: guc.c:452
#define DEPFLAG_EXTENSION
Definition: dependency.c:104
#define NOTICE
Definition: elog.h:37
int errmsg_internal(const char *fmt,...)
Definition: elog.c:827
#define PERFORM_DELETION_QUIETLY
Definition: dependency.h:176
ObjectAddressExtra * extras
Definition: dependency.c:112
int errmsg(const char *fmt,...)
Definition: elog.c:797
int i
int client_min_messages
Definition: guc.c:453
#define MAX_REPORTED_DEPS
ObjectAddress dependee
Definition: dependency.c:96
#define _(x)
Definition: elog.c:84

◆ stack_address_present_add_flags()

static bool stack_address_present_add_flags ( const ObjectAddress object,
int  flags,
ObjectAddressStack stack 
)
static

Definition at line 2313 of file dependency.c.

References ObjectAddress::classId, ObjectAddressStack::flags, ObjectAddressStack::next, ObjectAddressStack::object, ObjectAddress::objectId, and ObjectAddress::objectSubId.

Referenced by findDependentObjects().

2316 {
2317  bool result = false;
2318  ObjectAddressStack *stackptr;
2319 
2320  for (stackptr = stack; stackptr; stackptr = stackptr->next)
2321  {
2322  const ObjectAddress *thisobj = stackptr->object;
2323 
2324  if (object->classId == thisobj->classId &&
2325  object->objectId == thisobj->objectId)
2326  {
2327  if (object->objectSubId == thisobj->objectSubId)
2328  {
2329  stackptr->flags |= flags;
2330  result = true;
2331  }
2332  else if (thisobj->objectSubId == 0)
2333  {
2334  /*
2335  * We're visiting a column with whole table already on stack.
2336  * As in object_address_present_add_flags(), we can skip
2337  * further processing of the subobject, but we don't want to
2338  * propagate flags for the subobject to the whole object.
2339  */
2340  result = true;
2341  }
2342  else if (object->objectSubId == 0)
2343  {
2344  /*
2345  * We're visiting a table with column already on stack. As in
2346  * object_address_present_add_flags(), we should propagate
2347  * flags for the whole object to each of its subobjects.
2348  */
2349  stackptr->flags |= flags;
2350  }
2351  }
2352  }
2353 
2354  return result;
2355 }
struct ObjectAddressStack * next
Definition: dependency.c:124
const ObjectAddress * object
Definition: dependency.c:122

Variable Documentation

◆ object_classes

const Oid object_classes[]
static

Definition at line 138 of file dependency.c.

Referenced by add_object_address().