CVS difference for ais/ai-00167.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00167.txt

--- ais/ai-00167.txt	2005/04/13 05:36:54	1.11
+++ ais/ai-00167.txt	2005/10/31 05:18:08	1.12
@@ -627,3 +627,51 @@
 
 ****************************************************************
 
+!topic Inconsistent explanatation of use of invalid data
+!reference Draft 11 AARM05-13.9.1(12/2, 12.d, 12.e/2)
+!from Grein 2005-06-15
+!discussion
+13.9.1(12/2) talks about erroneous usages of the target object of an
+assignment statement.
+(12.d, 12.e/2) say use of Y, i.e. the source of an assignment statement,
+is already erroneous.
+
+I think this should be:
+
+Z : Position := Y; -- Erroneous to use Z
+
+and "as soon as Z is used". (Of course other uses of Y are also
+erroneous by (12/2).)
+
+BTW: (12.c/2) should in fact be (12.c) and (12.d) should in fact be
+(12.d/2) because the former para is not changed, whereas the latter is.
+Is there a problem in some generator?
+
+****************************************************************
+
+From: Randy Brukardt
+Date: Wednesday, June 15, 2005  7:45 PM
+
+> and "as soon as Z is used". (Of course other uses of Y are also
+> erroneous by (12/2).)
+
+No, the intent was that the use of Y would be erroneous. (We've already
+talked about the other case, why repeat it?) The problem is with example,
+not the text. What the heck is "Position", anyway? Not my best work.
+
+I changed it to:
+
+Z : Positive := Y+1; -- Erroneous to use Y
+
+which is probably what I meant.
+
+> BTW: (12.c/2) should in fact be (12.c) and (12.d) should in fact be
+> (12.d/2) because the former para is not changed, whereas the latter is.
+> Is there a problem in some generator?
+
+No, it just isn't obvious from the source there are two paragraphs there, I
+put the Change Reference on the wrong one, and I didn't notice it when I
+reviewed the changes. No biggie.
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent