main()1 main()
2 {
3   double x,y=0.5;
4   x=y/0.2;
5   if(x!=x)
6     abort();
7   exit(0);
8 }
9