RE: Proposal: Add more compile-time asserts to expose inconsistencies.

Smith, Peter <peters@fast.au.fujitsu.com>

From: "Smith, Peter" <peters@fast.au.fujitsu.com>

To: Andres Freund <andres@anarazel.de>, "pgsql-hackers@lists.postgresql.org" <pgsql-hackers@lists.postgresql.org>, Peter Eisentraut <peter.eisentraut@2ndquadrant.com>, Tom Lane <tgl@sss.pgh.pa.us>

Cc: Michael Paquier <michael@paquier.xyz>, Dagfinn Ilmari Mannsåker <ilmari@ilmari.org>, PostgreSQL-development <pgsql-hackers@postgresql.org>

Date: 2019-10-28T00:30:11Z

Lists: pgsql-hackers

Attachments

ct_asserts_StaticAssertDecl_3.patch (application/octet-stream) patch

From: Andres Freund <andres@anarazel.de> Sent: Sunday, 27 October 2019 12:03 PM
> My proposal for this really was just to use this as a fallback for when static assert isn't available. Which in turn I was just suggesting because Tom wanted a fallback.

The patch is updated to use "extern" technique only when  "_Static_assert" is unavailable.

PSA.

Kind Regards,
---
Peter Smith
Fujitsu Australia

Commits

Add declaration-level assertions for compile-time checks
- f1f10a1ba9e1 13.0 landed
Add support for static assertions in C++
- a2c8e5cfdb9d 11.0 cited