Remove some pointless code in block.h.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 4 Mar 2022 00:15:38 +0000 (19:15 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 4 Mar 2022 00:15:38 +0000 (19:15 -0500)
There's no visible point in casting the result of a comparison to
bool, because it already is that, at least on C99 compilers.

I see no point in these assertions that a pointer we're about to
dereference isn't null, either.  If it is, the resulting SIGSEGV
will notify us of the problem just fine.

Noted while reviewing Zhihong Yu's patch.  This is basically
cosmetic, so no need for back-patch.

Discussion: https://postgr.es/m/CALNJ-vT9r0DSsAOw9OXVJFxLENoVS_68kJ5x0p44atoYH+H4dg@mail.gmail.com

src/include/storage/block.h

index cf1fc499df3f8e5632aece4dfae597d8f403f169..d756e3fda5ea63ab9828c7398e4b4461e3570987 100644 (file)
@@ -68,14 +68,14 @@ typedef BlockIdData *BlockId;   /* block identifier */
  *     True iff blockNumber is valid.
  */
 #define BlockNumberIsValid(blockNumber) \
-   ((bool) ((BlockNumber) (blockNumber) != InvalidBlockNumber))
+   ((BlockNumber) (blockNumber) != InvalidBlockNumber)
 
 /*
  * BlockIdIsValid
  *     True iff the block identifier is valid.
  */
 #define BlockIdIsValid(blockId) \
-   ((bool) PointerIsValid(blockId))
+   PointerIsValid(blockId)
 
 /*
  * BlockIdSet
@@ -83,7 +83,6 @@ typedef BlockIdData *BlockId; /* block identifier */
  */
 #define BlockIdSet(blockId, blockNumber) \
 ( \
-   AssertMacro(PointerIsValid(blockId)), \
    (blockId)->bi_hi = (blockNumber) >> 16, \
    (blockId)->bi_lo = (blockNumber) & 0xffff \
 )
@@ -94,8 +93,6 @@ typedef BlockIdData *BlockId; /* block identifier */
  */
 #define BlockIdCopy(toBlockId, fromBlockId) \
 ( \
-   AssertMacro(PointerIsValid(toBlockId)), \
-   AssertMacro(PointerIsValid(fromBlockId)), \
    (toBlockId)->bi_hi = (fromBlockId)->bi_hi, \
    (toBlockId)->bi_lo = (fromBlockId)->bi_lo \
 )
@@ -113,9 +110,6 @@ typedef BlockIdData *BlockId;   /* block identifier */
  *     Retrieve the block number from a block identifier.
  */
 #define BlockIdGetBlockNumber(blockId) \
-( \
-   AssertMacro(BlockIdIsValid(blockId)), \
-   ((((BlockNumber) (blockId)->bi_hi) << 16) | ((BlockNumber) (blockId)->bi_lo)) \
-)
+   ((((BlockNumber) (blockId)->bi_hi) << 16) | ((BlockNumber) (blockId)->bi_lo))
 
 #endif                         /* BLOCK_H */