CVS difference for acats/new/testobj.txt

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

--- acats/new/testobj.txt	2008/01/26 04:54:50	1.42
+++ acats/new/testobj.txt	2008/04/01 03:48:23	1.43
@@ -707,6 +707,14 @@
 accessibility level of the type of the return expression cannot be
 statically deeper than the master that elaborated the function.
 
+B650004
+
+Check that a return statement is illegal if it is not within a
+callable construct.
+
+Check that a return statement is illegal if it is within a body
+that is within the construct to which it applies.
+
 B660001
 
 Check that the "=" operator may be overloaded for non-limited private
@@ -2963,6 +2971,11 @@
 Check that a derived access type has the same storage pool as its
 parent.  (Defect Report 8652/0012, Technical Corrigendum 3.10(7/1)).
 
+C3A0016
+
+Check that a constant access-to-variable value can be used to
+modify the designated object.
+
 C3A1001
 
 Check that the full type completing a type with no discriminant part or
@@ -3424,6 +3437,35 @@
 
 Check that actual parameters passed by reference are view converted to
 the nominal subtype of the formal parameter.
+
+C650002
+
+Check that the completion of a return statement that applies to an
+accept statement causes the accept statement to return.
+
+Check that the completion of a return statement that applies to an
+entry body causes the entry to return.
+
+C650003
+
+Check that reaching the "end return" of an extended_return_statement
+that applies to a function causes the function to return.
+
+Check that a simple return statement in the
+handled_sequence_of_statements of an extended_return_statement
+completes the extended_return_statement and causes the function to
+return.
+
+Check that completing an an extended_return_statement that applies to
+a function by an exit, goto, or exception propagation does not
+cause the function to return.
+
+C650A01
+
+Check that Constraint_Error is raised if the result subtype of the
+function is an anonymous access type designating a specific tagged
+type and the result value is not null and designates some other
+specific type.
 
 C730001
 

Questions? Ask the ACAA Technical Agent