From 06c320c8af6adce28a6634faaf46e320085ebfcd Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sat, 23 Mar 2019 17:40:19 -0400
Subject: [PATCH] Remove inadequate check for duplicate "xml" PI.

I failed to think about PIs starting with "xml".  We don't really
need this check at all, so just take it out.  Oversight in
commit 8d1dadb25 et al.
---
 src/backend/utils/adt/xml.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/backend/utils/adt/xml.c b/src/backend/utils/adt/xml.c
index 5b4fd4d4f8e..a313303f548 100644
--- a/src/backend/utils/adt/xml.c
+++ b/src/backend/utils/adt/xml.c
@@ -1400,10 +1400,6 @@ xml_doctype_in_content(const xmlChar *str)
 		if (!e)
 			return false;
 
-		/* we don't check PIs carefully, but do reject "xml" target */
-		if (e - p >= 3 && xmlStrncasecmp(p, (xmlChar *) "xml", 3) == 0)
-			return false;
-
 		/* advance over PI, keep scanning */
 		p = e + 2;
 	}
-- 
GitLab