This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
Tested on i686-linux, committed on mainline. This patch is a cleanup of the previous implementation of limited-with clauses. 2005-07-07 Ed Schonberg <schonberg@adacore.com> Javier Miranda <miranda@adacore.com> * par-load.adb (Load): If a child unit is loaded through a limited_with clause, each parent must be loaded as a limited unit as well. * sem_ch10.adb (Previous_Withed_Unit): Better name for Check_Withed_Unit. Return true if there is a previous with_clause for this unit, whether limited or not. (Expand_Limited_With_Clause): Do not generate a limited_with_clause on the current unit. (Is_Visible_Through_Renamings): New local subprogram of install_limited _withed_unit that checks if some package installed through normal with clauses has a renaming declaration of package whose limited-view is ready to be installed. This enforces the check of the rule 10.1.2 (21/2) of the current Draft document for Ada 2005. (Analyze_Context): Complete the list of compilation units that are allowed to contain limited-with clauses. It also contains checks that were previously done by Install_Limited_Context_Clauses. This makes the code more clear and easy to maintain. (Expand_Limited_With_Clause) It is now a local subprogram of Install_Limited_Context_Clauses, and contains the code that adds the implicit limited-with clauses for parents of child units. This functionality was prevously done by Analyze_Context. * sem_ch4.adb (Analyze_Selected_Component): Check wrong use of incomplete type. * sem_ch7.adb (Analyze_Package_Declaration): Check if the package has been erroneously named in a limited-with clause of its own context. In this case the error has been previously notified by Analyze_Context.
Attachment:
difs.7
Description: Text document
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |