1extern void abort (void);
2double d = __FLT_MIN__ / 2.0;
3int main()
4{
5  double x = __FLT_MIN__ / 2.0;
6  if (x != d)
7    abort ();
8  return 0;
9}
10