mailing list of musl libc
 help / color / mirror / code / Atom feed
From: Szabolcs Nagy <nsz@port70.net>
To: musl@lists.openwall.com
Subject: Re: spandsp build, lrint/sqrt/pow issue
Date: Tue, 18 Dec 2012 13:31:49 +0100	[thread overview]
Message-ID: <20121218123149.GW23126@port70.net> (raw)
In-Reply-To: <20121218114508.GV23126@port70.net>

* Szabolcs Nagy <nsz@port70.net> [2012-12-18 12:45:09 +0100]:
> * ojab <ojab@ojab.ru> [2012-12-18 10:07:09 +0400]:
> > LLVM guys has closed http://llvm.org/bugs/show_bug.cgi?id=14618 as invalid.
> > Type expression, that mentioned above, compiles without errors on
> > both gcc and clang, so looks like an error anywhere else. Testcase
> > was:
> > int main() {
> >     __typeof__(0 ? (int*)0 : (void*)1) x;
> > }
> 
> they should not close the bug if they don't understand it..
> 
> the bug has nothing to do with integer constant expressions
> 
> the more i look at it the more convinced i am that this
> is a big fat clang bug
> 

i take this back

i found an old clang-2.7 around and i could
reproduce the error with it so the problem is

__typeof__(*(0 ? (double*)0 : 0 ? (void*)0 : (void*)0)) x;

we expect this to be double, but clang evaluates
it as void

which means clang does not treat 0?(void*)0:(void*)0
as a null pointer constant

which is most likely correct so then this is a gcc bug

i'd let them both know about the issue meanwhile
i'll try to think about a workaround..

(i'd also argue that this is a bug in the standard
but then the definition of integer constant expression
should be changed as well, now it seems to be that
0?(void*)0:(void*)0 is not even a 'constant expressoin'
which means it cannot be used in initializers, which
is absurd)


  reply	other threads:[~2012-12-18 12:31 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-12-14  9:49 ojab
2012-12-14 12:40 ` Szabolcs Nagy
2012-12-14 12:59   ` ojab
2012-12-14 13:33     ` Szabolcs Nagy
2012-12-14 14:21       ` ojab
2012-12-14 19:47         ` ojab
2012-12-15  0:47           ` Szabolcs Nagy
2012-12-16 10:29             ` ojab
2012-12-16 14:12               ` Szabolcs Nagy
2012-12-18  6:07                 ` ojab
2012-12-18 11:45                   ` Szabolcs Nagy
2012-12-18 12:31                     ` Szabolcs Nagy [this message]
2012-12-18 13:50                       ` Szabolcs Nagy

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=20121218123149.GW23126@port70.net \
    --to=nsz@port70.net \
    --cc=musl@lists.openwall.com \
    /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.
Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/musl/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).