------- 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