checks.adb (Build_Discriminant_Checks): If the expression being checks is an aggregate retrieve the values of its...
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Thomas Quinot <quinot@adacore.com>
* checks.adb (Build_Discriminant_Checks): If the expression being
checks is an aggregate retrieve the values of its discriminants to
generate the check, rather than creating a temporary and a reference
to it.
(Apply_Access_Check): Rewritten to handle new Is_Known_Null flag
(Install_Null_Excluding_Check): Ditto
(Selected_Length_Checks): Build actual subtype for the original Ck_Node,
not for the renamed object, so that the actual itype is attached in the
proper context.
From-SVN: r111052