Searched refs:VKI_FPE_FLTOVF (Results 1 – 4 of 4) sorted by relevance
521 #define VKI_FPE_FLTOVF FPE_FLTOVF macro
1016 #define VKI_FPE_FLTOVF FPE_FLTOVF macro
510 #define VKI_FPE_FLTOVF (__VKI_SI_FAULT|4) /* floating point overflow */ macro
1798 case VKI_FPE_FLTOVF: event = "FP overflow"; break; in default_action()