@ page 226 line 7943 section fenv.h objection [gwc fenv mx]
Problem:
Defect code : 2. Omission
Annex F of the C Standard, where it states requirements for systems
that support IEC 60559 floating-point, includes the following:
"The feclearexcept, feraiseexcept, and fetestexcept functions in
<fenv.h> provide the facility to test and alter the IEC 60559
floating-point exception status flags. The fegetexceptflag and
fesetexceptflag functions in <fenv.h> provide the facility to save
and restore all five status flags at one time. These functions are
used in conjunction with the type fexcept_t and the floating-point
exception macros (FE_INEXACT, FE_DIVBYZERO, FE_UNDERFLOW,
FE_OVERFLOW, FE_INVALID) also in <fenv.h>."
This requirement to support all five exceptions is not reflected in
the XBD6 page for fenv.h.
Action:
After
"The <fenv.h> header shall define the following constants if and
only if the implementation supports the floating-point exception
by means of the floating-point functions feclearexcept(),
fegetexceptflag(), feraiseexcept(), fesetexceptflag(), and
fetestexcept()."
insert the following text shaded MX:
"If the implementation supports the IEC 60559 Floating-Point
option, all five constants shall be defined."
|