From: Alejandro Colomar <alx@kernel.org>
To: Martin Uecker <uecker@tugraz.at>
Cc: Walter Harms <wharms@bfs.de>, Bruno Haible <bruno@clisp.org>,
"linux-man@vger.kernel.org" <linux-man@vger.kernel.org>
Subject: Re: AW: clumsy cast in dlopen.3
Date: Fri, 15 May 2026 17:15:03 +0200 [thread overview]
Message-ID: <agc3u2sYC_DfeCQs@devuan> (raw)
In-Reply-To: <b2eb99d1f9a5681a4e8bca3126f3743fed900243.camel@tugraz.at>
[-- Attachment #1: Type: text/plain, Size: 3523 bytes --]
Hi Martin,
On 2026-05-15T16:05:24+0200, Martin Uecker wrote:
>
> There is no such thing needed here, you just do
>
> double (*cosine)(double);
>
> cosine = dlsym(handle, "cos");
Hmmmm, yes. I don't know why the manual page uses a cast in the POSIX
version.
The above wouldn't be enough in ISO C, since void* isn't guaranteed to
work with function pointers. However, any systems where dlsym(3) works
must support holding function pointers in void* (because otherwise,
dlsym(3) itself wouldn't work), so ISO C shouldn't be a concern at all.
Hmmm; I'll simplify the page.
Thanks!
Have a lovely day!
Alex
>
>
> Best,
> Martin
>
> Am Freitag, dem 15.05.2026 um 11:56 +0200 schrieb Alejandro Colomar:
> > Hi Walter,
> >
> > On 2026-05-15T08:35:49+0000, Walter Harms wrote:
> > > Hello,
> > > I agree the cast is not nice, (someone for a extension of C standard ?)
> > > but i have to admit that i have never seen the trick with the union.
> > > But it needs some explaination. The comment in the example is already huge,
> > > i would ask for a comment subsektion for this behavier here.
> >
> > The thing about unions is that the only two ways for type punning that
> > are blessed by ISO C are unions and memcpy(3). Everything else isn't
> > allowed.
> >
> > Perfectly valid:
> >
> > static_assert(sizeof(int) == sizeof(float));
> >
> > union u {int i; float f;};
> >
> > float f;
> > union u u;
> >
> > u.i = 42;
> > f = u.f;
> >
> > Perfectly valid:
> >
> > static_assert(sizeof(int) == sizeof(float));
> >
> > int i;
> > float f;
> >
> > i = 42;
> > memcpy(&f, &i, sizeof(float));
> >
> > UB:
> >
> > static_assert(sizeof(int) == sizeof(float));
> >
> > int i;
> > float f;
> >
> > i = 42;
> > f = *(float *) &i;
> >
> >
> > Have a lovely day!
> > Alex
> >
> > > btw: the original code in the example looks like this ...
> > > cosine = (typeof(double (double)) *) dlsym(handle, "cos");
> > >
> > > my2c
> > > wh
> > >
> > > ________________________________________
> > > Von: Alejandro Colomar <alx@kernel.org>
> > > Gesendet: Donnerstag, 14. Mai 2026 13:29:20
> > > An: Bruno Haible
> > > Cc: linux-man@vger.kernel.org; Martin Uecker
> > > Betreff: Re: clumsy cast in dlopen.3
> > >
> > > Hi Bruno,
> > >
> > > On 2026-05-14T12:56:55+0200, Bruno Haible wrote:
> > > > The dlopen.3 man page contains this text:
> > > >
> > > > *(void **) &cosine = dlsym(handle, "cos");
> > > >
> > > > This (clumsy) cast conforms with the ISO C standard and will
> > > > avoid any compiler warnings.
> > > >
> > > > However, such a cast violates the strict aliasing rules of ISO C, no?
> > >
> > > I think I agree. Dereferencing the pointer &cosine with a type
> > > different than the type of the object is not allowed. I've CCed Martin,
> > > who might be able to confirm.
> > >
> > > >
> > > > The proper workaround is to use a union:
> > > >
> > > > union { double (*cosine) (double); void *pointer; } u;
> > > >
> > > > u.pointer = dlsym(handle, "cos");
> > > > ...
> > > > printf("%f\n", u.cosine(2.0));
> > >
> > > This is seems much better, indeed.
> > >
> > >
> > > Have a lovely day!
> > > Alex
> > >
> > > >
> > > > Bruno
> > > >
> > > >
> > > >
> > > >
> > >
> > > --
> > > <https://www.alejandro-colomar.es>
--
<https://www.alejandro-colomar.es>
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2026-05-15 15:15 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-05-14 10:56 clumsy cast in dlopen.3 Bruno Haible
2026-05-14 11:29 ` Alejandro Colomar
2026-05-15 8:35 ` AW: " Walter Harms
2026-05-15 9:56 ` Alejandro Colomar
2026-05-15 14:05 ` Martin Uecker
2026-05-15 15:15 ` Alejandro Colomar [this message]
2026-05-15 15:41 ` [PATCH v1] man/man3/dlopen.3: EXAMPLES: Simplify use of dlsym(3) Alejandro Colomar
2026-05-15 16:19 ` Bruno Haible
2026-05-15 22:51 ` Alejandro Colomar
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=agc3u2sYC_DfeCQs@devuan \
--to=alx@kernel.org \
--cc=bruno@clisp.org \
--cc=linux-man@vger.kernel.org \
--cc=uecker@tugraz.at \
--cc=wharms@bfs.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox