CVS difference for acats/new/testobj.txt

Differences between 1.145 and version 1.146
Log of other versions for file acats/new/testobj.txt

--- acats/new/testobj.txt	2019/11/23 05:16:33	1.145
+++ acats/new/testobj.txt	2019/12/31 05:12:54	1.146
@@ -818,6 +818,12 @@
 the value of the governing discriminant of a variant in a record
 aggregate cannot be non-static.
 
+B431007
+
+Check that the type of a record aggregate cannot be a derived type that has an
+ancestor for which the current view of the parent of the derived type is not a
+descendant of the full view of the ancestor.
+
 B432001
 
 Check rules related to the type of the ancestor expression or subtype
@@ -835,6 +841,17 @@
 Also, check that the type of an extension aggregate cannot be a
 tagged record type or a private extension.
 
+B432002
+
+Check that the type of an extension aggregate cannot be a type such
+that the current view of the parent of the aggregate type is not a
+descendant of the full view of the ancestor type.
+
+B432003
+
+Check that the subtype_mark of an extension aggregate cannot denote a
+view of a type that has unknown discriminants.
+
 B433001
 
 Check that <> is not allowed in positional array aggregates other than
@@ -3225,6 +3242,18 @@
 Check that the expected type for the Default_Storage_Pool aspect is
 Root_Storage_Pool'Class, and that the aspect definition must denote
 a variable.
+
+BDB4001
+
+Check that a specification of a storage pool is illegal if the
+storage pool supports subpools and:
+    (A) The access type is statically deeper than the storage pool
+        object;
+    (B) The storage pool object is a part of a formal parameter;
+    (C) The storage pool object is a part of the dereference of a
+        non-library level general access type;
+    (D) The access type is a general access type.
+Part 1: Non-generic uses.
 
 BDD2001
 

Questions? Ask the ACAA Technical Agent