exp_attr.adb:
2006-10-31 Ed Schonberg <schonberg@adacore.com>
Thomas Quinot <quinot@adacore.com>
Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
* exp_attr.adb:
(Expand_Access_To_Protected_Op): If the context indicates that an access
to a local operation may be transfered outside of the object, create an
access to the wrapper operation that must be used in an external call.
(Expand_N_Attribute_Reference, case Attribute_Valid): For the AAMP
target, pass the Valid attribute applied to a floating-point prefix on
to the back end without expansion.
(Storage_Size): Use the new run-time function Storage_Size to retrieve
the allocated storage when it is specified by a per-object expression.
(Expand_N_Attribute_Reference): Add case for Attribute_Stub_Type.
Nothing to do here, the attribute has been rewritten during semantic
analysis.
(Expand_Attribute_Reference): Handle expansion of the new Priority
attribute
(Find_Fat_Info): Handle case of universal real
(Expand_Access_To_Protected_Op): Fix use of access to protected
subprogram from inside the body of a protected entry.
(Expand_Access_To_Protected_Op): Common procedure for the expansion of
'Access and 'Unrestricted_Access, to transform the attribute reference
into a fat pointer.
(Is_Constrained_Aliased_View): New predicate to help determine whether a
subcomponent's enclosing variable is aliased with a constrained subtype.
(Expand_N_Attribute_Reference, case Attribute_Constrained): For Ada_05,
test Is_Constrained_Aliased_View rather than Is_Aliased_View, because
an aliased prefix must be known to be constrained in order to use True
for the attribute value, and now it's possible for some aliased views
to be unconstrained.
From-SVN: r118254