Re: Change copyObject() to use typeof_unqual
Peter Eisentraut <peter@eisentraut.org>
From: Peter Eisentraut <peter@eisentraut.org>
To: pgsql-hackers <pgsql-hackers@postgresql.org>
Cc: Andres Freund <andres@anarazel.de>
Date: 2026-02-04T10:46:22Z
Lists: pgsql-hackers
On 20.01.26 10:37, Peter Eisentraut wrote: > Currently, when the argument of copyObject() is const-qualified, the > return type is also, because the use of typeof carries over all the > qualifiers. This is incorrect, since the point of copyObject() is to > make a copy to mutate. But apparently no code ran into it. > > The new implementation uses typeof_unqual, which drops the qualifiers, > making this work correctly. > > typeof_unqual is standardized in C23, but all recent versions of all the > usual compilers support it even in non-C23 mode, at least as > __typeof_unqual__. We add a configure/meson test for typeof_unqual and > __typeof_unqual__ and use it if it's available, else we use the existing > fallback of just returning void *. I committed this first part, but it ran into some trouble on the buildfarm: https://buildfarm.postgresql.org/cgi-bin/show_log.pl?nm=taipan&dt=2026-02-04%2008%3A39%3A34 The problem is that configure detected that gcc supports typeof_unqual, but the clang used to produce the .bc files does not. This seems to be a possible problem in general, if we do all these configure checks with $CC, but then run $CLANG assuming all the results hold. My first attempt to fix this was to set CLANG='clang -std=gnu23' to effectively put clang into approximately the same mode as gcc. This fixes this particular issue but then later fails when compiling .bc files for the test_cplusplus module: clang -std=gnu23 -xc++ -Wno-ignored-attributes -O2 -I. -I. -I../../../../src/include -D_GNU_SOURCE -I/usr/include/libxml2 -flto=thin -emit-llvm -c -o test_cplusplusext.bc test_cplusplusext.cpp error: invalid argument '-std=gnu23' not allowed with 'C++' This might be another looming problem. Do we need to look up, say, CLANGXX separately from CLANG? Another attempt was to switch the order of the configure test to check for __typeof_unqual__ before typeof_unqual. This works, but it seems totally unprincipled. Any thoughts? (Btw., the buildfarm member description says gcc 13, but it's actually using gcc 15.)
Commits
Same data as JSON:
GET /api/v1/messages/:b64id/commits
the thread's linked commits as JSON, with link sources.
API reference →
-
Add some const qualifiers enabled by typeof_unqual change on copyObject
- 7724cb9935a9 19 (unreleased) landed
-
Hardcode typeof_unqual to __typeof_unqual__ for clang
- 2eb6cd327cae 19 (unreleased) landed
-
Clean up postgres_fdw/t/010_subscription.pl.
- f4af7849b3db 19 (unreleased) cited
-
Hardcode override of typeof_unqual for clang-for-bitcode
- 63275ce84d2f 19 (unreleased) landed
-
Make typeof and typeof_unqual fallback definitions work on C++11
- cd083b54bd67 19 (unreleased) landed
-
Change copyObject() to use typeof_unqual
- 59292f7aac72 19 (unreleased) landed
- 4cfce4e62c8f 19 (unreleased) landed
-
Fixes for C++ typeof implementation
- 9c05f152b5dd 19 (unreleased) landed
-
Support using copyObject in standard C++
- 1887d822f142 19 (unreleased) cited