sem_res.adb (Resolve_Allocator): Propagate any coextensions that appear in the subtree to the current allocator...
2007-08-14 Ed Schonberg <schonberg@adacore.com>
Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Resolve_Allocator): Propagate any coextensions that
appear in the subtree to the current allocator if it is not a static
coextension.
(Resolve_Allocator): Perform cleanup if resolution has determined that
the allocator is not a coextension.
(Resolve): Skip an interpretation hidden by an abstract operator only
when the type of the interpretation matches that of the context.
(Resolve): When looping through all possible interpretations of a node,
do not consider those that are hidden by abstract operators.
(Resolve_Actuals): When verifying that an access to class-wide object
is an actual for a controlling formal, ignore anonymous access to
subprograms whose return type is an access to class_wide type.
(Resolve_Slice): If the prefix of the slice is a selected component
whose type depends on discriminants, build its actual subtype before
applying range checks on the bounds of the slice.
(Valid_Conversion): In an instance or inlined body, compare root types,
to prevent anomalies between private and public views.
(Resolve): Improve error message for ambiguous fixed multiplication
expressions that involve universal_fixed multiplying operations.