PowerAda 127
From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics | Annex M
Revision as of 00:31, 24 April 2019 by imported>WikiVisor (1 revision imported)
(127) The result of a fixed point arithmetic operation in overflow situations, when the Machine_Overflows attribute of the result type is False.
See G.2.3(27).
MACHINE_OVERFLOWS is TRUE.