Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20120526124940.GI17860@port70.net>
Date: Sat, 26 May 2012 14:49:41 +0200
From: Szabolcs Nagy <nsz@...t70.net>
To: musl@...ts.openwall.com
Subject: Re: A little more progress today with clang/LLVM

* Richard Pennington <rich@...nware.com> [2012-05-26 06:39:25 -0500]:
> My tgmath.h test cases fail, for example (f is a float, d is a double):
> 

tgmath.h is non-trivial and is not extensively tested so there can be issues

> ../../../../../src/libs/math/001tgmath.c:15:7: error: assigning to 'float' from 
> incompatible type 'typeof (*(0
>       ? (typeof (0 ? (double *)0 : (void *)!!((1 ? 1 : ((f))) / 2)))0 : 
> (typeof (0 ? (typeof ((f)) *)0 :
>       (void *)!!!((1 ? 1 : ((f))) / 2)))0))' (aka 'void')

sounds like a clang bug

this code is marked with #ifdef __GNUC__ and
uses __typeof__ and ?: trics to be able to cast
the return value to the correct type


to try the messy expression above in isolation you can use:

#define T __typeof__
#define ISFP(x) !!((1?1:(x))/2)

float f = 0.1;
T(*(0 ? (T(0 ? (double *)0 : (void *)ISFP(f)))0 :
        (T(0 ? (T(f) *)0 : (void *)!ISFP(f)))0)) *x = &f;


but i think clang gets the ?: thing wrong
eg. try

__typeof__(0 ? (char*)0 : (void*)1) p;
void **pp = &p;

__typeof__(0 ? (char*)0 : (void*)0) q;
char **qq = &q;


(this should compile cleanly)

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.