CVS difference for ais/ai-00100.txt
--- ais/ai-00100.txt 2001/01/29 23:33:41 1.3
+++ ais/ai-00100.txt 2004/04/06 19:56:53 1.4
@@ -1,24 +1,24 @@
-!standard 04.09 (38) 01-01-29 AI95-00100/03
+!standard 04.09 (38) 04-03-23 AI95-00100/04
!class confirmation 99-03-21
+!status ARG Approved 9-0-0 04-03-05
!status work item 95-10-21
!status received 95-10-12
!priority Low
!difficulty Medium
-!subject Truncation required for static expressions if Machine_Rounds is
-false.
+!subject Truncation required for static expressions if Machine_Rounds is False
-!summary 99-03-21
+!summary
A static expression of a fixed or floating point type that is not part of a
larger static expression will be rounded or truncated based on the value of
Machine_Rounds for the type.
-!question 99-03-21
+!question
Is the intent of 4.9(38) to require truncation for values of static
expressions if Machine_Rounds is false? (Yes.)
-!response 99-03-21
+!response
Paragraph 4.9(38) reads:
@@ -34,12 +34,12 @@
Reading just the first sentence may be confusing, but the second
sentence makes the intent clear: there are special rounding and truncation
rules that only apply to static scalar expressions which are not descended
-from a formal scalar type. To do this correctly will require special
+from a formal scalar type. To do this correctly will require special
effort, but this effort is required in any case since the legality rules
-require this evaluation to be done without Overflow_Checks. In other words
+require this evaluation to be done without Overflow_Checks. In other words
this evaluation in general cannot be done using normal machine arithmetic.
-!appendix 95-10-21
+!appendix
!section 4.9(38)
!subject Truncation required if Machine_Rounds false?
Questions? Ask the ACAA Technical Agent