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

Reply via email to