CVS difference for ai12s/ai12-0155-1.txt

Differences between 1.12 and version 1.13
Log of other versions for file ai12s/ai12-0155-1.txt

--- ai12s/ai12-0155-1.txt	2016/02/16 03:20:41	1.12
+++ ai12s/ai12-0155-1.txt	2016/04/12 04:48:39	1.13
@@ -164,10 +164,45 @@
 actual, and not freezing the profile of an actual subprogram with private type
 parameters. The rules are not specifically about incomplete types.
 
+!corrigendum 3.10.1(10/3)
+
+@dinsa
+A @fa<prefix> that denotes an object shall not be of an incomplete view.
+An actual parameter in a call shall not be of an untagged incomplete
+view. The result object of a function call shall not be of an
+incomplete view. A @fa<prefix> shall not denote a subprogram
+having a formal parameter of an untagged incomplete view,
+nor a return type that is an incomplete view.
+@dinst
+The controlling operand or controlling result of a dispatching call shall
+not be of an incomplete view if the operand or result is dynamically tagged.
+
 !corrigendum 13.14(3/4)
 
 @drepl
+The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
+library package or generic library package, causes @i<freezing> of each entity
+and profile declared within it, except for incomplete types. A @fa<proper_body>,
+@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
+declared before it within the same @fa<declarative_part> that is not an
+incomplete type; it only causes freezing of an incomplete type if the body is
+within the immediate scope of the incomplete type.
 @dby
+The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
+library package or generic library package, causes @i<freezing> of each entity
+and profile declared within it. A @fa<proper_body>,
+@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
+declared before it within the same @fa<declarative_part>.
+
+!corrigendum 13.14(15.1/3)
+
+@dinsa
+@xbullet<At the place where a specific tagged type is frozen, the primitive
+subprograms of the type are frozen. At the place where a type is frozen, any
+subprogram named in an @fa<attribute_definition_clause> for the type is frozen.>
+@dinst
+Notwithstanding the rest of this subclause, freezing an incomplete view has
+no effect.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent