CVS difference for acats/new/bdb4001.a

Differences between 1.1 and version 1.2
Log of other versions for file acats/new/bdb4001.a

--- acats/new/bdb4001.a	2019/12/27 04:38:01	1.1
+++ acats/new/bdb4001.a	2019/12/31 05:12:19	1.2
@@ -38,7 +38,8 @@
 --              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
---  level general access type.
+--              non-library level general access type;
+--          (D) The access type is a general access type.
 --      Part 1: Non-generic uses.
 --
 -- TEST DESCRIPTION:
@@ -302,14 +303,14 @@
    type Acc1 is access Natural
       with Storage_Pool => Pool_1;                       -- OK. {1:4;1}
 
-   type Acc2 is access all Float;
+   type Acc2 is access Float;
    for Acc2'Storage_Pool use Pool_1;                     -- OK. {4;1}
 
    type Acc_Pool is access all BDB4001_Tracked_Subpools.Tracked_Pool;
 
    Indir_Pool : Acc_Pool := Pool_1'Access;               -- OK. {4;1}
 
-   type Acc3 is access all Location
+   type Acc3 is access Location
       with Storage_Pool => Indir_Pool.all;               -- OK. {1:4;1}
 
    type Acc4 is access String;
@@ -335,7 +336,7 @@
    type Acc1 is access Location
       with Storage_Pool => Pool_2;                       -- OK. {1:4;1}
 
-   type Acc2 is access all Natural;
+   type Acc2 is access Natural;
    for Acc2'Storage_Pool use Pool_2;                     -- OK. {4;1}
 
    type Acc_Pool_2 is access BDB4001_Tracked_Subpools.Tracked_Pool;
@@ -343,7 +344,7 @@
 
    Indir_Pool_2 : Acc_Pool_2 := new BDB4001_Tracked_Subpools.Tracked_Pool;
 
-   type Acc3 is access all Float
+   type Acc3 is access Float
       with Storage_Pool => Indir_Pool_2.all;             -- OK. {1:4;1}
 
    type Acc4 is access String;
@@ -381,7 +382,7 @@
       type Acc13 is access Natural
          with Storage_Pool => Pool_4;                    -- OK. {1:7;1}
 
-      type Acc14 is access all Float;
+      type Acc14 is access Float;
       for Acc14'Storage_Pool use Pool_1;                 -- ERROR: (A) {7;1}
 
       type Acc15 is access String;
@@ -390,26 +391,35 @@
       type Acc16 is access String;
       for Acc16'Storage_Pool use Indir_Pool.all;         -- ERROR: (A) {7;1}
 
+      type Acc17 is access Pool_Rec
+          with Storage_Pool => Indir_Pool_2.all;         -- ERROR: (A) {1:7;1}
+
       type Acc20 is access Pool_Rec;
       for Acc20'Storage_Pool use A_Pool;                 -- ERROR: (B) {7;1}
 
       type Acc21 is access Natural
          with Storage_Pool => A_Rec.Pool_Comp;           -- ERROR: (B) {1:7;1}
-
-      type Acc30 is access Pool_Rec;
-      for Acc30'Storage_Pool use Indir_Pool_2.all;       -- ERROR: (A) {7;1}
 
-      type Acc31 is access Natural
+      type Acc30 is access Natural
          with Storage_Pool => Indir_Pool_3.all;          -- ERROR: (C) {1:7;1}
 
-      type Acc32 is access Natural
+      type Acc31 is access Natural
          with Storage_Pool => Indir_Pool_4.all;          -- ERROR: (C) {1:7;1}
 
-      type Acc33 is access Float
+      type Acc32 is access Float
          with Storage_Pool => Indir_Pool_5.Pool_Comp;    -- ERROR: (C) {1:7;1}
 
-      type Acc34 is access Location
+      type Acc33 is access Location
          with Storage_Pool => Indir_Pool_6.Pool_Comp;    -- OK. {1:7;1}
+
+      type Acc40 is access all Natural
+         with Storage_Pool => Pool_4;                    -- ERROR: (D) {1:7;1}
+
+      type Acc41 is access constant Location;
+      for Acc41'Storage_Pool use Pool_4;                 -- ERROR: (D) {1:7;1}
+
+      type Acc42 is access all Float
+         with Storage_Pool => Indir_Pool_6.Pool_Comp;    -- ERROR: (D) {1:7;1}
 
    begin
       null;

Questions? Ask the ACAA Technical Agent