blob: f6118e92c102c108824fef3253c4e6f439831a7b [file] [log] [blame]
void abort (void);
void exit (int);
double x = 0x1.fp1;
int main()
{
if (x != 3.875)
abort ();
exit (0);
}