1 files changed, 59 insertions, 0 deletions
diff --git a/src/test/isolation/specs/search-path-inval.spec b/src/test/isolation/specs/search-path-inval.spec
new file mode 100644
index 00000000000..08b1bba2fc9
--- /dev/null
+++ b/src/test/isolation/specs/search-path-inval.spec
@@ -0,0 +1,59 @@
+# Test search_path invalidation.
+
+setup
+{
+    CREATE USER regress_sp_user1;
+    CREATE SCHEMA regress_sp_user1 AUTHORIZATION regress_sp_user1;
+    CREATE SCHEMA regress_sp_public;
+    GRANT ALL PRIVILEGES ON SCHEMA regress_sp_public TO regress_sp_user1;
+}
+
+teardown
+{
+    DROP SCHEMA regress_sp_public CASCADE;
+    DROP SCHEMA regress_sp_user1 CASCADE;
+    DROP USER regress_sp_user1;
+}
+
+session s1
+setup
+{
+    SET search_path = "$user", regress_sp_public;
+    SET SESSION AUTHORIZATION regress_sp_user1;
+    CREATE TABLE regress_sp_user1.x(t) AS SELECT 'data in regress_sp_user1.x';
+    CREATE TABLE regress_sp_public.x(t) AS SELECT 'data in regress_sp_public.x';
+}
+step s1a
+{
+    SELECT CURRENT_USER;
+    SHOW search_path;
+    SELECT t FROM x;
+}
+
+session s2
+step s2a
+{
+    ALTER ROLE regress_sp_user1 RENAME TO regress_sp_user2;
+}
+step s2b
+{
+    ALTER ROLE regress_sp_user2 RENAME TO regress_sp_user1;
+}
+
+session s3
+step s3a
+{
+    ALTER SCHEMA regress_sp_user1 RENAME TO regress_sp_user2;
+}
+step s3b
+{
+    ALTER SCHEMA regress_sp_user2 RENAME TO regress_sp_user1;
+}
+
+# s1's search_path is invalidated by role name change in s2a, and
+# falls back to regress_sp_public.x
+permutation s1a s2a s1a s2b
+
+# s1's search_path is invalidated by schema name change in s2b, and
+# falls back to regress_sp_public.x
+permutation s1a s3a s1a s3b