Symbol: int64RandomPInf
regress/lib/libc/ieeefp/testfloat/testCases.c
3347
testCases_a_int64 = int64RandomPInf();
regress/lib/libc/ieeefp/testfloat/testCases.c
3566
testCases_a_int64 = int64RandomPInf();