Symbol: int32RandomPInf
regress/lib/libc/ieeefp/testfloat/testCases.c
3330
testCases_a_int32 = int32RandomPInf();
regress/lib/libc/ieeefp/testfloat/testCases.c
3548
testCases_a_int32 = int32RandomPInf();