CVS difference for ais/ai-00055.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00055.txt

--- ais/ai-00055.txt	1998/09/30 00:17:11	1.1
+++ ais/ai-00055.txt	1999/07/08 17:28:21	1.2
@@ -1,4 +1,4 @@
-!standard A.5.3    (50)                               97-11-14  AI95-00055/01
+!standard A.5.3    (50)                               99-07-08  AI95-00055/02
 !class confirmation 95-06-25
 !status WG9 Approved  97-11-14
 !status ARG approved (6-1-0) subject to editorial review 97-04-11
@@ -8,13 +8,13 @@
 !difficulty Easy
 !subject Overflow for Adjacent, Machine, and Model attributes
 
-!summary 95-06-25
+!summary
 
 The Adjacent, Machine, and Model attributes raise Constraint_Error under
 the conditions specified in the RM, even if the Machine_Overflows
 attribute is False.
 
-!question 95-06-25
+!question
 
 The Adjacent, Machine, and Model attributes raise Constraint_Error under
 certain overflow conditions (see A.5.3(50,62), G.2.2(07)).  The
@@ -22,7 +22,7 @@
 is raised even if Machine_Overflows is False.  Is this the intent?
 (Yes.)
 
-!response 97-05-08
+!response
 
 The intent is that Machine_Overflows does not affect the raising of
 Constraint_Error by the Adjacent, Machine, and Model attributes.
@@ -36,7 +36,15 @@
 example, a multiply, where an overflow check would be a substantial
 relative overhead on some machines.
 
-!appendix 95-06-25
+!ACATS test
+
+It is not possible to test if the Adjacent, Machine, and Model attributes
+raise Constraint_Error. Constructing values that would leave the base range
+of a type (and trigger the constraint error) would require more knowledge
+about the numeric models of an implementation than is available to an ACATS
+test.
+
+!appendix
 
 !section A.5.3(50)
 !subject Mistake in description for floating point attribute S'Adjacent

Questions? Ask the ACAA Technical Agent