Re: Remove useless casts to (void *) - Mailing list pgsql-hackers

From Bertrand Drouvot
Subject Re: Remove useless casts to (void *)
Date
Msg-id aR9MK4M8U3ipC+CJ@ip-10-97-1-34.eu-west-3.compute.internal
Whole thread Raw
In response to Re: Remove useless casts to (void *)  (Álvaro Herrera <alvherre@kurilemu.de>)
List pgsql-hackers
Hi,

On Thu, Nov 20, 2025 at 04:43:58PM +0100, Álvaro Herrera wrote:
> On 2025-Nov-20, Aleksander Alekseev wrote:
> 
> > IMO what actually is important is for the code to be consistent.
> 
> IMO what is most important is that the code is correct.  Second most
> important is that the code is performant.  The consistency is perhaps a
> third priority, if that -- there may be other objectives that are also
> more important than consistency.

Yeah, I was convinced by the discussion in [1], so spent some time to be able
to detect kind of automatically those useless casts.

[1]: https://www.postgresql.org/message-id/flat/461ea37c-8b58-43b4-9736-52884e862820@eisentraut.org

Regards,

-- 
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com



pgsql-hackers by date:

Previous
From: Bertrand Drouvot
Date:
Subject: Re: Add os_page_num to pg_buffercache
Next
From: Melanie Plageman
Date:
Subject: Re: Odd openbsd CI failure