1 #include "libm.h" 2 __math_divzero(uint32_t sign)3 double __math_divzero(uint32_t sign) 4 { 5 return fp_barrier(sign ? -1.0 : 1.0) / 0.0; 6 } 7