PowerAda 131

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Revision as of 00:36, 25 April 2019 by imported>WikiVisor (Text replacement - """ to """)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

(131) The result of a complex arithmetic operation or complex elementary function reference in overflow situations, when the Machine_Overflows attribute of the corresponding real type is False.

See G.2.6(5).

The result of a floating point operation in overflow situations is an "infinity" value as described by IEEE 754-1985. Certain operations whose results are mathematically undefined do not return an infinity (such as 0/0) as these are not actually overflow situations. In these cases an IEEE NaN will be returned.