From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/5596 Path: news.gmane.org!not-for-mail From: Morten Welinder Newsgroups: gmane.linux.lib.musl.general Subject: Re: C11 threads Date: Fri, 25 Jul 2014 09:42:52 -0400 Message-ID: References: <1406282437.6438.34.camel@eris.loria.fr> <20140725104056.GO9928@port70.net> <1406286404.6438.38.camel@eris.loria.fr> <20140725130438.GA10402@port70.net> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1406295791 11549 80.91.229.3 (25 Jul 2014 13:43:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 25 Jul 2014 13:43:11 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-5601-gllmg-musl=m.gmane.org@lists.openwall.com Fri Jul 25 15:43:06 2014 Return-path: Envelope-to: gllmg-musl@plane.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1XAfm6-0004Vw-8E for gllmg-musl@plane.gmane.org; Fri, 25 Jul 2014 15:43:06 +0200 Original-Received: (qmail 19546 invoked by uid 550); 25 Jul 2014 13:43:05 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 19526 invoked from network); 25 Jul 2014 13:43:04 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=gAQ1EXTb373Ygq748HvVzVYi4fo9ryCWms17x+vRFxg=; b=TUHUqIr45OnEwxgIuuszZPOUFdWrKJzs+WlGfReCbp4lXbG01jQi/14P3f3YcLwBrb d9aDa24X9Nin5ToUMZK7jMXBww0N6ac/MUZBVs+YHii/wBin36CfEgoO9AGiFRZPYTtd usVulZEmf3wF+N3m6NFh3WE3xH3M6hF431M37lMqtW53f1uOFUm8v4Z5gMHIJVPYX+rT ygJrupJF+l71GxVR9HkOfigzpGqEb5iNUjzZFPAdFTQ6uS7yi7n7hgD2//pdDnp2+D7I 83rwCfUm+gkBmqh80oJNpfa5ZnTv0odES7GBNyLqWGnSYWu5mwYhb5Lc5+HxP5eP2kzE S2vQ== X-Received: by 10.194.8.35 with SMTP id o3mr21554686wja.3.1406295772661; Fri, 25 Jul 2014 06:42:52 -0700 (PDT) In-Reply-To: <20140725130438.GA10402@port70.net> Xref: news.gmane.org gmane.linux.lib.musl.general:5596 Archived-At: > the musl math library currently defines distinct long double [...] You cannot compare a "double" function pointer to a "long double" function pointer. The types are incompatible, even if they have the same representation. Hence I don't believe a C program can even tell if they are the same. M. On Fri, Jul 25, 2014 at 9:04 AM, Szabolcs Nagy wrote: > * Jens Gustedt [2014-07-25 13:06:44 +0200]: >> Am Freitag, den 25.07.2014, 12:40 +0200 schrieb Szabolcs Nagy: >> > * Jens Gustedt [2014-07-25 12:00:37 +0200]: >> > > /* Best of all worlds, these are just weak aliases */ >> > > int cnd_broadcast(cnd_t *); // pthread_cond_broadcast >> > >> > posix is not yet aligned with c11, but i think they will >> > require inequal function pointers for these functions >> >> The term "inequal function pointer" had nothing pop up. Could you give >> a reference to the relevant part in POSIX that makes the requirement >> for a "strong" symbol? > > > hm i might be wrong: > > there is a requirement in c and posix that the address of a > standard function can be taken and that == is only true for > function pointers if they point to the same function > > but i don't see any requirement that each library function > must be distinct > > and there is a dr that implies the opposite: > > http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_078.html > > without explanation the response says h can return 0. > > the musl math library currently defines distinct long double > functions even if long double and double have the same > representation, they could be weak aliases if the standard > allows this..