CVS difference for acats/b3/b3a0007.a

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

--- acats/b3/b3a0007.a	2014/01/22 06:09:37	1.1
+++ acats/b3/b3a0007.a	2014/03/01 01:05:59	1.2
@@ -52,6 +52,7 @@
 --     29 Apr 2008 RLB Added Priv_Ptr cases.
 --     27 Dec 2013 RLB Commented out case which violates the binding
 --                     interpretation AI05-0104-1.
+--     28 Feb 2014 RLB Replaced test case for ACATS 4.0.
 --!
 
 procedure B3A0007 is
@@ -158,8 +159,7 @@
    type NN_Int_Ptr_Ptr is access Not_Null_Int_Ptr;
 
    -- The following is made illegal by AI05-0104-1, included in Ada 2012.
-   -- For Amendment 1, we do not require behavior either way.
-   --IPP_0 :    Int_Ptr_Ptr := new not null Int_Ptr;               -- ERROR:
+   IPP_0 :    Int_Ptr_Ptr := new not null Int_Ptr;                 -- ERROR:
    IPP_1 :    Not_Ptr_Ptr := new not null Not_Ptr;                 -- ERROR:
    IPP_2 :   Priv_Ptr_Ptr := new not null P.Priv_Ptr;              -- ERROR:
    IPP_3 : NN_Int_Ptr_Ptr := new not null Not_Null_Int_Ptr;        -- ERROR:

Questions? Ask the ACAA Technical Agent