I was thinking of something more like: #if !(build_on(clang)) just_build(you_stupid_thing) #else // what's the problem #endif
Anyway, thanks for the suggestions. When I get a chance to review I'll insert something like this in the upstream repo. Bill. On Monday, 3 June 2013, leif wrote: > Jeroen Demeyer wrote: > >> On 06/03/2013 01:59 PM, leif wrote: >> >>> Not performance, but the brokenness to test might actually be related to >>> the use of GCC's *built-in* malloc(). >>> >> Perhaps, I don't know which GCC-4.3.2 bug this refers to. >> >> If this is the case, it obviously should not be changed to malloc() and >> the right thing to do is checking for the existence of __builtin_malloc(). >> > > #ifdef __clang__ > # if __has_builtin(malloc) > # define __builtin_malloc malloc > # else > # define __builtin_malloc malloc > # endif > #endif > > ;-) > > clang's built-in malloc() is just malloc(), not __builtin_malloc(), > available with -fbuiltin (default). > > (__has_builtin(malloc) evaluates to false with -fno-builtin.) > > > (I'm not saying I like this.) > > > -leif > > -- > () The ASCII Ribbon Campaign > /\ Help Cure HTML E-Mail > > -- > You received this message because you are subscribed to the Google Groups > "mpir-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to mpir-devel+unsubscr...@googlegroups.com. > To post to this group, send email to mpir-devel@googlegroups.com. > Visit this group at > http://groups.google.com/**group/mpir-devel?hl=en<http://groups.google.com/group/mpir-devel?hl=en> > . > For more options, visit > https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_out> > . > > > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at http://groups.google.com/group/mpir-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
