/* Test frexpf(), which has a habit of breaking */#include <testfwk.h>#include <math.h>voidtestfrexpf(void){#if !defined(__SDCC_pdk14)// Lack of memoryint e;int*p = &e;ASSERT(frexpf(0.75, p) ==0.75);ASSERT(frexpf(0.75*4, p) ==0.75);ASSERT(frexpf(0.75*16, p) ==0.75);#endif}