PostgreSQL Source Code git master
Loading...
Searching...
No Matches
dependency.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * dependency.c
4 * Routines to support inter-object dependencies.
5 *
6 *
7 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
8 * Portions Copyright (c) 1994, Regents of the University of California
9 *
10 * IDENTIFICATION
11 * src/backend/catalog/dependency.c
12 *
13 *-------------------------------------------------------------------------
14 */
15#include "postgres.h"
16
17#include "access/genam.h"
18#include "access/htup_details.h"
19#include "access/table.h"
20#include "access/xact.h"
21#include "catalog/catalog.h"
22#include "catalog/dependency.h"
23#include "catalog/heap.h"
24#include "catalog/index.h"
25#include "catalog/namespace.h"
27#include "catalog/pg_am.h"
28#include "catalog/pg_amop.h"
29#include "catalog/pg_amproc.h"
30#include "catalog/pg_attrdef.h"
31#include "catalog/pg_authid.h"
33#include "catalog/pg_cast.h"
37#include "catalog/pg_database.h"
39#include "catalog/pg_depend.h"
45#include "catalog/pg_language.h"
48#include "catalog/pg_opclass.h"
49#include "catalog/pg_operator.h"
50#include "catalog/pg_opfamily.h"
52#include "catalog/pg_policy.h"
53#include "catalog/pg_proc.h"
57#include "catalog/pg_rewrite.h"
62#include "catalog/pg_trigger.h"
64#include "catalog/pg_ts_dict.h"
67#include "catalog/pg_type.h"
69#include "commands/comment.h"
70#include "commands/defrem.h"
72#include "commands/extension.h"
73#include "commands/policy.h"
75#include "commands/seclabel.h"
76#include "commands/sequence.h"
77#include "commands/trigger.h"
78#include "commands/typecmds.h"
79#include "funcapi.h"
80#include "miscadmin.h"
81#include "nodes/nodeFuncs.h"
82#include "parser/parsetree.h"
84#include "storage/lmgr.h"
85#include "utils/fmgroids.h"
86#include "utils/lsyscache.h"
87#include "utils/syscache.h"
88
89
90/*
91 * Deletion processing requires additional state for each ObjectAddress that
92 * it's planning to delete. For simplicity and code-sharing we make the
93 * ObjectAddresses code support arrays with or without this extra state.
94 */
95typedef struct
96{
97 int flags; /* bitmask, see bit definitions below */
98 ObjectAddress dependee; /* object whose deletion forced this one */
100
101/* ObjectAddressExtra flag bits */
102#define DEPFLAG_ORIGINAL 0x0001 /* an original deletion target */
103#define DEPFLAG_NORMAL 0x0002 /* reached via normal dependency */
104#define DEPFLAG_AUTO 0x0004 /* reached via auto dependency */
105#define DEPFLAG_INTERNAL 0x0008 /* reached via internal dependency */
106#define DEPFLAG_PARTITION 0x0010 /* reached via partition dependency */
107#define DEPFLAG_EXTENSION 0x0020 /* reached via extension dependency */
108#define DEPFLAG_REVERSE 0x0040 /* reverse internal/extension link */
109#define DEPFLAG_IS_PART 0x0080 /* has a partition dependency */
110#define DEPFLAG_SUBOBJECT 0x0100 /* subobject of another deletable object */
111
112
113/* expansible list of ObjectAddresses */
115{
116 ObjectAddress *refs; /* => palloc'd array */
117 ObjectAddressExtra *extras; /* => palloc'd array, or NULL if not used */
118 int numrefs; /* current number of references */
119 int maxrefs; /* current size of palloc'd array(s) */
120};
121
122/* typedef ObjectAddresses appears in dependency.h */
123
124/* threaded list of ObjectAddresses, for recursion detection */
125typedef struct ObjectAddressStack
126{
127 const ObjectAddress *object; /* object being visited */
128 int flags; /* its current flag bits */
129 struct ObjectAddressStack *next; /* next outer stack level */
131
132/* temporary storage in findDependentObjects */
133typedef struct
134{
135 ObjectAddress obj; /* object to be deleted --- MUST BE FIRST */
136 int subflags; /* flags to pass down when recursing to obj */
138
139/* for find_expr_references_walker */
140typedef struct
141{
142 ObjectAddresses *addrs; /* addresses being accumulated */
143 List *rtables; /* list of rangetables to resolve Vars */
145
146
147static void findDependentObjects(const ObjectAddress *object,
148 int objflags,
149 int flags,
150 ObjectAddressStack *stack,
155 DropBehavior behavior,
156 int flags,
158static void deleteOneObject(const ObjectAddress *object,
160static void doDeletion(const ObjectAddress *object, int flags);
161static bool find_expr_references_walker(Node *node,
166static int object_address_comparator(const void *a, const void *b);
167static void add_object_address(Oid classId, Oid objectId, int32 subId,
168 ObjectAddresses *addrs);
169static void add_exact_object_address_extra(const ObjectAddress *object,
170 const ObjectAddressExtra *extra,
171 ObjectAddresses *addrs);
172static bool object_address_present_add_flags(const ObjectAddress *object,
173 int flags,
174 ObjectAddresses *addrs);
175static bool stack_address_present_add_flags(const ObjectAddress *object,
176 int flags,
177 ObjectAddressStack *stack);
178static void DeleteInitPrivs(const ObjectAddress *object);
179
180
181/*
182 * Go through the objects given running the final actions on them, and execute
183 * the actual deletion.
184 */
185static void
187 int flags)
188{
189 int i;
190
191 /*
192 * Keep track of objects for event triggers, if necessary.
193 */
195 {
196 for (i = 0; i < targetObjects->numrefs; i++)
197 {
198 const ObjectAddress *thisobj = &targetObjects->refs[i];
199 const ObjectAddressExtra *extra = &targetObjects->extras[i];
200 bool original = false;
201 bool normal = false;
202
203 if (extra->flags & DEPFLAG_ORIGINAL)
204 original = true;
205 if (extra->flags & DEPFLAG_NORMAL)
206 normal = true;
207 if (extra->flags & DEPFLAG_REVERSE)
208 normal = true;
209
211 {
212 EventTriggerSQLDropAddObject(thisobj, original, normal);
213 }
214 }
215 }
216
217 /*
218 * Delete all the objects in the proper order, except that if told to, we
219 * should skip the original object(s).
220 */
221 for (i = 0; i < targetObjects->numrefs; i++)
222 {
225
227 (thisextra->flags & DEPFLAG_ORIGINAL))
228 continue;
229
231 }
232}
233
234/*
235 * performDeletion: attempt to drop the specified object. If CASCADE
236 * behavior is specified, also drop any dependent objects (recursively).
237 * If RESTRICT behavior is specified, error out if there are any dependent
238 * objects, except for those that should be implicitly dropped anyway
239 * according to the dependency type.
240 *
241 * This is the outer control routine for all forms of DROP that drop objects
242 * that can participate in dependencies. Note that performMultipleDeletions
243 * is a variant on the same theme; if you change anything here you'll likely
244 * need to fix that too.
245 *
246 * Bits in the flags argument can include:
247 *
248 * PERFORM_DELETION_INTERNAL: indicates that the drop operation is not the
249 * direct result of a user-initiated action. For example, when a temporary
250 * schema is cleaned out so that a new backend can use it, or when a column
251 * default is dropped as an intermediate step while adding a new one, that's
252 * an internal operation. On the other hand, when we drop something because
253 * the user issued a DROP statement against it, that's not internal. Currently
254 * this suppresses calling event triggers and making some permissions checks.
255 *
256 * PERFORM_DELETION_CONCURRENTLY: perform the drop concurrently. This does
257 * not currently work for anything except dropping indexes; don't set it for
258 * other object types or you may get strange results.
259 *
260 * PERFORM_DELETION_QUIETLY: reduce message level from NOTICE to DEBUG2.
261 *
262 * PERFORM_DELETION_SKIP_ORIGINAL: do not delete the specified object(s),
263 * but only what depends on it/them.
264 *
265 * PERFORM_DELETION_SKIP_EXTENSIONS: do not delete extensions, even when
266 * deleting objects that are part of an extension. This should generally
267 * be used only when dropping temporary objects.
268 *
269 * PERFORM_DELETION_CONCURRENT_LOCK: perform the drop normally but with a lock
270 * as if it were concurrent. This is used by REINDEX CONCURRENTLY.
271 *
272 */
273void
275 DropBehavior behavior, int flags)
276{
279
280 /*
281 * We save some cycles by opening pg_depend just once and passing the
282 * Relation pointer down to all the recursive deletion steps.
283 */
285
286 /*
287 * Acquire deletion lock on the target object. (Ideally the caller has
288 * done this already, but many places are sloppy about it.)
289 */
290 AcquireDeletionLock(object, 0);
291
292 /*
293 * Construct a list of objects to delete (ie, the given object plus
294 * everything directly or indirectly dependent on it).
295 */
297
300 flags,
301 NULL, /* empty stack */
303 NULL, /* no pendingObjects */
304 &depRel);
305
306 /*
307 * Check if deletion is allowed, and report about cascaded deletes.
308 */
310 behavior,
311 flags,
312 object);
313
314 /* do the deed */
316
317 /* And clean up */
319
321}
322
323/*
324 * performDeletionCheck: Check whether a specific object can be safely deleted.
325 * This function does not perform any deletion; instead, it raises an error
326 * if the object cannot be deleted due to existing dependencies.
327 *
328 * It can be useful when you need to delete some objects later. See comments
329 * in performDeletion too.
330 * The behavior must be specified as DROP_RESTRICT.
331 */
332void
334 DropBehavior behavior, int flags)
335{
338
339 Assert(behavior == DROP_RESTRICT);
340
342
343 AcquireDeletionLock(object, 0);
344
345 /*
346 * Construct a list of objects we want to delete later (ie, the given
347 * object plus everything directly or indirectly dependent on it).
348 */
350
353 flags,
354 NULL, /* empty stack */
356 NULL, /* no pendingObjects */
357 &depRel);
358
359 /*
360 * Check if deletion is allowed.
361 */
363 behavior,
364 flags,
365 object);
366
367 /* And clean up */
369
371}
372
373/*
374 * performMultipleDeletions: Similar to performDeletion, but acts on multiple
375 * objects at once.
376 *
377 * The main difference from issuing multiple performDeletion calls is that the
378 * list of objects that would be implicitly dropped, for each object to be
379 * dropped, is the union of the implicit-object list for all objects. This
380 * makes each check more relaxed.
381 */
382void
384 DropBehavior behavior, int flags)
385{
388 int i;
389
390 /* No work if no objects... */
391 if (objects->numrefs <= 0)
392 return;
393
394 /*
395 * We save some cycles by opening pg_depend just once and passing the
396 * Relation pointer down to all the recursive deletion steps.
397 */
399
400 /*
401 * Construct a list of objects to delete (ie, the given objects plus
402 * everything directly or indirectly dependent on them). Note that
403 * because we pass the whole objects list as pendingObjects context, we
404 * won't get a failure from trying to delete an object that is internally
405 * dependent on another one in the list; we'll just skip that object and
406 * delete it when we reach its owner.
407 */
409
410 for (i = 0; i < objects->numrefs; i++)
411 {
412 const ObjectAddress *thisobj = objects->refs + i;
413
414 /*
415 * Acquire deletion lock on each target object. (Ideally the caller
416 * has done this already, but many places are sloppy about it.)
417 */
419
422 flags,
423 NULL, /* empty stack */
425 objects,
426 &depRel);
427 }
428
429 /*
430 * Check if deletion is allowed, and report about cascaded deletes.
431 *
432 * If there's exactly one object being deleted, report it the same way as
433 * in performDeletion(), else we have to be vaguer.
434 */
436 behavior,
437 flags,
438 (objects->numrefs == 1 ? objects->refs : NULL));
439
440 /* do the deed */
442
443 /* And clean up */
445
447}
448
449/*
450 * findDependentObjects - find all objects that depend on 'object'
451 *
452 * For every object that depends on the starting object, acquire a deletion
453 * lock on the object, add it to targetObjects (if not already there),
454 * and recursively find objects that depend on it. An object's dependencies
455 * will be placed into targetObjects before the object itself; this means
456 * that the finished list's order represents a safe deletion order.
457 *
458 * The caller must already have a deletion lock on 'object' itself,
459 * but must not have added it to targetObjects. (Note: there are corner
460 * cases where we won't add the object either, and will also release the
461 * caller-taken lock. This is a bit ugly, but the API is set up this way
462 * to allow easy rechecking of an object's liveness after we lock it. See
463 * notes within the function.)
464 *
465 * When dropping a whole object (subId = 0), we find dependencies for
466 * its sub-objects too.
467 *
468 * object: the object to add to targetObjects and find dependencies on
469 * objflags: flags to be ORed into the object's targetObjects entry
470 * flags: PERFORM_DELETION_xxx flags for the deletion operation as a whole
471 * stack: list of objects being visited in current recursion; topmost item
472 * is the object that we recursed from (NULL for external callers)
473 * targetObjects: list of objects that are scheduled to be deleted
474 * pendingObjects: list of other objects slated for destruction, but
475 * not necessarily in targetObjects yet (can be NULL if none)
476 * *depRel: already opened pg_depend relation
477 *
478 * Note: objflags describes the reason for visiting this particular object
479 * at this time, and is not passed down when recursing. The flags argument
480 * is passed down, since it describes what we're doing overall.
481 */
482static void
484 int objflags,
485 int flags,
486 ObjectAddressStack *stack,
490{
491 ScanKeyData key[3];
492 int nkeys;
493 SysScanDesc scan;
502 ObjectAddressExtra extra;
503
504 /*
505 * If the target object is already being visited in an outer recursion
506 * level, just report the current objflags back to that level and exit.
507 * This is needed to avoid infinite recursion in the face of circular
508 * dependencies.
509 *
510 * The stack check alone would result in dependency loops being broken at
511 * an arbitrary point, ie, the first member object of the loop to be
512 * visited is the last one to be deleted. This is obviously unworkable.
513 * However, the check for internal dependency below guarantees that we
514 * will not break a loop at an internal dependency: if we enter the loop
515 * at an "owned" object we will switch and start at the "owning" object
516 * instead. We could probably hack something up to avoid breaking at an
517 * auto dependency, too, if we had to. However there are no known cases
518 * where that would be necessary.
519 */
520 if (stack_address_present_add_flags(object, objflags, stack))
521 return;
522
523 /*
524 * since this function recurses, it could be driven to stack overflow,
525 * because of the deep dependency tree, not only due to dependency loops.
526 */
528
529 /*
530 * It's also possible that the target object has already been completely
531 * processed and put into targetObjects. If so, again we just add the
532 * specified objflags to its entry and return.
533 *
534 * (Note: in these early-exit cases we could release the caller-taken
535 * lock, since the object is presumably now locked multiple times; but it
536 * seems not worth the cycles.)
537 */
539 return;
540
541 /*
542 * If the target object is pinned, we can just error out immediately; it
543 * won't have any objects recorded as depending on it.
544 */
548 errmsg("cannot drop %s because it is required by the database system",
549 getObjectDescription(object, false))));
550
551 /*
552 * The target object might be internally dependent on some other object
553 * (its "owner"), and/or be a member of an extension (also considered its
554 * owner). If so, and if we aren't recursing from the owning object, we
555 * have to transform this deletion request into a deletion request of the
556 * owning object. (We'll eventually recurse back to this object, but the
557 * owning object has to be visited first so it will be deleted after.) The
558 * way to find out about this is to scan the pg_depend entries that show
559 * what this object depends on.
560 */
561 ScanKeyInit(&key[0],
565 ScanKeyInit(&key[1],
569 if (object->objectSubId != 0)
570 {
571 /* Consider only dependencies of this sub-object */
572 ScanKeyInit(&key[2],
576 nkeys = 3;
577 }
578 else
579 {
580 /* Consider dependencies of this object and any sub-objects it has */
581 nkeys = 2;
582 }
583
585 NULL, nkeys, key);
586
587 /* initialize variables that loop may fill */
588 memset(&owningObject, 0, sizeof(owningObject));
590
591 while (HeapTupleIsValid(tup = systable_getnext(scan)))
592 {
594
595 otherObject.classId = foundDep->refclassid;
596 otherObject.objectId = foundDep->refobjid;
597 otherObject.objectSubId = foundDep->refobjsubid;
598
599 /*
600 * When scanning dependencies of a whole object, we may find rows
601 * linking sub-objects of the object to the object itself. (Normally,
602 * such a dependency is implicit, but we must make explicit ones in
603 * some cases involving partitioning.) We must ignore such rows to
604 * avoid infinite recursion.
605 */
606 if (otherObject.classId == object->classId &&
607 otherObject.objectId == object->objectId &&
608 object->objectSubId == 0)
609 continue;
610
611 switch (foundDep->deptype)
612 {
614 case DEPENDENCY_AUTO:
616 /* no problem */
617 break;
618
620
621 /*
622 * If told to, ignore EXTENSION dependencies altogether. This
623 * flag is normally used to prevent dropping extensions during
624 * temporary-object cleanup, even if a temp object was created
625 * during an extension script.
626 */
628 break;
629
630 /*
631 * If the other object is the extension currently being
632 * created/altered, ignore this dependency and continue with
633 * the deletion. This allows dropping of an extension's
634 * objects within the extension's scripts, as well as corner
635 * cases such as dropping a transient object created within
636 * such a script.
637 */
638 if (creating_extension &&
639 otherObject.classId == ExtensionRelationId &&
641 break;
642
643 /* Otherwise, treat this like an internal dependency */
644 /* FALL THRU */
645
647
648 /*
649 * This object is part of the internal implementation of
650 * another object, or is part of the extension that is the
651 * other object. We have three cases:
652 *
653 * 1. At the outermost recursion level, we must disallow the
654 * DROP. However, if the owning object is listed in
655 * pendingObjects, just release the caller's lock and return;
656 * we'll eventually complete the DROP when we reach that entry
657 * in the pending list.
658 *
659 * Note: the above statement is true only if this pg_depend
660 * entry still exists by then; in principle, therefore, we
661 * could miss deleting an item the user told us to delete.
662 * However, no inconsistency can result: since we're at outer
663 * level, there is no object depending on this one.
664 */
665 if (stack == NULL)
666 {
667 if (pendingObjects &&
669 {
670 systable_endscan(scan);
671 /* need to release caller's lock; see notes below */
672 ReleaseDeletionLock(object);
673 return;
674 }
675
676 /*
677 * We postpone actually issuing the error message until
678 * after this loop, so that we can make the behavior
679 * independent of the ordering of pg_depend entries, at
680 * least if there's not more than one INTERNAL and one
681 * EXTENSION dependency. (If there's more, we'll complain
682 * about a random one of them.) Prefer to complain about
683 * EXTENSION, since that's generally a more important
684 * dependency.
685 */
686 if (!OidIsValid(owningObject.classId) ||
687 foundDep->deptype == DEPENDENCY_EXTENSION)
689 break;
690 }
691
692 /*
693 * 2. When recursing from the other end of this dependency,
694 * it's okay to continue with the deletion. This holds when
695 * recursing from a whole object that includes the nominal
696 * other end as a component, too. Since there can be more
697 * than one "owning" object, we have to allow matches that are
698 * more than one level down in the stack.
699 */
701 break;
702
703 /*
704 * 3. Not all the owning objects have been visited, so
705 * transform this deletion request into a delete of this
706 * owning object.
707 *
708 * First, release caller's lock on this object and get
709 * deletion lock on the owning object. (We must release
710 * caller's lock to avoid deadlock against a concurrent
711 * deletion of the owning object.)
712 */
713 ReleaseDeletionLock(object);
715
716 /*
717 * The owning object might have been deleted while we waited
718 * to lock it; if so, neither it nor the current object are
719 * interesting anymore. We test this by checking the
720 * pg_depend entry (see notes below).
721 */
722 if (!systable_recheck_tuple(scan, tup))
723 {
724 systable_endscan(scan);
726 return;
727 }
728
729 /*
730 * One way or the other, we're done with the scan; might as
731 * well close it down before recursing, to reduce peak
732 * resource consumption.
733 */
734 systable_endscan(scan);
735
736 /*
737 * Okay, recurse to the owning object instead of proceeding.
738 *
739 * We do not need to stack the current object; we want the
740 * traversal order to be as if the original reference had
741 * linked to the owning object instead of this one.
742 *
743 * The dependency type is a "reverse" dependency: we need to
744 * delete the owning object if this one is to be deleted, but
745 * this linkage is never a reason for an automatic deletion.
746 */
749 flags,
750 stack,
753 depRel);
754
755 /*
756 * The current target object should have been added to
757 * targetObjects while processing the owning object; but it
758 * probably got only the flag bits associated with the
759 * dependency we're looking at. We need to add the objflags
760 * that were passed to this recursion level, too, else we may
761 * get a bogus failure in reportDependentObjects (if, for
762 * example, we were called due to a partition dependency).
763 *
764 * If somehow the current object didn't get scheduled for
765 * deletion, bleat. (That would imply that somebody deleted
766 * this dependency record before the recursion got to it.)
767 * Another idea would be to reacquire lock on the current
768 * object and resume trying to delete it, but it seems not
769 * worth dealing with the race conditions inherent in that.
770 */
773 elog(ERROR, "deletion of owning object %s failed to delete %s",
775 getObjectDescription(object, false));
776
777 /* And we're done here. */
778 return;
779
781
782 /*
783 * Remember that this object has a partition-type dependency.
784 * After the dependency scan, we'll complain if we didn't find
785 * a reason to delete one of its partition dependencies.
786 */
788
789 /*
790 * Also remember the primary partition owner, for error
791 * messages. If there are multiple primary owners (which
792 * there should not be), we'll report a random one of them.
793 */
795 break;
796
798
799 /*
800 * Only use secondary partition owners in error messages if we
801 * find no primary owner (which probably shouldn't happen).
802 */
803 if (!(objflags & DEPFLAG_IS_PART))
805
806 /*
807 * Remember that this object has a partition-type dependency.
808 * After the dependency scan, we'll complain if we didn't find
809 * a reason to delete one of its partition dependencies.
810 */
812 break;
813
814 default:
815 elog(ERROR, "unrecognized dependency type '%c' for %s",
816 foundDep->deptype, getObjectDescription(object, false));
817 break;
818 }
819 }
820
821 systable_endscan(scan);
822
823 /*
824 * If we found an INTERNAL or EXTENSION dependency when we're at outer
825 * level, complain about it now. If we also found a PARTITION dependency,
826 * we prefer to report the PARTITION dependency. This is arbitrary but
827 * seems to be more useful in practice.
828 */
829 if (OidIsValid(owningObject.classId))
830 {
831 char *otherObjDesc;
832
833 if (OidIsValid(partitionObject.classId))
835 else
837
840 errmsg("cannot drop %s because %s requires it",
841 getObjectDescription(object, false), otherObjDesc),
842 errhint("You can drop %s instead.", otherObjDesc)));
843 }
844
845 /*
846 * Next, identify all objects that directly depend on the current object.
847 * To ensure predictable deletion order, we collect them up in
848 * dependentObjects and sort the list before actually recursing. (The
849 * deletion order would be valid in any case, but doing this ensures
850 * consistent output from DROP CASCADE commands, which is helpful for
851 * regression testing.)
852 */
853 maxDependentObjects = 128; /* arbitrary initial allocation */
856
857 ScanKeyInit(&key[0],
861 ScanKeyInit(&key[1],
865 if (object->objectSubId != 0)
866 {
867 ScanKeyInit(&key[2],
871 nkeys = 3;
872 }
873 else
874 nkeys = 2;
875
877 NULL, nkeys, key);
878
879 while (HeapTupleIsValid(tup = systable_getnext(scan)))
880 {
882 int subflags;
883
884 otherObject.classId = foundDep->classid;
885 otherObject.objectId = foundDep->objid;
886 otherObject.objectSubId = foundDep->objsubid;
887
888 /*
889 * If what we found is a sub-object of the current object, just ignore
890 * it. (Normally, such a dependency is implicit, but we must make
891 * explicit ones in some cases involving partitioning.)
892 */
893 if (otherObject.classId == object->classId &&
894 otherObject.objectId == object->objectId &&
895 object->objectSubId == 0)
896 continue;
897
898 /*
899 * Must lock the dependent object before recursing to it.
900 */
902
903 /*
904 * The dependent object might have been deleted while we waited to
905 * lock it; if so, we don't need to do anything more with it. We can
906 * test this cheaply and independently of the object's type by seeing
907 * if the pg_depend tuple we are looking at is still live. (If the
908 * object got deleted, the tuple would have been deleted too.)
909 */
910 if (!systable_recheck_tuple(scan, tup))
911 {
912 /* release the now-useless lock */
914 /* and continue scanning for dependencies */
915 continue;
916 }
917
918 /*
919 * We do need to delete it, so identify objflags to be passed down,
920 * which depend on the dependency type.
921 */
922 switch (foundDep->deptype)
923 {
925 subflags = DEPFLAG_NORMAL;
926 break;
927 case DEPENDENCY_AUTO:
929 subflags = DEPFLAG_AUTO;
930 break;
932 subflags = DEPFLAG_INTERNAL;
933 break;
936 subflags = DEPFLAG_PARTITION;
937 break;
939 subflags = DEPFLAG_EXTENSION;
940 break;
941 default:
942 elog(ERROR, "unrecognized dependency type '%c' for %s",
943 foundDep->deptype, getObjectDescription(object, false));
944 subflags = 0; /* keep compiler quiet */
945 break;
946 }
947
948 /* And add it to the pending-objects list */
950 {
951 /* enlarge array if needed */
956 }
957
959 dependentObjects[numDependentObjects].subflags = subflags;
961 }
962
963 systable_endscan(scan);
964
965 /*
966 * Now we can sort the dependent objects into a stable visitation order.
967 * It's safe to use object_address_comparator here since the obj field is
968 * first within ObjectAddressAndFlags.
969 */
970 if (numDependentObjects > 1)
972 sizeof(ObjectAddressAndFlags),
974
975 /*
976 * Now recurse to the dependent objects. We must visit them first since
977 * they have to be deleted before the current object.
978 */
979 mystack.object = object; /* set up a new stack level */
980 mystack.flags = objflags;
981 mystack.next = stack;
982
983 for (int i = 0; i < numDependentObjects; i++)
984 {
986
988 depObj->subflags,
989 flags,
990 &mystack,
993 depRel);
994 }
995
997
998 /*
999 * Finally, we can add the target object to targetObjects. Be careful to
1000 * include any flags that were passed back down to us from inner recursion
1001 * levels. Record the "dependee" as being either the most important
1002 * partition owner if there is one, else the object we recursed from, if
1003 * any. (The logic in reportDependentObjects() is such that it can only
1004 * need one of those objects.)
1005 */
1006 extra.flags = mystack.flags;
1007 if (extra.flags & DEPFLAG_IS_PART)
1008 extra.dependee = partitionObject;
1009 else if (stack)
1010 extra.dependee = *stack->object;
1011 else
1012 memset(&extra.dependee, 0, sizeof(extra.dependee));
1014}
1015
1016/*
1017 * reportDependentObjects - report about dependencies, and fail if RESTRICT
1018 *
1019 * Tell the user about dependent objects that we are going to delete
1020 * (or would need to delete, but are prevented by RESTRICT mode);
1021 * then error out if there are any and it's not CASCADE mode.
1022 *
1023 * targetObjects: list of objects that are scheduled to be deleted
1024 * behavior: RESTRICT or CASCADE
1025 * flags: other flags for the deletion operation
1026 * origObject: base object of deletion, or NULL if not available
1027 * (the latter case occurs in DROP OWNED)
1028 */
1029static void
1031 DropBehavior behavior,
1032 int flags,
1034{
1036 bool ok = true;
1038 StringInfoData logdetail;
1039 int numReportedClient = 0;
1040 int numNotReportedClient = 0;
1041 int i;
1042
1043 /*
1044 * If we need to delete any partition-dependent objects, make sure that
1045 * we're deleting at least one of their partition dependencies, too. That
1046 * can be detected by checking that we reached them by a PARTITION
1047 * dependency at some point.
1048 *
1049 * We just report the first such object, as in most cases the only way to
1050 * trigger this complaint is to explicitly try to delete one partition of
1051 * a partitioned object.
1052 */
1053 for (i = 0; i < targetObjects->numrefs; i++)
1054 {
1055 const ObjectAddressExtra *extra = &targetObjects->extras[i];
1056
1057 if ((extra->flags & DEPFLAG_IS_PART) &&
1058 !(extra->flags & DEPFLAG_PARTITION))
1059 {
1060 const ObjectAddress *object = &targetObjects->refs[i];
1062 false);
1063
1064 ereport(ERROR,
1066 errmsg("cannot drop %s because %s requires it",
1067 getObjectDescription(object, false), otherObjDesc),
1068 errhint("You can drop %s instead.", otherObjDesc)));
1069 }
1070 }
1071
1072 /*
1073 * If no error is to be thrown, and the msglevel is too low to be shown to
1074 * either client or server log, there's no need to do any of the rest of
1075 * the work.
1076 */
1077 if (behavior == DROP_CASCADE &&
1079 return;
1080
1081 /*
1082 * We limit the number of dependencies reported to the client to
1083 * MAX_REPORTED_DEPS, since client software may not deal well with
1084 * enormous error strings. The server log always gets a full report.
1085 */
1086#define MAX_REPORTED_DEPS 100
1087
1089 initStringInfo(&logdetail);
1090
1091 /*
1092 * We process the list back to front (ie, in dependency order not deletion
1093 * order), since this makes for a more understandable display.
1094 */
1095 for (i = targetObjects->numrefs - 1; i >= 0; i--)
1096 {
1097 const ObjectAddress *obj = &targetObjects->refs[i];
1098 const ObjectAddressExtra *extra = &targetObjects->extras[i];
1099 char *objDesc;
1100
1101 /* Ignore the original deletion target(s) */
1102 if (extra->flags & DEPFLAG_ORIGINAL)
1103 continue;
1104
1105 /* Also ignore sub-objects; we'll report the whole object elsewhere */
1106 if (extra->flags & DEPFLAG_SUBOBJECT)
1107 continue;
1108
1109 objDesc = getObjectDescription(obj, false);
1110
1111 /* An object being dropped concurrently doesn't need to be reported */
1112 if (objDesc == NULL)
1113 continue;
1114
1115 /*
1116 * If, at any stage of the recursive search, we reached the object via
1117 * an AUTO, INTERNAL, PARTITION, or EXTENSION dependency, then it's
1118 * okay to delete it even in RESTRICT mode.
1119 */
1120 if (extra->flags & (DEPFLAG_AUTO |
1124 {
1125 /*
1126 * auto-cascades are reported at DEBUG2, not msglevel. We don't
1127 * try to combine them with the regular message because the
1128 * results are too confusing when client_min_messages and
1129 * log_min_messages are different.
1130 */
1132 (errmsg_internal("drop auto-cascades to %s",
1133 objDesc)));
1134 }
1135 else if (behavior == DROP_RESTRICT)
1136 {
1137 char *otherDesc = getObjectDescription(&extra->dependee,
1138 false);
1139
1140 if (otherDesc)
1141 {
1143 {
1144 /* separate entries with a newline */
1145 if (clientdetail.len != 0)
1147 appendStringInfo(&clientdetail, _("%s depends on %s"),
1150 }
1151 else
1153 /* separate entries with a newline */
1154 if (logdetail.len != 0)
1155 appendStringInfoChar(&logdetail, '\n');
1156 appendStringInfo(&logdetail, _("%s depends on %s"),
1159 }
1160 else
1162 ok = false;
1163 }
1164 else
1165 {
1167 {
1168 /* separate entries with a newline */
1169 if (clientdetail.len != 0)
1171 appendStringInfo(&clientdetail, _("drop cascades to %s"),
1172 objDesc);
1174 }
1175 else
1177 /* separate entries with a newline */
1178 if (logdetail.len != 0)
1179 appendStringInfoChar(&logdetail, '\n');
1180 appendStringInfo(&logdetail, _("drop cascades to %s"),
1181 objDesc);
1182 }
1183
1184 pfree(objDesc);
1185 }
1186
1187 if (numNotReportedClient > 0)
1188 appendStringInfo(&clientdetail, ngettext("\nand %d other object "
1189 "(see server log for list)",
1190 "\nand %d other objects "
1191 "(see server log for list)",
1194
1195 if (!ok)
1196 {
1197 if (origObject)
1198 ereport(ERROR,
1200 errmsg("cannot drop %s because other objects depend on it",
1202 errdetail_internal("%s", clientdetail.data),
1203 errdetail_log("%s", logdetail.data),
1204 errhint("Use DROP ... CASCADE to drop the dependent objects too.")));
1205 else
1206 ereport(ERROR,
1208 errmsg("cannot drop desired object(s) because other objects depend on them"),
1209 errdetail_internal("%s", clientdetail.data),
1210 errdetail_log("%s", logdetail.data),
1211 errhint("Use DROP ... CASCADE to drop the dependent objects too.")));
1212 }
1213 else if (numReportedClient > 1)
1214 {
1216 (errmsg_plural("drop cascades to %d other object",
1217 "drop cascades to %d other objects",
1220 errdetail_internal("%s", clientdetail.data),
1221 errdetail_log("%s", logdetail.data)));
1222 }
1223 else if (numReportedClient == 1)
1224 {
1225 /* we just use the single item as-is */
1227 (errmsg_internal("%s", clientdetail.data)));
1228 }
1229
1230 pfree(clientdetail.data);
1231 pfree(logdetail.data);
1232}
1233
1234/*
1235 * Drop an object by OID. Works for most catalogs, if no special processing
1236 * is needed.
1237 */
1238static void
1240{
1241 int cacheId;
1242 Relation rel;
1243 HeapTuple tup;
1244
1246
1248
1249 /*
1250 * Use the system cache for the oid column, if one exists.
1251 */
1252 if (cacheId >= 0)
1253 {
1255 if (!HeapTupleIsValid(tup))
1256 elog(ERROR, "cache lookup failed for %s %u",
1258
1259 CatalogTupleDelete(rel, &tup->t_self);
1260
1262 }
1263 else
1264 {
1265 ScanKeyData skey[1];
1266 SysScanDesc scan;
1267
1268 ScanKeyInit(&skey[0],
1272
1274 NULL, 1, skey);
1275
1276 /* we expect exactly one match */
1277 tup = systable_getnext(scan);
1278 if (!HeapTupleIsValid(tup))
1279 elog(ERROR, "could not find tuple for %s %u",
1281
1282 CatalogTupleDelete(rel, &tup->t_self);
1283
1284 systable_endscan(scan);
1285 }
1286
1288}
1289
1290/*
1291 * deleteOneObject: delete a single object for performDeletion.
1292 *
1293 * *depRel is the already-open pg_depend relation.
1294 */
1295static void
1297{
1298 ScanKeyData key[3];
1299 int nkeys;
1300 SysScanDesc scan;
1301 HeapTuple tup;
1302
1303 /* DROP hook of the objects being removed */
1306
1307 /*
1308 * Close depRel if we are doing a drop concurrently. The object deletion
1309 * subroutine will commit the current transaction, so we can't keep the
1310 * relation open across doDeletion().
1311 */
1314
1315 /*
1316 * Delete the object itself, in an object-type-dependent way.
1317 *
1318 * We used to do this after removing the outgoing dependency links, but it
1319 * seems just as reasonable to do it beforehand. In the concurrent case
1320 * we *must* do it in this order, because we can't make any transactional
1321 * updates before calling doDeletion() --- they'd get committed right
1322 * away, which is not cool if the deletion then fails.
1323 */
1324 doDeletion(object, flags);
1325
1326 /*
1327 * Reopen depRel if we closed it above
1328 */
1331
1332 /*
1333 * Now remove any pg_depend records that link from this object to others.
1334 * (Any records linking to this object should be gone already.)
1335 *
1336 * When dropping a whole object (subId = 0), remove all pg_depend records
1337 * for its sub-objects too.
1338 */
1339 ScanKeyInit(&key[0],
1343 ScanKeyInit(&key[1],
1347 if (object->objectSubId != 0)
1348 {
1349 ScanKeyInit(&key[2],
1353 nkeys = 3;
1354 }
1355 else
1356 nkeys = 2;
1357
1359 NULL, nkeys, key);
1360
1361 while (HeapTupleIsValid(tup = systable_getnext(scan)))
1362 {
1363 CatalogTupleDelete(*depRel, &tup->t_self);
1364 }
1365
1366 systable_endscan(scan);
1367
1368 /*
1369 * Delete shared dependency references related to this object. Again, if
1370 * subId = 0, remove records for sub-objects too.
1371 */
1374
1375
1376 /*
1377 * Delete any comments, security labels, or initial privileges associated
1378 * with this object. (This is a convenient place to do these things,
1379 * rather than having every object type know to do it.) As above, all
1380 * these functions must remove records for sub-objects too if the subid is
1381 * zero.
1382 */
1384 DeleteSecurityLabel(object);
1385 DeleteInitPrivs(object);
1386
1387 /*
1388 * CommandCounterIncrement here to ensure that preceding changes are all
1389 * visible to the next deletion step.
1390 */
1392
1393 /*
1394 * And we're done!
1395 */
1396}
1397
1398/*
1399 * doDeletion: actually delete a single object
1400 */
1401static void
1402doDeletion(const ObjectAddress *object, int flags)
1403{
1404 switch (object->classId)
1405 {
1406 case RelationRelationId:
1407 {
1409
1410 if (relKind == RELKIND_INDEX ||
1412 {
1413 bool concurrent = ((flags & PERFORM_DELETION_CONCURRENTLY) != 0);
1415
1416 Assert(object->objectSubId == 0);
1418 }
1419 else
1420 {
1421 if (object->objectSubId != 0)
1424 else
1426 }
1427
1428 /*
1429 * for a sequence, in addition to dropping the heap, also
1430 * delete pg_sequence tuple
1431 */
1434 break;
1435 }
1436
1439 break;
1440
1441 case TypeRelationId:
1443 break;
1444
1447 break;
1448
1451 break;
1452
1455 break;
1456
1457 case OperatorRelationId:
1459 break;
1460
1461 case RewriteRelationId:
1463 break;
1464
1465 case TriggerRelationId:
1467 break;
1468
1471 break;
1472
1473 case TSConfigRelationId:
1475 break;
1476
1479 break;
1480
1481 case PolicyRelationId:
1483 break;
1484
1487 break;
1488
1491 break;
1492
1495 break;
1496
1497 case CastRelationId:
1500 case LanguageRelationId:
1507 case TSParserRelationId:
1516 case AuthMemRelationId:
1517 DropObjectById(object);
1518 break;
1519
1520 /*
1521 * These global object types are not supported here.
1522 */
1523 case AuthIdRelationId:
1524 case DatabaseRelationId:
1528 elog(ERROR, "global objects cannot be deleted by doDeletion");
1529 break;
1530
1531 default:
1532 elog(ERROR, "unsupported object class: %u", object->classId);
1533 }
1534}
1535
1536/*
1537 * AcquireDeletionLock - acquire a suitable lock for deleting an object
1538 *
1539 * Accepts the same flags as performDeletion (though currently only
1540 * PERFORM_DELETION_CONCURRENTLY does anything).
1541 *
1542 * We use LockRelation for relations, and otherwise LockSharedObject or
1543 * LockDatabaseObject as appropriate for the object type.
1544 */
1545void
1547{
1549 {
1550 /*
1551 * In DROP INDEX CONCURRENTLY, take only ShareUpdateExclusiveLock on
1552 * the index for the moment. index_drop() will promote the lock once
1553 * it's safe to do so. In all other cases we need full exclusive
1554 * lock.
1555 */
1558 else
1560 }
1561 else if (object->classId == AuthMemRelationId)
1564 else
1565 {
1566 /* assume we should lock the whole object not a sub-object */
1569 }
1570}
1571
1572/*
1573 * ReleaseDeletionLock - release an object deletion lock
1574 *
1575 * Companion to AcquireDeletionLock.
1576 */
1577void
1579{
1582 else
1583 /* assume we should lock the whole object not a sub-object */
1586}
1587
1588/*
1589 * recordDependencyOnExpr - find expression dependencies
1590 *
1591 * This is used to find the dependencies of rules, constraint expressions,
1592 * etc.
1593 *
1594 * Given an expression or query in node-tree form, find all the objects
1595 * it refers to (tables, columns, operators, functions, etc). Record
1596 * a dependency of the specified type from the given depender object
1597 * to each object mentioned in the expression.
1598 *
1599 * rtable is the rangetable to be used to interpret Vars with varlevelsup=0.
1600 * It can be NIL if no such variables are expected.
1601 */
1602void
1604 Node *expr, List *rtable,
1605 DependencyType behavior)
1606{
1607 ObjectAddresses *addrs;
1608
1609 addrs = new_object_addresses();
1610
1611 /* Collect all dependencies from the expression */
1612 collectDependenciesOfExpr(addrs, expr, rtable);
1613
1614 /* Remove duplicates */
1616
1617 /* And record 'em */
1619 addrs->refs, addrs->numrefs,
1620 behavior);
1621
1622 free_object_addresses(addrs);
1623}
1624
1625/*
1626 * collectDependenciesOfExpr - collect expression dependencies
1627 *
1628 * This function analyzes an expression or query in node-tree form to
1629 * find all the objects it refers to (tables, columns, operators,
1630 * functions, etc.) and adds them to the provided ObjectAddresses
1631 * structure. Unlike recordDependencyOnExpr, this function does not
1632 * immediately record the dependencies, allowing the caller to add to,
1633 * filter, or modify the collected dependencies before recording them.
1634 *
1635 * rtable is the rangetable to be used to interpret Vars with varlevelsup=0.
1636 * It can be NIL if no such variables are expected.
1637 *
1638 * Note: the returned list may well contain duplicates. The caller should
1639 * de-duplicate before recording the dependencies. Within this file, callers
1640 * must call eliminate_duplicate_dependencies(). External callers typically
1641 * go through record_object_address_dependencies() which will see to that.
1642 * This choice allows collecting dependencies from multiple sources without
1643 * redundant de-duplication work.
1644 */
1645void
1647 Node *expr, List *rtable)
1648{
1650
1651 context.addrs = addrs;
1652
1653 /* Set up interpretation for Vars at varlevelsup = 0 */
1654 context.rtables = list_make1(rtable);
1655
1656 /* Scan the expression tree for referenceable objects */
1657 find_expr_references_walker(expr, &context);
1658}
1659
1660/*
1661 * recordDependencyOnSingleRelExpr - find expression dependencies
1662 *
1663 * As above, but only one relation is expected to be referenced (with
1664 * varno = 1 and varlevelsup = 0). Pass the relation OID instead of a
1665 * range table. An additional frammish is that dependencies on that
1666 * relation's component columns will be marked with 'self_behavior',
1667 * whereas 'behavior' is used for everything else; also, if 'reverse_self'
1668 * is true, those dependencies are reversed so that the columns are made
1669 * to depend on the table not vice versa.
1670 *
1671 * NOTE: the caller should ensure that a whole-table dependency on the
1672 * specified relation is created separately, if one is needed. In particular,
1673 * a whole-row Var "relation.*" will not cause this routine to emit any
1674 * dependency item. This is appropriate behavior for subexpressions of an
1675 * ordinary query, so other cases need to cope as necessary.
1676 */
1677void
1679 Node *expr, Oid relId,
1680 DependencyType behavior,
1682 bool reverse_self)
1683{
1685 RangeTblEntry rte = {0};
1686
1687 context.addrs = new_object_addresses();
1688
1689 /* We gin up a rather bogus rangetable list to handle Vars */
1690 rte.type = T_RangeTblEntry;
1691 rte.rtekind = RTE_RELATION;
1692 rte.relid = relId;
1693 rte.relkind = RELKIND_RELATION; /* no need for exactness here */
1694 rte.rellockmode = AccessShareLock;
1695
1696 context.rtables = list_make1(list_make1(&rte));
1697
1698 /* Scan the expression tree for referenceable objects */
1699 find_expr_references_walker(expr, &context);
1700
1701 /* Remove any duplicates */
1703
1704 /* Separate self-dependencies if necessary */
1705 if ((behavior != self_behavior || reverse_self) &&
1706 context.addrs->numrefs > 0)
1707 {
1710 int oldref,
1711 outrefs;
1712
1714
1715 outobj = context.addrs->refs;
1716 outrefs = 0;
1717 for (oldref = 0; oldref < context.addrs->numrefs; oldref++)
1718 {
1719 ObjectAddress *thisobj = context.addrs->refs + oldref;
1720
1721 if (thisobj->classId == RelationRelationId &&
1722 thisobj->objectId == relId)
1723 {
1724 /* Move this ref into self_addrs */
1726 }
1727 else
1728 {
1729 /* Keep it in context.addrs */
1730 *outobj = *thisobj;
1731 outobj++;
1732 outrefs++;
1733 }
1734 }
1735 context.addrs->numrefs = outrefs;
1736
1737 /* Record the self-dependencies with the appropriate direction */
1738 if (!reverse_self)
1740 self_addrs->refs, self_addrs->numrefs,
1742 else
1743 {
1744 /* Can't use recordMultipleDependencies, so do it the hard way */
1745 int selfref;
1746
1747 for (selfref = 0; selfref < self_addrs->numrefs; selfref++)
1748 {
1750
1752 }
1753 }
1754
1756 }
1757
1758 /* Record the external dependencies */
1760 context.addrs->refs, context.addrs->numrefs,
1761 behavior);
1762
1764}
1765
1766/*
1767 * Recursively search an expression tree for object references.
1768 *
1769 * Note: in many cases we do not need to create dependencies on the datatypes
1770 * involved in an expression, because we'll have an indirect dependency via
1771 * some other object. For instance Var nodes depend on a column which depends
1772 * on the datatype, and OpExpr nodes depend on the operator which depends on
1773 * the datatype. However we do need a type dependency if there is no such
1774 * indirect dependency, as for example in Const and CoerceToDomain nodes.
1775 *
1776 * Similarly, we don't need to create dependencies on collations except where
1777 * the collation is being freshly introduced to the expression.
1778 */
1779static bool
1782{
1783 if (node == NULL)
1784 return false;
1785 if (IsA(node, Var))
1786 {
1787 Var *var = (Var *) node;
1788 List *rtable;
1790
1791 /* Find matching rtable entry, or complain if not found */
1792 if (var->varlevelsup >= list_length(context->rtables))
1793 elog(ERROR, "invalid varlevelsup %d", var->varlevelsup);
1794 rtable = (List *) list_nth(context->rtables, var->varlevelsup);
1795 if (var->varno <= 0 || var->varno > list_length(rtable))
1796 elog(ERROR, "invalid varno %d", var->varno);
1797 rte = rt_fetch(var->varno, rtable);
1798
1799 /*
1800 * A whole-row Var references no specific columns, so adds no new
1801 * dependency. (We assume that there is a whole-table dependency
1802 * arising from each underlying rangetable entry. While we could
1803 * record such a dependency when finding a whole-row Var that
1804 * references a relation directly, it's quite unclear how to extend
1805 * that to whole-row Vars for JOINs, so it seems better to leave the
1806 * responsibility with the range table. Note that this poses some
1807 * risks for identifying dependencies of stand-alone expressions:
1808 * whole-table references may need to be created separately.)
1809 */
1810 if (var->varattno == InvalidAttrNumber)
1811 return false;
1812 if (rte->rtekind == RTE_RELATION)
1813 {
1814 /* If it's a plain relation, reference this column */
1816 context->addrs);
1817 }
1818 else if (rte->rtekind == RTE_FUNCTION)
1819 {
1820 /* Might need to add a dependency on a composite type's column */
1821 /* (done out of line, because it's a bit bulky) */
1822 process_function_rte_ref(rte, var->varattno, context);
1823 }
1824
1825 /*
1826 * Vars referencing other RTE types require no additional work. In
1827 * particular, a join alias Var can be ignored, because it must
1828 * reference a merged USING column. The relevant join input columns
1829 * will also be referenced in the join qual, and any type coercion
1830 * functions involved in the alias expression will be dealt with when
1831 * we scan the RTE itself.
1832 */
1833 return false;
1834 }
1835 else if (IsA(node, Const))
1836 {
1837 Const *con = (Const *) node;
1838 Oid objoid;
1839
1840 /* A constant must depend on the constant's datatype */
1842 context->addrs);
1843
1844 /*
1845 * We must also depend on the constant's collation: it could be
1846 * different from the datatype's, if a CollateExpr was const-folded to
1847 * a simple constant. However we can save work in the most common
1848 * case where the collation is "default", since we know that's pinned.
1849 */
1850 if (OidIsValid(con->constcollid) &&
1851 con->constcollid != DEFAULT_COLLATION_OID)
1852 add_object_address(CollationRelationId, con->constcollid, 0,
1853 context->addrs);
1854
1855 /*
1856 * If it's a regclass or similar literal referring to an existing
1857 * object, add a reference to that object. (Currently, only the
1858 * regclass and regconfig cases have any likely use, but we may as
1859 * well handle all the OID-alias datatypes consistently.)
1860 */
1861 if (!con->constisnull)
1862 {
1863 switch (con->consttype)
1864 {
1865 case REGPROCOID:
1866 case REGPROCEDUREOID:
1867 objoid = DatumGetObjectId(con->constvalue);
1869 ObjectIdGetDatum(objoid)))
1871 context->addrs);
1872 break;
1873 case REGOPEROID:
1874 case REGOPERATOROID:
1875 objoid = DatumGetObjectId(con->constvalue);
1877 ObjectIdGetDatum(objoid)))
1879 context->addrs);
1880 break;
1881 case REGCLASSOID:
1882 objoid = DatumGetObjectId(con->constvalue);
1884 ObjectIdGetDatum(objoid)))
1886 context->addrs);
1887 break;
1888 case REGTYPEOID:
1889 objoid = DatumGetObjectId(con->constvalue);
1891 ObjectIdGetDatum(objoid)))
1893 context->addrs);
1894 break;
1895 case REGCOLLATIONOID:
1896 objoid = DatumGetObjectId(con->constvalue);
1898 ObjectIdGetDatum(objoid)))
1900 context->addrs);
1901 break;
1902 case REGCONFIGOID:
1903 objoid = DatumGetObjectId(con->constvalue);
1905 ObjectIdGetDatum(objoid)))
1907 context->addrs);
1908 break;
1909 case REGDICTIONARYOID:
1910 objoid = DatumGetObjectId(con->constvalue);
1912 ObjectIdGetDatum(objoid)))
1914 context->addrs);
1915 break;
1916
1917 case REGNAMESPACEOID:
1918 objoid = DatumGetObjectId(con->constvalue);
1920 ObjectIdGetDatum(objoid)))
1922 context->addrs);
1923 break;
1924
1925 /*
1926 * Dependencies for regrole should be shared among all
1927 * databases, so explicitly inhibit to have dependencies.
1928 */
1929 case REGROLEOID:
1930 ereport(ERROR,
1932 errmsg("constant of the type %s cannot be used here",
1933 "regrole")));
1934 break;
1935
1936 /*
1937 * Dependencies for regdatabase should be shared among all
1938 * databases, so explicitly inhibit to have dependencies.
1939 */
1940 case REGDATABASEOID:
1941 ereport(ERROR,
1943 errmsg("constant of the type %s cannot be used here",
1944 "regdatabase")));
1945 break;
1946 }
1947 }
1948 return false;
1949 }
1950 else if (IsA(node, Param))
1951 {
1952 Param *param = (Param *) node;
1953
1954 /* A parameter must depend on the parameter's datatype */
1956 context->addrs);
1957 /* and its collation, just as for Consts */
1958 if (OidIsValid(param->paramcollid) &&
1961 context->addrs);
1962 }
1963 else if (IsA(node, FuncExpr))
1964 {
1965 FuncExpr *funcexpr = (FuncExpr *) node;
1966
1968 context->addrs);
1969 /* fall through to examine arguments */
1970 }
1971 else if (IsA(node, OpExpr))
1972 {
1973 OpExpr *opexpr = (OpExpr *) node;
1974
1976 context->addrs);
1977 /* fall through to examine arguments */
1978 }
1979 else if (IsA(node, DistinctExpr))
1980 {
1982
1984 context->addrs);
1985 /* fall through to examine arguments */
1986 }
1987 else if (IsA(node, NullIfExpr))
1988 {
1989 NullIfExpr *nullifexpr = (NullIfExpr *) node;
1990
1992 context->addrs);
1993 /* fall through to examine arguments */
1994 }
1995 else if (IsA(node, ScalarArrayOpExpr))
1996 {
1997 ScalarArrayOpExpr *opexpr = (ScalarArrayOpExpr *) node;
1998
2000 context->addrs);
2001 /* fall through to examine arguments */
2002 }
2003 else if (IsA(node, Aggref))
2004 {
2005 Aggref *aggref = (Aggref *) node;
2006
2008 context->addrs);
2009 /* fall through to examine arguments */
2010 }
2011 else if (IsA(node, WindowFunc))
2012 {
2013 WindowFunc *wfunc = (WindowFunc *) node;
2014
2016 context->addrs);
2017 /* fall through to examine arguments */
2018 }
2019 else if (IsA(node, SubscriptingRef))
2020 {
2021 SubscriptingRef *sbsref = (SubscriptingRef *) node;
2022
2023 /*
2024 * The refexpr should provide adequate dependency on refcontainertype,
2025 * and that type in turn depends on refelemtype. However, a custom
2026 * subscripting handler might set refrestype to something different
2027 * from either of those, in which case we'd better record it.
2028 */
2029 if (sbsref->refrestype != sbsref->refcontainertype &&
2030 sbsref->refrestype != sbsref->refelemtype)
2031 add_object_address(TypeRelationId, sbsref->refrestype, 0,
2032 context->addrs);
2033 /* fall through to examine arguments */
2034 }
2035 else if (IsA(node, SubPlan))
2036 {
2037 /* Extra work needed here if we ever need this case */
2038 elog(ERROR, "already-planned subqueries not supported");
2039 }
2040 else if (IsA(node, FieldSelect))
2041 {
2042 FieldSelect *fselect = (FieldSelect *) node;
2043 Oid argtype = getBaseType(exprType((Node *) fselect->arg));
2044 Oid reltype = get_typ_typrelid(argtype);
2045
2046 /*
2047 * We need a dependency on the specific column named in FieldSelect,
2048 * assuming we can identify the pg_class OID for it. (Probably we
2049 * always can at the moment, but in future it might be possible for
2050 * argtype to be RECORDOID.) If we can make a column dependency then
2051 * we shouldn't need a dependency on the column's type; but if we
2052 * can't, make a dependency on the type, as it might not appear
2053 * anywhere else in the expression.
2054 */
2055 if (OidIsValid(reltype))
2056 add_object_address(RelationRelationId, reltype, fselect->fieldnum,
2057 context->addrs);
2058 else
2060 context->addrs);
2061 /* the collation might not be referenced anywhere else, either */
2062 if (OidIsValid(fselect->resultcollid) &&
2063 fselect->resultcollid != DEFAULT_COLLATION_OID)
2065 context->addrs);
2066 }
2067 else if (IsA(node, FieldStore))
2068 {
2069 FieldStore *fstore = (FieldStore *) node;
2070 Oid reltype = get_typ_typrelid(fstore->resulttype);
2071
2072 /* similar considerations to FieldSelect, but multiple column(s) */
2073 if (OidIsValid(reltype))
2074 {
2075 ListCell *l;
2076
2077 foreach(l, fstore->fieldnums)
2079 context->addrs);
2080 }
2081 else
2082 add_object_address(TypeRelationId, fstore->resulttype, 0,
2083 context->addrs);
2084 }
2085 else if (IsA(node, RelabelType))
2086 {
2087 RelabelType *relab = (RelabelType *) node;
2088
2089 /* since there is no function dependency, need to depend on type */
2090 add_object_address(TypeRelationId, relab->resulttype, 0,
2091 context->addrs);
2092 /* the collation might not be referenced anywhere else, either */
2093 if (OidIsValid(relab->resultcollid) &&
2094 relab->resultcollid != DEFAULT_COLLATION_OID)
2096 context->addrs);
2097 }
2098 else if (IsA(node, CoerceViaIO))
2099 {
2100 CoerceViaIO *iocoerce = (CoerceViaIO *) node;
2101
2102 /* since there is no exposed function, need to depend on type */
2104 context->addrs);
2105 /* the collation might not be referenced anywhere else, either */
2106 if (OidIsValid(iocoerce->resultcollid) &&
2107 iocoerce->resultcollid != DEFAULT_COLLATION_OID)
2108 add_object_address(CollationRelationId, iocoerce->resultcollid, 0,
2109 context->addrs);
2110 }
2111 else if (IsA(node, ArrayCoerceExpr))
2112 {
2114
2115 /* as above, depend on type */
2117 context->addrs);
2118 /* the collation might not be referenced anywhere else, either */
2119 if (OidIsValid(acoerce->resultcollid) &&
2120 acoerce->resultcollid != DEFAULT_COLLATION_OID)
2122 context->addrs);
2123 /* fall through to examine arguments */
2124 }
2125 else if (IsA(node, ConvertRowtypeExpr))
2126 {
2128
2129 /* since there is no function dependency, need to depend on type */
2130 add_object_address(TypeRelationId, cvt->resulttype, 0,
2131 context->addrs);
2132 }
2133 else if (IsA(node, CollateExpr))
2134 {
2135 CollateExpr *coll = (CollateExpr *) node;
2136
2138 context->addrs);
2139 }
2140 else if (IsA(node, RowExpr))
2141 {
2142 RowExpr *rowexpr = (RowExpr *) node;
2143
2144 add_object_address(TypeRelationId, rowexpr->row_typeid, 0,
2145 context->addrs);
2146 }
2147 else if (IsA(node, RowCompareExpr))
2148 {
2150 ListCell *l;
2151
2152 foreach(l, rcexpr->opnos)
2153 {
2155 context->addrs);
2156 }
2157 foreach(l, rcexpr->opfamilies)
2158 {
2160 context->addrs);
2161 }
2162 /* fall through to examine arguments */
2163 }
2164 else if (IsA(node, CoerceToDomain))
2165 {
2166 CoerceToDomain *cd = (CoerceToDomain *) node;
2167
2169 context->addrs);
2170 }
2171 else if (IsA(node, NextValueExpr))
2172 {
2173 NextValueExpr *nve = (NextValueExpr *) node;
2174
2176 context->addrs);
2177 }
2178 else if (IsA(node, OnConflictExpr))
2179 {
2180 OnConflictExpr *onconflict = (OnConflictExpr *) node;
2181
2182 if (OidIsValid(onconflict->constraint))
2184 context->addrs);
2185 /* fall through to examine arguments */
2186 }
2187 else if (IsA(node, SortGroupClause))
2188 {
2190
2192 context->addrs);
2193 if (OidIsValid(sgc->sortop))
2195 context->addrs);
2196 return false;
2197 }
2198 else if (IsA(node, WindowClause))
2199 {
2200 WindowClause *wc = (WindowClause *) node;
2201
2202 if (OidIsValid(wc->startInRangeFunc))
2203 add_object_address(ProcedureRelationId, wc->startInRangeFunc, 0,
2204 context->addrs);
2205 if (OidIsValid(wc->endInRangeFunc))
2206 add_object_address(ProcedureRelationId, wc->endInRangeFunc, 0,
2207 context->addrs);
2208 if (OidIsValid(wc->inRangeColl) &&
2209 wc->inRangeColl != DEFAULT_COLLATION_OID)
2210 add_object_address(CollationRelationId, wc->inRangeColl, 0,
2211 context->addrs);
2212 /* fall through to examine substructure */
2213 }
2214 else if (IsA(node, CTECycleClause))
2215 {
2216 CTECycleClause *cc = (CTECycleClause *) node;
2217
2218 if (OidIsValid(cc->cycle_mark_type))
2220 context->addrs);
2223 context->addrs);
2224 if (OidIsValid(cc->cycle_mark_neop))
2226 context->addrs);
2227 /* fall through to examine substructure */
2228 }
2229 else if (IsA(node, Query))
2230 {
2231 /* Recurse into RTE subquery or not-yet-planned sublink subquery */
2232 Query *query = (Query *) node;
2233 ListCell *lc;
2234 bool result;
2235
2236 /*
2237 * Add whole-relation refs for each plain relation mentioned in the
2238 * subquery's rtable, and ensure we add refs for any type-coercion
2239 * functions used in join alias lists.
2240 *
2241 * Note: query_tree_walker takes care of recursing into RTE_FUNCTION
2242 * RTEs, subqueries, etc, so no need to do that here. But we must
2243 * tell it not to visit join alias lists, or we'll add refs for join
2244 * input columns whether or not they are actually used in our query.
2245 *
2246 * Note: we don't need to worry about collations mentioned in
2247 * RTE_VALUES or RTE_CTE RTEs, because those must just duplicate
2248 * collations referenced in other parts of the Query. We do have to
2249 * worry about collations mentioned in RTE_FUNCTION, but we take care
2250 * of those when we recurse to the RangeTblFunction node(s).
2251 */
2252 foreach(lc, query->rtable)
2253 {
2255
2256 switch (rte->rtekind)
2257 {
2258 case RTE_RELATION:
2260 context->addrs);
2261 break;
2262 case RTE_JOIN:
2263
2264 /*
2265 * Examine joinaliasvars entries only for merged JOIN
2266 * USING columns. Only those entries could contain
2267 * type-coercion functions. Also, their join input
2268 * columns must be referenced in the join quals, so this
2269 * won't accidentally add refs to otherwise-unused join
2270 * input columns. (We want to ref the type coercion
2271 * functions even if the merged column isn't explicitly
2272 * used anywhere, to protect possible expansion of the
2273 * join RTE as a whole-row var, and because it seems like
2274 * a bad idea to allow dropping a function that's present
2275 * in our query tree, whether or not it could get called.)
2276 */
2277 context->rtables = lcons(query->rtable, context->rtables);
2278 for (int i = 0; i < rte->joinmergedcols; i++)
2279 {
2280 Node *aliasvar = list_nth(rte->joinaliasvars, i);
2281
2282 if (!IsA(aliasvar, Var))
2284 }
2285 context->rtables = list_delete_first(context->rtables);
2286 break;
2288
2289 /*
2290 * Cataloged objects cannot depend on tuplestores, because
2291 * those have no cataloged representation. For now we can
2292 * call the tuplestore a "transition table" because that's
2293 * the only kind exposed to SQL, but someday we might have
2294 * to work harder.
2295 */
2296 ereport(ERROR,
2298 errmsg("transition table \"%s\" cannot be referenced in a persistent object",
2299 rte->eref->aliasname)));
2300 break;
2301 default:
2302 /* Other RTE types can be ignored here */
2303 break;
2304 }
2305 }
2306
2307 /*
2308 * If the query is an INSERT or UPDATE, we should create a dependency
2309 * on each target column, to prevent the specific target column from
2310 * being dropped. Although we will visit the TargetEntry nodes again
2311 * during query_tree_walker, we won't have enough context to do this
2312 * conveniently, so do it here.
2313 */
2314 if (query->commandType == CMD_INSERT ||
2315 query->commandType == CMD_UPDATE)
2316 {
2318
2319 if (query->resultRelation <= 0 ||
2320 query->resultRelation > list_length(query->rtable))
2321 elog(ERROR, "invalid resultRelation %d",
2322 query->resultRelation);
2323 rte = rt_fetch(query->resultRelation, query->rtable);
2324 if (rte->rtekind == RTE_RELATION)
2325 {
2326 foreach(lc, query->targetList)
2327 {
2329
2330 if (tle->resjunk)
2331 continue; /* ignore junk tlist items */
2333 context->addrs);
2334 }
2335 }
2336 }
2337
2338 /*
2339 * Add dependencies on constraints listed in query's constraintDeps
2340 */
2341 foreach(lc, query->constraintDeps)
2342 {
2344 context->addrs);
2345 }
2346
2347 /* Examine substructure of query */
2348 context->rtables = lcons(query->rtable, context->rtables);
2349 result = query_tree_walker(query,
2351 context,
2354 context->rtables = list_delete_first(context->rtables);
2355 return result;
2356 }
2357 else if (IsA(node, SetOperationStmt))
2358 {
2359 SetOperationStmt *setop = (SetOperationStmt *) node;
2360
2361 /* we need to look at the groupClauses for operator references */
2362 find_expr_references_walker((Node *) setop->groupClauses, context);
2363 /* fall through to examine child nodes */
2364 }
2365 else if (IsA(node, RangeTblFunction))
2366 {
2367 RangeTblFunction *rtfunc = (RangeTblFunction *) node;
2368 ListCell *ct;
2369
2370 /*
2371 * Add refs for any datatypes and collations used in a column
2372 * definition list for a RECORD function. (For other cases, it should
2373 * be enough to depend on the function itself.)
2374 */
2375 foreach(ct, rtfunc->funccoltypes)
2376 {
2378 context->addrs);
2379 }
2380 foreach(ct, rtfunc->funccolcollations)
2381 {
2383
2386 context->addrs);
2387 }
2388 }
2389 else if (IsA(node, TableFunc))
2390 {
2391 TableFunc *tf = (TableFunc *) node;
2392 ListCell *ct;
2393
2394 /*
2395 * Add refs for the datatypes and collations used in the TableFunc.
2396 */
2397 foreach(ct, tf->coltypes)
2398 {
2400 context->addrs);
2401 }
2402 foreach(ct, tf->colcollations)
2403 {
2405
2408 context->addrs);
2409 }
2410 }
2411 else if (IsA(node, TableSampleClause))
2412 {
2414
2416 context->addrs);
2417 /* fall through to examine arguments */
2418 }
2419
2421 context);
2422}
2423
2424/*
2425 * find_expr_references_walker subroutine: handle a Var reference
2426 * to an RTE_FUNCTION RTE
2427 */
2428static void
2431{
2432 int atts_done = 0;
2433 ListCell *lc;
2434
2435 /*
2436 * Identify which RangeTblFunction produces this attnum, and see if it
2437 * returns a composite type. If so, we'd better make a dependency on the
2438 * referenced column of the composite type (or actually, of its associated
2439 * relation).
2440 */
2441 foreach(lc, rte->functions)
2442 {
2444
2445 if (attnum > atts_done &&
2447 {
2448 TupleDesc tupdesc;
2449
2450 /* If it has a coldeflist, it certainly returns RECORD */
2451 if (rtfunc->funccolnames != NIL)
2452 tupdesc = NULL; /* no need to work hard */
2453 else
2454 tupdesc = get_expr_result_tupdesc(rtfunc->funcexpr, true);
2455 if (tupdesc && tupdesc->tdtypeid != RECORDOID)
2456 {
2457 /*
2458 * Named composite type, so individual columns could get
2459 * dropped. Make a dependency on this specific column.
2460 */
2461 Oid reltype = get_typ_typrelid(tupdesc->tdtypeid);
2462
2464 if (OidIsValid(reltype)) /* can this fail? */
2466 attnum - atts_done,
2467 context->addrs);
2468 return;
2469 }
2470 /* Nothing to do; function's result type is handled elsewhere */
2471 return;
2472 }
2473 atts_done += rtfunc->funccolcount;
2474 }
2475
2476 /* If we get here, must be looking for the ordinality column */
2477 if (rte->funcordinality && attnum == atts_done + 1)
2478 return;
2479
2480 /* this probably can't happen ... */
2481 ereport(ERROR,
2483 errmsg("column %d of relation \"%s\" does not exist",
2484 attnum, rte->eref->aliasname)));
2485}
2486
2487/*
2488 * find_temp_object - search an array of dependency references for temp objects
2489 *
2490 * Scan an ObjectAddresses array for references to temporary objects (objects
2491 * in temporary namespaces), ignoring those in our own temp namespace if
2492 * local_temp_okay is true. If one is found, return true after storing its
2493 * address in *foundobj.
2494 *
2495 * Current callers only use this to deliver helpful notices, so reporting
2496 * one such object seems sufficient. We return the first one, which should
2497 * be a stable result for a given query since it depends only on the order
2498 * in which this module searches query trees. (However, it's important to
2499 * call this before de-duplicating the objects, else OID order would affect
2500 * the result.)
2501 */
2502bool
2505{
2506 for (int i = 0; i < addrs->numrefs; i++)
2507 {
2508 const ObjectAddress *thisobj = addrs->refs + i;
2510
2511 /*
2512 * Use get_object_namespace() to see if this object belongs to a
2513 * schema. If not, we can skip it.
2514 */
2516
2517 /*
2518 * If the object is in a temporary namespace, complain, except if
2519 * local_temp_okay and it's our own temp namespace.
2520 */
2523 {
2524 *foundobj = *thisobj;
2525 return true;
2526 }
2527 }
2528 return false;
2529}
2530
2531/*
2532 * query_uses_temp_object - convenience wrapper for find_temp_object
2533 *
2534 * If the Query includes any use of a temporary object, fill *temp_object
2535 * with the address of one such object and return true.
2536 */
2537bool
2539{
2540 bool result;
2541 ObjectAddresses *addrs;
2542
2543 addrs = new_object_addresses();
2544
2545 /* Collect all dependencies from the Query */
2546 collectDependenciesOfExpr(addrs, (Node *) query, NIL);
2547
2548 /* Look for one that is temp */
2549 result = find_temp_object(addrs, false, temp_object);
2550
2551 free_object_addresses(addrs);
2552
2553 return result;
2554}
2555
2556/*
2557 * Given an array of dependency references, eliminate any duplicates.
2558 */
2559static void
2561{
2563 int oldref,
2564 newrefs;
2565
2566 /*
2567 * We can't sort if the array has "extra" data, because there's no way to
2568 * keep it in sync. Fortunately that combination of features is not
2569 * needed.
2570 */
2571 Assert(!addrs->extras);
2572
2573 if (addrs->numrefs <= 1)
2574 return; /* nothing to do */
2575
2576 /* Sort the refs so that duplicates are adjacent */
2577 qsort(addrs->refs, addrs->numrefs, sizeof(ObjectAddress),
2579
2580 /* Remove dups */
2581 priorobj = addrs->refs;
2582 newrefs = 1;
2583 for (oldref = 1; oldref < addrs->numrefs; oldref++)
2584 {
2585 ObjectAddress *thisobj = addrs->refs + oldref;
2586
2587 if (priorobj->classId == thisobj->classId &&
2588 priorobj->objectId == thisobj->objectId)
2589 {
2590 if (priorobj->objectSubId == thisobj->objectSubId)
2591 continue; /* identical, so drop thisobj */
2592
2593 /*
2594 * If we have a whole-object reference and a reference to a part
2595 * of the same object, we don't need the whole-object reference
2596 * (for example, we don't need to reference both table foo and
2597 * column foo.bar). The whole-object reference will always appear
2598 * first in the sorted list.
2599 */
2600 if (priorobj->objectSubId == 0)
2601 {
2602 /* replace whole ref with partial */
2603 priorobj->objectSubId = thisobj->objectSubId;
2604 continue;
2605 }
2606 }
2607 /* Not identical, so add thisobj to output set */
2608 priorobj++;
2609 *priorobj = *thisobj;
2610 newrefs++;
2611 }
2612
2613 addrs->numrefs = newrefs;
2614}
2615
2616/*
2617 * qsort comparator for ObjectAddress items
2618 */
2619static int
2620object_address_comparator(const void *a, const void *b)
2621{
2622 const ObjectAddress *obja = (const ObjectAddress *) a;
2623 const ObjectAddress *objb = (const ObjectAddress *) b;
2624
2625 /*
2626 * Primary sort key is OID descending. Most of the time, this will result
2627 * in putting newer objects before older ones, which is likely to be the
2628 * right order to delete in.
2629 */
2630 if (obja->objectId > objb->objectId)
2631 return -1;
2632 if (obja->objectId < objb->objectId)
2633 return 1;
2634
2635 /*
2636 * Next sort on catalog ID, in case identical OIDs appear in different
2637 * catalogs. Sort direction is pretty arbitrary here.
2638 */
2639 if (obja->classId < objb->classId)
2640 return -1;
2641 if (obja->classId > objb->classId)
2642 return 1;
2643
2644 /*
2645 * Last, sort on object subId.
2646 *
2647 * We sort the subId as an unsigned int so that 0 (the whole object) will
2648 * come first. This is essential for eliminate_duplicate_dependencies,
2649 * and is also the best order for findDependentObjects.
2650 */
2651 if ((unsigned int) obja->objectSubId < (unsigned int) objb->objectSubId)
2652 return -1;
2653 if ((unsigned int) obja->objectSubId > (unsigned int) objb->objectSubId)
2654 return 1;
2655 return 0;
2656}
2657
2658/*
2659 * Routines for handling an expansible array of ObjectAddress items.
2660 *
2661 * new_object_addresses: create a new ObjectAddresses array.
2662 */
2665{
2666 ObjectAddresses *addrs;
2667
2669
2670 addrs->numrefs = 0;
2671 addrs->maxrefs = 32;
2672 addrs->refs = palloc_array(ObjectAddress, addrs->maxrefs);
2673 addrs->extras = NULL; /* until/unless needed */
2674
2675 return addrs;
2676}
2677
2678/*
2679 * Add an entry to an ObjectAddresses array.
2680 */
2681static void
2683 ObjectAddresses *addrs)
2684{
2685 ObjectAddress *item;
2686
2687 /* enlarge array if needed */
2688 if (addrs->numrefs >= addrs->maxrefs)
2689 {
2690 addrs->maxrefs *= 2;
2691 addrs->refs = (ObjectAddress *)
2692 repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2693 Assert(!addrs->extras);
2694 }
2695 /* record this item */
2696 item = addrs->refs + addrs->numrefs;
2697 item->classId = classId;
2698 item->objectId = objectId;
2699 item->objectSubId = subId;
2700 addrs->numrefs++;
2701}
2702
2703/*
2704 * Add an entry to an ObjectAddresses array.
2705 *
2706 * As above, but specify entry exactly.
2707 */
2708void
2710 ObjectAddresses *addrs)
2711{
2712 ObjectAddress *item;
2713
2714 /* enlarge array if needed */
2715 if (addrs->numrefs >= addrs->maxrefs)
2716 {
2717 addrs->maxrefs *= 2;
2718 addrs->refs = (ObjectAddress *)
2719 repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2720 Assert(!addrs->extras);
2721 }
2722 /* record this item */
2723 item = addrs->refs + addrs->numrefs;
2724 *item = *object;
2725 addrs->numrefs++;
2726}
2727
2728/*
2729 * Add an entry to an ObjectAddresses array.
2730 *
2731 * As above, but specify entry exactly and provide some "extra" data too.
2732 */
2733static void
2735 const ObjectAddressExtra *extra,
2736 ObjectAddresses *addrs)
2737{
2738 ObjectAddress *item;
2740
2741 /* allocate extra space if first time */
2742 if (!addrs->extras)
2743 addrs->extras = (ObjectAddressExtra *)
2744 palloc(addrs->maxrefs * sizeof(ObjectAddressExtra));
2745
2746 /* enlarge array if needed */
2747 if (addrs->numrefs >= addrs->maxrefs)
2748 {
2749 addrs->maxrefs *= 2;
2750 addrs->refs = (ObjectAddress *)
2751 repalloc(addrs->refs, addrs->maxrefs * sizeof(ObjectAddress));
2752 addrs->extras = (ObjectAddressExtra *)
2753 repalloc(addrs->extras, addrs->maxrefs * sizeof(ObjectAddressExtra));
2754 }
2755 /* record this item */
2756 item = addrs->refs + addrs->numrefs;
2757 *item = *object;
2758 itemextra = addrs->extras + addrs->numrefs;
2759 *itemextra = *extra;
2760 addrs->numrefs++;
2761}
2762
2763/*
2764 * Test whether an object is present in an ObjectAddresses array.
2765 *
2766 * We return "true" if object is a subobject of something in the array, too.
2767 */
2768bool
2770 const ObjectAddresses *addrs)
2771{
2772 int i;
2773
2774 for (i = addrs->numrefs - 1; i >= 0; i--)
2775 {
2776 const ObjectAddress *thisobj = addrs->refs + i;
2777
2778 if (object->classId == thisobj->classId &&
2779 object->objectId == thisobj->objectId)
2780 {
2781 if (object->objectSubId == thisobj->objectSubId ||
2782 thisobj->objectSubId == 0)
2783 return true;
2784 }
2785 }
2786
2787 return false;
2788}
2789
2790/*
2791 * As above, except that if the object is present then also OR the given
2792 * flags into its associated extra data (which must exist).
2793 */
2794static bool
2796 int flags,
2797 ObjectAddresses *addrs)
2798{
2799 bool result = false;
2800 int i;
2801
2802 for (i = addrs->numrefs - 1; i >= 0; i--)
2803 {
2804 ObjectAddress *thisobj = addrs->refs + i;
2805
2806 if (object->classId == thisobj->classId &&
2807 object->objectId == thisobj->objectId)
2808 {
2809 if (object->objectSubId == thisobj->objectSubId)
2810 {
2812
2813 thisextra->flags |= flags;
2814 result = true;
2815 }
2816 else if (thisobj->objectSubId == 0)
2817 {
2818 /*
2819 * We get here if we find a need to delete a column after
2820 * having already decided to drop its whole table. Obviously
2821 * we no longer need to drop the subobject, so report that we
2822 * found the subobject in the array. But don't plaster its
2823 * flags on the whole object.
2824 */
2825 result = true;
2826 }
2827 else if (object->objectSubId == 0)
2828 {
2829 /*
2830 * We get here if we find a need to delete a whole table after
2831 * having already decided to drop one of its columns. We
2832 * can't report that the whole object is in the array, but we
2833 * should mark the subobject with the whole object's flags.
2834 *
2835 * It might seem attractive to physically delete the column's
2836 * array entry, or at least mark it as no longer needing
2837 * separate deletion. But that could lead to, e.g., dropping
2838 * the column's datatype before we drop the table, which does
2839 * not seem like a good idea. This is a very rare situation
2840 * in practice, so we just take the hit of doing a separate
2841 * DROP COLUMN action even though we know we're gonna delete
2842 * the table later.
2843 *
2844 * What we can do, though, is mark this as a subobject so that
2845 * we don't report it separately, which is confusing because
2846 * it's unpredictable whether it happens or not. But do so
2847 * only if flags != 0 (flags == 0 is a read-only probe).
2848 *
2849 * Because there could be other subobjects of this object in
2850 * the array, this case means we always have to loop through
2851 * the whole array; we cannot exit early on a match.
2852 */
2854
2855 if (flags)
2857 }
2858 }
2859 }
2860
2861 return result;
2862}
2863
2864/*
2865 * Similar to above, except we search an ObjectAddressStack.
2866 */
2867static bool
2869 int flags,
2870 ObjectAddressStack *stack)
2871{
2872 bool result = false;
2874
2875 for (stackptr = stack; stackptr; stackptr = stackptr->next)
2876 {
2877 const ObjectAddress *thisobj = stackptr->object;
2878
2879 if (object->classId == thisobj->classId &&
2880 object->objectId == thisobj->objectId)
2881 {
2882 if (object->objectSubId == thisobj->objectSubId)
2883 {
2884 stackptr->flags |= flags;
2885 result = true;
2886 }
2887 else if (thisobj->objectSubId == 0)
2888 {
2889 /*
2890 * We're visiting a column with whole table already on stack.
2891 * As in object_address_present_add_flags(), we can skip
2892 * further processing of the subobject, but we don't want to
2893 * propagate flags for the subobject to the whole object.
2894 */
2895 result = true;
2896 }
2897 else if (object->objectSubId == 0)
2898 {
2899 /*
2900 * We're visiting a table with column already on stack. As in
2901 * object_address_present_add_flags(), we should propagate
2902 * flags for the whole object to each of its subobjects.
2903 */
2904 if (flags)
2905 stackptr->flags |= (flags | DEPFLAG_SUBOBJECT);
2906 }
2907 }
2908 }
2909
2910 return result;
2911}
2912
2913/*
2914 * Record multiple dependencies from an ObjectAddresses array, after first
2915 * removing any duplicates.
2916 */
2917void
2927
2928/*
2929 * Sort the items in an ObjectAddresses array.
2930 *
2931 * The major sort key is OID-descending, so that newer objects will be listed
2932 * first in most cases. This is primarily useful for ensuring stable outputs
2933 * from regression tests; it's not recommended if the order of the objects is
2934 * determined by user input, such as the order of targets in a DROP command.
2935 */
2936void
2938{
2939 if (addrs->numrefs > 1)
2940 qsort(addrs->refs, addrs->numrefs,
2941 sizeof(ObjectAddress),
2943}
2944
2945/*
2946 * Clean up when done with an ObjectAddresses array.
2947 */
2948void
2950{
2951 pfree(addrs->refs);
2952 if (addrs->extras)
2953 pfree(addrs->extras);
2954 pfree(addrs);
2955}
2956
2957/*
2958 * delete initial ACL for extension objects
2959 */
2960static void
2962{
2963 Relation relation;
2964 ScanKeyData key[3];
2965 int nkeys;
2966 SysScanDesc scan;
2967 HeapTuple oldtuple;
2968
2970
2971 ScanKeyInit(&key[0],
2975 ScanKeyInit(&key[1],
2979 if (object->objectSubId != 0)
2980 {
2981 ScanKeyInit(&key[2],
2985 nkeys = 3;
2986 }
2987 else
2988 nkeys = 2;
2989
2990 scan = systable_beginscan(relation, InitPrivsObjIndexId, true,
2991 NULL, nkeys, key);
2992
2993 while (HeapTupleIsValid(oldtuple = systable_getnext(scan)))
2994 CatalogTupleDelete(relation, &oldtuple->t_self);
2995
2996 systable_endscan(scan);
2997
2998 table_close(relation, RowExclusiveLock);
2999}
int16 AttrNumber
Definition attnum.h:21
#define InvalidAttrNumber
Definition attnum.h:23
#define ngettext(s, p, n)
Definition c.h:1170
#define Assert(condition)
Definition c.h:873
int32_t int32
Definition c.h:542
#define OidIsValid(objectId)
Definition c.h:788
bool IsPinnedObject(Oid classId, Oid objectId)
Definition catalog.c:370
Oid collid
void DeleteSequenceTuple(Oid relid)
Definition sequence.c:571
void DeleteComments(Oid oid, Oid classoid, int32 subid)
Definition comment.c:326
static bool object_address_present_add_flags(const ObjectAddress *object, int flags, ObjectAddresses *addrs)
#define DEPFLAG_PARTITION
Definition dependency.c:106
void performMultipleDeletions(const ObjectAddresses *objects, DropBehavior behavior, int flags)
Definition dependency.c:383
static void add_exact_object_address_extra(const ObjectAddress *object, const ObjectAddressExtra *extra, ObjectAddresses *addrs)
void record_object_address_dependencies(const ObjectAddress *depender, ObjectAddresses *referenced, DependencyType behavior)
static void DropObjectById(const ObjectAddress *object)
static int object_address_comparator(const void *a, const void *b)
void sort_object_addresses(ObjectAddresses *addrs)
static void doDeletion(const ObjectAddress *object, int flags)
static bool stack_address_present_add_flags(const ObjectAddress *object, int flags, ObjectAddressStack *stack)
#define DEPFLAG_IS_PART
Definition dependency.c:109
void performDeletionCheck(const ObjectAddress *object, DropBehavior behavior, int flags)
Definition dependency.c:333
static void add_object_address(Oid classId, Oid objectId, int32 subId, ObjectAddresses *addrs)
static bool find_expr_references_walker(Node *node, find_expr_references_context *context)
static void eliminate_duplicate_dependencies(ObjectAddresses *addrs)
void AcquireDeletionLock(const ObjectAddress *object, int flags)
void performDeletion(const ObjectAddress *object, DropBehavior behavior, int flags)
Definition dependency.c:274
bool query_uses_temp_object(Query *query, ObjectAddress *temp_object)
static void deleteOneObject(const ObjectAddress *object, Relation *depRel, int32 flags)
static void DeleteInitPrivs(const ObjectAddress *object)
#define MAX_REPORTED_DEPS
#define DEPFLAG_ORIGINAL
Definition dependency.c:102
static void process_function_rte_ref(RangeTblEntry *rte, AttrNumber attnum, find_expr_references_context *context)
static void reportDependentObjects(const ObjectAddresses *targetObjects, DropBehavior behavior, int flags, const ObjectAddress *origObject)
void ReleaseDeletionLock(const ObjectAddress *object)
#define DEPFLAG_AUTO
Definition dependency.c:104
void recordDependencyOnSingleRelExpr(const ObjectAddress *depender, Node *expr, Oid relId, DependencyType behavior, DependencyType self_behavior, bool reverse_self)
void recordDependencyOnExpr(const ObjectAddress *depender, Node *expr, List *rtable, DependencyType behavior)
static void findDependentObjects(const ObjectAddress *object, int objflags, int flags, ObjectAddressStack *stack, ObjectAddresses *targetObjects, const ObjectAddresses *pendingObjects, Relation *depRel)
Definition dependency.c:483
#define DEPFLAG_REVERSE
Definition dependency.c:108
void collectDependenciesOfExpr(ObjectAddresses *addrs, Node *expr, List *rtable)
bool object_address_present(const ObjectAddress *object, const ObjectAddresses *addrs)
bool find_temp_object(const ObjectAddresses *addrs, bool local_temp_okay, ObjectAddress *foundobj)
void add_exact_object_address(const ObjectAddress *object, ObjectAddresses *addrs)
#define DEPFLAG_NORMAL
Definition dependency.c:103
ObjectAddresses * new_object_addresses(void)
#define DEPFLAG_SUBOBJECT
Definition dependency.c:110
#define DEPFLAG_EXTENSION
Definition dependency.c:107
#define DEPFLAG_INTERNAL
Definition dependency.c:105
static void deleteObjectsInList(ObjectAddresses *targetObjects, Relation *depRel, int flags)
Definition dependency.c:186
void free_object_addresses(ObjectAddresses *addrs)
#define PERFORM_DELETION_CONCURRENTLY
Definition dependency.h:93
#define PERFORM_DELETION_SKIP_EXTENSIONS
Definition dependency.h:96
DependencyType
Definition dependency.h:32
@ DEPENDENCY_AUTO
Definition dependency.h:34
@ DEPENDENCY_AUTO_EXTENSION
Definition dependency.h:39
@ DEPENDENCY_INTERNAL
Definition dependency.h:35
@ DEPENDENCY_PARTITION_PRI
Definition dependency.h:36
@ DEPENDENCY_PARTITION_SEC
Definition dependency.h:37
@ DEPENDENCY_EXTENSION
Definition dependency.h:38
@ DEPENDENCY_NORMAL
Definition dependency.h:33
#define PERFORM_DELETION_CONCURRENT_LOCK
Definition dependency.h:97
#define PERFORM_DELETION_QUIETLY
Definition dependency.h:94
#define PERFORM_DELETION_SKIP_ORIGINAL
Definition dependency.h:95
#define PERFORM_DELETION_INTERNAL
Definition dependency.h:92
int errmsg_plural(const char *fmt_singular, const char *fmt_plural, unsigned long n,...)
Definition elog.c:1193
int errmsg_internal(const char *fmt,...)
Definition elog.c:1170
int errdetail_internal(const char *fmt,...)
Definition elog.c:1243
int errhint(const char *fmt,...)
Definition elog.c:1330
bool message_level_is_interesting(int elevel)
Definition elog.c:273
int errcode(int sqlerrcode)
Definition elog.c:863
int errmsg(const char *fmt,...)
Definition elog.c:1080
int errdetail_log(const char *fmt,...)
Definition elog.c:1264
#define _(x)
Definition elog.c:91
#define DEBUG2
Definition elog.h:29
#define ERROR
Definition elog.h:39
#define elog(elevel,...)
Definition elog.h:226
#define NOTICE
Definition elog.h:35
#define ereport(elevel,...)
Definition elog.h:150
void EventTriggerSQLDropAddObject(const ObjectAddress *object, bool original, bool normal)
bool trackDroppedObjectsNeeded(void)
bool EventTriggerSupportsObject(const ObjectAddress *object)
bool creating_extension
Definition extension.c:77
Oid CurrentExtensionObject
Definition extension.c:78
void RemoveExtensionById(Oid extId)
Definition extension.c:2199
#define palloc_object(type)
Definition fe_memutils.h:74
#define palloc_array(type, count)
Definition fe_memutils.h:76
TupleDesc get_expr_result_tupdesc(Node *expr, bool noError)
Definition funcapi.c:551
void RemoveFunctionById(Oid funcOid)
void systable_endscan(SysScanDesc sysscan)
Definition genam.c:603
bool systable_recheck_tuple(SysScanDesc sysscan, HeapTuple tup)
Definition genam.c:573
HeapTuple systable_getnext(SysScanDesc sysscan)
Definition genam.c:514
SysScanDesc systable_beginscan(Relation heapRelation, Oid indexId, bool indexOK, Snapshot snapshot, int nkeys, ScanKey key)
Definition genam.c:388
void RemoveAttributeById(Oid relid, AttrNumber attnum)
Definition heap.c:1683
void heap_drop_with_catalog(Oid relid)
Definition heap.c:1784
#define HeapTupleIsValid(tuple)
Definition htup.h:78
static void * GETSTRUCT(const HeapTupleData *tuple)
void index_drop(Oid indexId, bool concurrent, bool concurrent_lock_mode)
Definition index.c:2120
void CatalogTupleDelete(Relation heapRel, const ItemPointerData *tid)
Definition indexing.c:365
int b
Definition isn.c:74
int a
Definition isn.c:73
int i
Definition isn.c:77
List * list_delete_first(List *list)
Definition list.c:943
List * lcons(void *datum, List *list)
Definition list.c:495
void LockSharedObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition lmgr.c:1088
void UnlockRelationOid(Oid relid, LOCKMODE lockmode)
Definition lmgr.c:229
void LockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition lmgr.c:1008
void LockRelationOid(Oid relid, LOCKMODE lockmode)
Definition lmgr.c:107
void UnlockDatabaseObject(Oid classid, Oid objid, uint16 objsubid, LOCKMODE lockmode)
Definition lmgr.c:1068
#define AccessExclusiveLock
Definition lockdefs.h:43
#define AccessShareLock
Definition lockdefs.h:36
#define ShareUpdateExclusiveLock
Definition lockdefs.h:39
#define RowExclusiveLock
Definition lockdefs.h:38
char get_rel_relkind(Oid relid)
Definition lsyscache.c:2153
Oid get_typ_typrelid(Oid typid)
Definition lsyscache.c:2881
Oid getBaseType(Oid typid)
Definition lsyscache.c:2671
void * repalloc(void *pointer, Size size)
Definition mcxt.c:1632
void pfree(void *pointer)
Definition mcxt.c:1616
void * palloc(Size size)
Definition mcxt.c:1387
bool isTempNamespace(Oid namespaceId)
Definition namespace.c:3719
bool isAnyTempNamespace(Oid namespaceId)
Definition namespace.c:3757
Oid exprType(const Node *expr)
Definition nodeFuncs.c:42
#define query_tree_walker(q, w, c, f)
Definition nodeFuncs.h:158
#define QTW_EXAMINE_SORTGROUP
Definition nodeFuncs.h:30
#define expression_tree_walker(n, w, c)
Definition nodeFuncs.h:153
#define QTW_IGNORE_JOINALIASES
Definition nodeFuncs.h:25
#define IsA(nodeptr, _type_)
Definition nodes.h:164
@ CMD_INSERT
Definition nodes.h:277
@ CMD_UPDATE
Definition nodes.h:276
#define InvokeObjectDropHookArg(classId, objectId, subId, dropflags)
AttrNumber get_object_attnum_oid(Oid class_id)
const char * get_object_class_descr(Oid class_id)
char * getObjectDescription(const ObjectAddress *object, bool missing_ok)
int get_object_catcache_oid(Oid class_id)
Oid get_object_oid_index(Oid class_id)
Oid get_object_namespace(const ObjectAddress *address)
void RemoveOperatorById(Oid operOid)
@ RTE_JOIN
@ RTE_NAMEDTUPLESTORE
@ RTE_FUNCTION
@ RTE_RELATION
DropBehavior
@ DROP_CASCADE
@ DROP_RESTRICT
#define rt_fetch(rangetable_index, rangetable)
Definition parsetree.h:31
void RemoveAttrDefaultById(Oid attrdefId)
Definition pg_attrdef.c:209
int16 attnum
void RemoveConstraintById(Oid conId)
void recordMultipleDependencies(const ObjectAddress *depender, const ObjectAddress *referenced, int nreferenced, DependencyType behavior)
Definition pg_depend.c:57
void recordDependencyOn(const ObjectAddress *depender, const ObjectAddress *referenced, DependencyType behavior)
Definition pg_depend.c:45
FormData_pg_depend * Form_pg_depend
Definition pg_depend.h:72
void LargeObjectDrop(Oid loid)
#define lfirst(lc)
Definition pg_list.h:172
static int list_length(const List *l)
Definition pg_list.h:152
#define NIL
Definition pg_list.h:68
#define lfirst_int(lc)
Definition pg_list.h:173
#define list_make1(x1)
Definition pg_list.h:212
static void * list_nth(const List *list, int n)
Definition pg_list.h:299
#define lfirst_oid(lc)
Definition pg_list.h:174
void deleteSharedDependencyRecordsFor(Oid classId, Oid objectId, int32 objectSubId)
void RemovePolicyById(Oid policy_id)
Definition policy.c:332
#define qsort(a, b, c, d)
Definition port.h:495
static Oid DatumGetObjectId(Datum X)
Definition postgres.h:252
static Datum ObjectIdGetDatum(Oid X)
Definition postgres.h:262
static Datum Int32GetDatum(int32 X)
Definition postgres.h:222
unsigned int Oid
static int fb(int x)
void RemovePublicationSchemaById(Oid psoid)
void RemovePublicationById(Oid pubid)
void RemovePublicationRelById(Oid proid)
void RemoveRewriteRuleById(Oid ruleOid)
void ScanKeyInit(ScanKey entry, AttrNumber attributeNumber, StrategyNumber strategy, RegProcedure procedure, Datum argument)
Definition scankey.c:76
void DeleteSecurityLabel(const ObjectAddress *object)
Definition seclabel.c:523
void check_stack_depth(void)
Definition stack_depth.c:95
void RemoveStatisticsById(Oid statsOid)
Definition statscmds.c:787
#define BTEqualStrategyNumber
Definition stratnum.h:31
void appendStringInfo(StringInfo str, const char *fmt,...)
Definition stringinfo.c:145
void appendStringInfoChar(StringInfo str, char ch)
Definition stringinfo.c:242
void initStringInfo(StringInfo str)
Definition stringinfo.c:97
Oid aggfnoid
Definition primnodes.h:463
Oid consttype
Definition primnodes.h:329
Oid funcid
Definition primnodes.h:782
ItemPointerData t_self
Definition htup.h:65
Definition pg_list.h:54
Definition nodes.h:135
ObjectAddress obj
Definition dependency.c:135
ObjectAddress dependee
Definition dependency.c:98
const ObjectAddress * object
Definition dependency.c:127
struct ObjectAddressStack * next
Definition dependency.c:129
ObjectAddressExtra * extras
Definition dependency.c:117
ObjectAddress * refs
Definition dependency.c:116
Oid opno
Definition primnodes.h:850
Oid paramtype
Definition primnodes.h:397
Oid paramcollid
Definition primnodes.h:401
List * rtable
Definition parsenodes.h:175
CmdType commandType
Definition parsenodes.h:121
List * targetList
Definition parsenodes.h:198
AttrNumber varattno
Definition primnodes.h:274
int varno
Definition primnodes.h:269
Index varlevelsup
Definition primnodes.h:294
ObjectAddresses * addrs
Definition dependency.c:142
void ReleaseSysCache(HeapTuple tuple)
Definition syscache.c:264
HeapTuple SearchSysCache1(int cacheId, Datum key1)
Definition syscache.c:220
#define SearchSysCacheExists1(cacheId, key1)
Definition syscache.h:100
void table_close(Relation relation, LOCKMODE lockmode)
Definition table.c:126
Relation table_open(Oid relationId, LOCKMODE lockmode)
Definition table.c:40
void RemoveTriggerById(Oid trigOid)
Definition trigger.c:1291
void RemoveTSConfigurationById(Oid cfgId)
void RemoveTypeById(Oid typeOid)
Definition typecmds.c:659
void CommandCounterIncrement(void)
Definition xact.c:1101