Get rid of trailing semicolons in C macro definitions.

Writing a trailing semicolon in a macro is almost never the right thing,
because you almost always want to write a semicolon after each macro
call instead.  (Even if there was some reason to prefer not to, pgindent
would probably make a hash of code formatted that way; so within PG the
rule should basically be "don't do it".)  Thus, if we have a semi inside
the macro, the compiler sees "something;;".  Much of the time the extra
empty statement is harmless, but it could lead to mysterious syntax
errors at call sites.  In perhaps an overabundance of neatnik-ism, let's
run around and get rid of the excess semicolons whereever possible.

The only thing worse than a mysterious syntax error is a mysterious
syntax error that only happens in the back branches; therefore,
backpatch these changes where relevant, which is most of them because
most of these mistakes are old.  (The lack of reported problems shows
that this is largely a hypothetical issue, but still, it could bite
us in some future patch.)

John Naylor and Tom Lane

Discussion: https://postgr.es/m/CACPNZCs0qWTqJ2QUSGJ07B7uvAvzMb-KbG2q+oo+J3tsWN5cqw@mail.gmail.com

diff --git a/contrib/btree_gist/btree_ts.c b/contrib/btree_gist/btree_ts.c
index 49d1849d88964ae8db2ed2de1c1f6042c7471296..8bb537089614171caffbfe207aaf2a339ca2fe6c 100644 (file)
--- a/contrib/btree_gist/btree_ts.c
+++ b/contrib/btree_gist/btree_ts.c
@@ -345,12 +345,13 @@ gbt_ts_union(PG_FUNCTION_ARGS)
 }
 
 
-#define penalty_check_max_float(val) do { \
+#define penalty_check_max_float(val) \
+   do { \
        if ( val > FLT_MAX ) \
                val = FLT_MAX; \
        if ( val < -FLT_MAX ) \
                val = -FLT_MAX; \
-} while(false);
+   } while (0)
 
 
 Datum

diff --git a/contrib/btree_gist/btree_utils_num.h b/contrib/btree_gist/btree_utils_num.h
index 50907b3b5c67a9b0826a6248c5e7fffb9af7c88d..c9e7bf39728e1a3c171187f531213ff64e73fa9e 100644 (file)
--- a/contrib/btree_gist/btree_utils_num.h
+++ b/contrib/btree_gist/btree_utils_num.h
@@ -74,7 +74,7 @@ typedef struct
    (*(result)) += (float) ( ((double)(tmp)) / ( (double)(tmp) + ( ((double)(oupper))*0.49F - ((double)(olower))*0.49F ) ) ); \
    (*(result)) *= (FLT_MAX / (((GISTENTRY *) PG_GETARG_POINTER(0))->rel->rd_att->natts + 1)); \
   } \
-} while (0);
+} while (0)
 
 
 /*

diff --git a/contrib/pg_trgm/trgm.h b/contrib/pg_trgm/trgm.h
index 0fd600d58104f1708a2709164be3ebd8a3788a58..efb2c2e9338ecd711284e9f39f4751a8834ed450 100644 (file)
--- a/contrib/pg_trgm/trgm.h
+++ b/contrib/pg_trgm/trgm.h
@@ -48,7 +48,7 @@ typedef char trgm[3];
    *(((char*)(a))+0) = *(((char*)(b))+0);  \
    *(((char*)(a))+1) = *(((char*)(b))+1);  \
    *(((char*)(a))+2) = *(((char*)(b))+2);  \
-} while(0);
+} while(0)
 
 #ifdef KEEPONLYALNUM
 #define ISWORDCHR(c)   (t_isalpha(c) || t_isdigit(c))

diff --git a/contrib/pgcrypto/crypt-blowfish.c b/contrib/pgcrypto/crypt-blowfish.c
index ed69c0c6bb35ec7cc2337ec05a40a850507145f9..a663852ccf90c36d0d1962ff5f0d29e3aaf95983 100644 (file)
--- a/contrib/pgcrypto/crypt-blowfish.c
+++ b/contrib/pgcrypto/crypt-blowfish.c
@@ -469,7 +469,7 @@ BF_swap(BF_word *x, int count)
    tmp3 ^= tmp2; \
    (R) ^= data.ctx.P[(N) + 1]; \
    tmp3 += tmp1; \
-   (R) ^= tmp3;
+   (R) ^= tmp3
 #else
 /* Architectures with no complicated addressing modes supported */
 #define BF_INDEX(S, i) \
@@ -490,7 +490,7 @@ BF_swap(BF_word *x, int count)
    tmp3 ^= tmp2; \
    (R) ^= data.ctx.P[(N) + 1]; \
    tmp3 += tmp1; \
-   (R) ^= tmp3;
+   (R) ^= tmp3
 #endif
 
 /*
@@ -516,17 +516,18 @@ BF_swap(BF_word *x, int count)
    BF_ROUND(R, L, 15); \
    tmp4 = R; \
    R = L; \
-   L = tmp4 ^ data.ctx.P[BF_N + 1];
+   L = tmp4 ^ data.ctx.P[BF_N + 1]
 
 #if BF_ASM
 
 extern void _BF_body_r(BF_ctx *ctx);
 
 #define BF_body() \
-   _BF_body_r(&data.ctx);
+   _BF_body_r(&data.ctx)
 #else
 
 #define BF_body() \
+do { \
    L = R = 0; \
    ptr = data.ctx.P; \
    do { \
@@ -542,7 +543,8 @@ extern void _BF_body_r(BF_ctx *ctx);
        BF_ENCRYPT; \
        *(ptr - 2) = L; \
        *(ptr - 1) = R; \
-   } while (ptr < &data.ctx.S[3][0xFF]);
+   } while (ptr < &data.ctx.S[3][0xFF]); \
+} while (0)
 #endif
 
 static void

diff --git a/src/backend/nodes/readfuncs.c b/src/backend/nodes/readfuncs.c
index 764e3bb90c9827d688dccdfd08243c9b4955a11b..7257e20cd59513a5fe4358fed0ac08c05ef5dea1 100644 (file)
--- a/src/backend/nodes/readfuncs.c
+++ b/src/backend/nodes/readfuncs.c
@@ -154,22 +154,22 @@
 /* Read an attribute number array */
 #define READ_ATTRNUMBER_ARRAY(fldname, len) \
    token = pg_strtok(&length);     /* skip :fldname */ \
-   local_node->fldname = readAttrNumberCols(len);
+   local_node->fldname = readAttrNumberCols(len)
 
 /* Read an oid array */
 #define READ_OID_ARRAY(fldname, len) \
    token = pg_strtok(&length);     /* skip :fldname */ \
-   local_node->fldname = readOidCols(len);
+   local_node->fldname = readOidCols(len)
 
 /* Read an int array */
 #define READ_INT_ARRAY(fldname, len) \
    token = pg_strtok(&length);     /* skip :fldname */ \
-   local_node->fldname = readIntCols(len);
+   local_node->fldname = readIntCols(len)
 
 /* Read a bool array */
 #define READ_BOOL_ARRAY(fldname, len) \
    token = pg_strtok(&length);     /* skip :fldname */ \
-   local_node->fldname = readBoolCols(len);
+   local_node->fldname = readBoolCols(len)
 
 /* Routine exit */
 #define READ_DONE() \

diff --git a/src/backend/optimizer/util/pathnode.c b/src/backend/optimizer/util/pathnode.c
index d884d2bb000ed8a51eb824e45bd546f62fd2a114..2d15a9b7b0e40f9aeda880157510d830c2b08280 100644 (file)
--- a/src/backend/optimizer/util/pathnode.c
+++ b/src/backend/optimizer/util/pathnode.c
@@ -3825,7 +3825,7 @@ do { \
    (path) = reparameterize_path_by_child(root, (path), child_rel); \
    if ((path) == NULL) \
        return NULL; \
-} while(0);
+} while(0)
 
 #define REPARAMETERIZE_CHILD_PATH_LIST(pathlist) \
 do { \
@@ -3836,7 +3836,7 @@ do { \
        if ((pathlist) == NIL) \
            return NULL; \
    } \
-} while(0);
+} while(0)
 
    Path       *new_path;
    ParamPathInfo *new_ppi;

diff --git a/src/backend/utils/adt/formatting.c b/src/backend/utils/adt/formatting.c
index 51e1b28242c3c1158c16a0404d7235d982dc344f..4cdcc16f722d2a008e9ed17a1fb160db1354fe79 100644 (file)
--- a/src/backend/utils/adt/formatting.c
+++ b/src/backend/utils/adt/formatting.c
@@ -440,7 +440,7 @@ typedef struct
            (_X)->mode, (_X)->hh, (_X)->pm, (_X)->mi, (_X)->ss, (_X)->ssss, \
            (_X)->d, (_X)->dd, (_X)->ddd, (_X)->mm, (_X)->ms, (_X)->year, \
            (_X)->bc, (_X)->ww, (_X)->w, (_X)->cc, (_X)->j, (_X)->us, \
-           (_X)->yysz, (_X)->clock);
+           (_X)->yysz, (_X)->clock)
 #define DEBUG_TM(_X) \
        elog(DEBUG_elog_output, "TM:\nsec %d\nyear %d\nmin %d\nwday %d\nhour %d\nyday %d\nmday %d\nnisdst %d\nmon %d\n",\
            (_X)->tm_sec, (_X)->tm_year,\

diff --git a/src/backend/utils/sort/gen_qsort_tuple.pl b/src/backend/utils/sort/gen_qsort_tuple.pl
index b6b2ffa7d0be161a0b474034dd247c6bd111ddb3..ddd71d0c24be1b3d2dc24b504c5e0250e6569596 100644 (file)
--- a/src/backend/utils/sort/gen_qsort_tuple.pl
+++ b/src/backend/utils/sort/gen_qsort_tuple.pl
@@ -125,7 +125,7 @@ swapfunc(SortTuple *a, SortTuple *b, size_t n)
        SortTuple t = *(a);             \
        *(a) = *(b);                    \
        *(b) = t;                       \
-   } while (0);
+   } while (0)
 
 #define vecswap(a, b, n) if ((n) > 0) swapfunc(a, b, n)
 

diff --git a/src/bin/pg_dump/pg_backup_archiver.h b/src/bin/pg_dump/pg_backup_archiver.h
index aca03381ddd71ad3e74768e93abb45e5790595a6..776892efb9fb858e805395f676104c30f26541a8 100644 (file)
--- a/src/bin/pg_dump/pg_backup_archiver.h
+++ b/src/bin/pg_dump/pg_backup_archiver.h
@@ -100,7 +100,7 @@ typedef z_stream *z_streamp;
 #define K_VERS_MAJOR 1
 #define K_VERS_MINOR 14
 #define K_VERS_REV 0
-#define K_VERS_SELF MAKE_ARCHIVE_VERSION(K_VERS_MAJOR, K_VERS_MINOR, K_VERS_REV);
+#define K_VERS_SELF MAKE_ARCHIVE_VERSION(K_VERS_MAJOR, K_VERS_MINOR, K_VERS_REV)
 
 /* Newest format we can read */
 #define K_VERS_MAX MAKE_ARCHIVE_VERSION(K_VERS_MAJOR, K_VERS_MINOR, 255)

diff --git a/src/include/access/hash.h b/src/include/access/hash.h
index 107c3d01ae4770621cd950152c43a28b95f66bb7..52a2818340f9baca0649a8e6a4ddf99e43cfc1f8 100644 (file)
--- a/src/include/access/hash.h
+++ b/src/include/access/hash.h
@@ -148,7 +148,7 @@ typedef struct HashScanPosData
        (scanpos).firstItem = 0; \
        (scanpos).lastItem = 0; \
        (scanpos).itemIndex = 0; \
-   } while (0);
+   } while (0)
 
 /*
  * HashScanOpaqueData is private state for a hash index scan.

diff --git a/src/include/access/nbtree.h b/src/include/access/nbtree.h
index e8b7a5fde1950663dca1b0aad12f64ef19a86273..8f81663e5c0aac0e1209be4fc7e54f5475c30332 100644 (file)
--- a/src/include/access/nbtree.h
+++ b/src/include/access/nbtree.h
@@ -614,7 +614,7 @@ typedef BTScanPosData *BTScanPos;
        (scanpos).buf = InvalidBuffer; \
        (scanpos).lsn = InvalidXLogRecPtr; \
        (scanpos).nextTupleOffset = 0; \
-   } while (0);
+   } while (0)
 
 /* We need one of these for each equality-type SK_SEARCHARRAY scan key */
 typedef struct BTArrayKeyInfo

diff --git a/src/port/qsort.c b/src/port/qsort.c
index 409f69a128b5f2a853f55d4fe98ee735644e981f..fa992e2081df5d7756fef0a12c240e19d1f3184a 100644 (file)
--- a/src/port/qsort.c
+++ b/src/port/qsort.c
@@ -80,7 +80,7 @@ do {      \
 } while (0)
 
 #define SWAPINIT(a, es) swaptype = ((char *)(a) - (char *)0) % sizeof(long) || \
-   (es) % sizeof(long) ? 2 : (es) == sizeof(long)? 0 : 1;
+   (es) % sizeof(long) ? 2 : (es) == sizeof(long)? 0 : 1
 
 static void
 swapfunc(char *a, char *b, size_t n, int swaptype)

diff --git a/src/port/qsort_arg.c b/src/port/qsort_arg.c
index a2194b0fb186da2befdffe47e26946178d00ef5d..6d54fbc2b42541e7f1d5b071ca283fec734720b6 100644 (file)
--- a/src/port/qsort_arg.c
+++ b/src/port/qsort_arg.c
@@ -80,7 +80,7 @@ do {      \
 } while (0)
 
 #define SWAPINIT(a, es) swaptype = ((char *)(a) - (char *)0) % sizeof(long) || \
-   (es) % sizeof(long) ? 2 : (es) == sizeof(long)? 0 : 1;
+   (es) % sizeof(long) ? 2 : (es) == sizeof(long)? 0 : 1
 
 static void
 swapfunc(char *a, char *b, size_t n, int swaptype)