Avoid crash after function syntax error in a replication worker.
authorTom Lane <tgl@sss.pgh.pa.us>
Thu, 3 Nov 2022 16:01:57 +0000 (12:01 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Thu, 3 Nov 2022 16:02:14 +0000 (12:02 -0400)
If a syntax error occurred in a SQL-language or PL/pgSQL-language
CREATE FUNCTION or DO command executed in a logical replication worker,
we'd suffer a null pointer dereference or assertion failure.  That
seems like a rather contrived case, but nonetheless worth fixing.

The cause is that function_parse_error_transpose assumes it must be
executing within the context of a Portal, but logical/worker.c
doesn't create a Portal since it's not running the standard executor.
We can just back off the hard Assert check and make it fail gracefully
if there's not an ActivePortal.  (I have a feeling that the aggressive
check here was my fault originally, probably because I wasn't sure if
the case would always hold and wanted to find out.  Well, now we know.)

The hazard seems to exist in all branches that have logical replication,
so back-patch to v10.

Maxim Orlov, Anton Melnikov, Masahiko Sawada, Tom Lane

Discussion: https://postgr.es/m/b570c367-ba38-95f3-f62d-5f59b9808226@inbox.ru
Discussion: https://postgr.es/m/adf0452f-8c6b-7def-d35e-ab516c80088e@inbox.ru

src/backend/catalog/pg_proc.c

index a9fe45e34714dd79117fab3f221caf9b44a48eda..e03b98bcd2a5b6ef2821f031d0c79c882f16ed28 100644 (file)
@@ -1017,7 +1017,6 @@ function_parse_error_transpose(const char *prosrc)
 {
        int                     origerrposition;
        int                     newerrposition;
-       const char *queryText;
 
        /*
         * Nothing to do unless we are dealing with a syntax error that has a
@@ -1035,11 +1034,22 @@ function_parse_error_transpose(const char *prosrc)
        }
 
        /* We can get the original query text from the active portal (hack...) */
-       Assert(ActivePortal && ActivePortal->status == PORTAL_ACTIVE);
-       queryText = ActivePortal->sourceText;
+       if (ActivePortal && ActivePortal->status == PORTAL_ACTIVE)
+       {
+               const char *queryText = ActivePortal->sourceText;
 
-       /* Try to locate the prosrc in the original text */
-       newerrposition = match_prosrc_to_query(prosrc, queryText, origerrposition);
+               /* Try to locate the prosrc in the original text */
+               newerrposition = match_prosrc_to_query(prosrc, queryText,
+                                                                                          origerrposition);
+       }
+       else
+       {
+               /*
+                * Quietly give up if no ActivePortal.  This is an unusual situation
+                * but it can happen in, e.g., logical replication workers.
+                */
+               newerrposition = -1;
+       }
 
        if (newerrposition > 0)
        {