CVS difference for 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