Remove no longer needed casts from Pointer
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 4 Dec 2025 19:44:52 +0000 (20:44 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Thu, 4 Dec 2025 19:44:52 +0000 (20:44 +0100)
commite158fd4d68f44d0872c1d2053067fe306cc9d2b2
treeeade5f458b0c59258a5bcb2e69d1f225344598e4
parentc6be3daa054a2fac67331f3bfc348b9bfd6f690c
Remove no longer needed casts from Pointer

These casts used to be required when Pointer was char *, but now it's
void * (commit 1b2bb5077e9), so they are not needed anymore.

Author: Dagfinn Ilmari MannsÃ¥ker <ilmari@ilmari.org>
Discussion: https://www.postgresql.org/message-id/4154950a-47ae-4223-bd01-1235cc50e933%40eisentraut.org
contrib/amcheck/verify_gin.c
contrib/pg_trgm/trgm_gin.c
src/backend/access/gin/ginentrypage.c
src/backend/utils/adt/jsonb_gin.c