------- Additional Comments From thor at math dot tu-berlin dot de 2005-07-29 21:14 ------- As per request, here is the preprocessed source code:
int main(int argc,char **argv)
{
double v = (__extension__ 0x1.0p2047);
printf("%f\n",v);
return 0;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23139
