This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [PATCH 5/6] Remove miscellaneous debris from libio.
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Zack Weinberg <zackw at panix dot com>
- Cc: Florian Weimer <fweimer at redhat dot com>, GNU C Library <libc-alpha at sourceware dot org>, Adhemerval Zanella <adhemerval dot zanella at linaro dot org>
- Date: Wed, 21 Feb 2018 22:39:12 +0000
- Subject: Re: [PATCH 5/6] Remove miscellaneous debris from libio.
- Authentication-results: sourceware.org; auth=none
- References: <20180211163558.14124-1-zackw@panix.com> <20180211163558.14124-6-zackw@panix.com> <3f6cc7ca-24b1-b1ef-6ccf-442cb0983608@redhat.com> <CAKCAbMjt4oahEA2jRmjdKA=ZBm67iQyqvo949xD9fvF859LdvQ@mail.gmail.com>
On Wed, 21 Feb 2018, Zack Weinberg wrote:
> > Do fclose and pclose have to have different addresses? We could make them
> > aliases.
>
> I don't know how to find out the answer to this question. We do make
> fputc and putc have the same address...
The question of explicitly allowing aliasing between different standard
library functions with the same type (I think it's clearly allowed between
functions with different types, simply because of the limitations of what
you can do with a function pointer converted to a different type) is on my
list of issues to raise formally with WG14 papers for C2x.
The footnote "There is no linkage between different identifiers." is not
normative and can reasonably be interpreted as meaning "there is no way in
standard C to declare there to be a linkage between different identifiers"
without saying anything about how such linkage might be created for
standard library functions that aren't in standard C.
--
Joseph S. Myers
joseph@codesourcery.com