...
NOTE
The IEC 60559 standard for binary floating-point arithmetic requires certain user-accessible status flags and control modes. Floating-point operations implicitly set the status flags; modes affect result values of floating-point operations. Implementations that support such floating-point state are required to regard changes to it as side effects. These are detailed in Annex F of the C Standard.
| Anchor | ||||||
|---|---|---|---|---|---|---|
|
static analysis [ISO/IEC TS 17961:2013]
Any process for assessing code without executing it.
...