CVS difference for ai12s/ai12-0362-2.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0362-2.txt

--- ai12s/ai12-0362-2.txt	2020/06/17 00:20:22	1.2
+++ ai12s/ai12-0362-2.txt	2020/06/21 01:52:06	1.3
@@ -1,4 +1,4 @@
-!standard 4.1.4(12/1)                                  20-06-15  AI12-0362-2/02
+!standard 4.1.4(12/1)                                  20-06-19  AI12-0362-2/03
 !class Amendment 20-06-05
 !status Amendment 1-2012 20-06-15
 !status ARG Approved 12-0-1  20-06-13
@@ -68,15 +68,41 @@
 to implementations to extend the semantics of language-defined attributes in 
 this case.
 
+!corrigendum 4.1.4(12/1)
+
+@drepl
+An implementation may provide implementation-defined attributes; the
+@fa<identifier> for an implementation-defined attribute shall differ from
+those of the language-defined attributes unless supplied for
+compatibility with a previous edition of this International Standard.
+@dby
+An implementation may provide implementation-defined attributes;
+the @fa<identifier> for such an implementation-defined attribute shall
+differ from those of the language-defined attributes.
+
+An implementation may extend the definition of a language-defined
+attribute by accepting uses of that attribute that would otherwise be
+illegal in the following cases:
+
+@xbullet<in order to support compatibility with a previous edition of
+of this International Standard; or>
+
+@xbullet<in the case of a language-defined attribute whose
+@fa<prefix> is required by this International Standard to be a floating
+point subtype, an implementation may accept an @fa<attribute_reference>
+whose @fa<prefix> is a fixed point subtype; the semantics of such an
+@fa<attribute_reference> are implementation defined.>
+
 !ASIS
 
-[Not sure. It seems like some new capabilities might be needed,
-but I didn't check - Editor.]
+No ASIS effect.
 
 !ACATS test
 
-ACATS B- and C-Tests are needed to check that the new capabilities are
-supported.
+This is an implementation permission, which is not testable. Testing that
+an implementation has not extended various language-defined attributes has
+minimal value in general (there may be specific instances worth testing,
+but those would belong to the specific attributes).
 
 
 !appendix

Questions? Ask the ACAA Technical Agent