diff options
author | Robert Dewar <dewar@adacore.com> | 2008-04-08 08:45:42 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-04-08 08:45:42 +0200 |
commit | ce4a6e84681c0d3561c4791ddfd6cdcbd9cbe5d3 (patch) | |
tree | 364bb5359429fa617f70c71d9d19558946d8121d /gcc/ada/ali.ads | |
parent | 21d279972261484650109d662caf32b73a91bf1d (diff) | |
download | gcc-ce4a6e84681c0d3561c4791ddfd6cdcbd9cbe5d3.zip gcc-ce4a6e84681c0d3561c4791ddfd6cdcbd9cbe5d3.tar.gz gcc-ce4a6e84681c0d3561c4791ddfd6cdcbd9cbe5d3.tar.bz2 |
fe.h: Remove global Optimize_Alignment flag, no longer used
2008-04-08 Robert Dewar <dewar@adacore.com>
Gary Dismukes <dismukes@adacore.com>
Javier Miranda <miranda@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* fe.h: Remove global Optimize_Alignment flag, no longer used
* layout.adb: Test Optimize_Alignment flags rather than global switch
* lib.ads, lib.adb: New OA_Setting field in library record
* lib-load.adb: New OA_Setting field in library record
* lib-writ.ads, lib-writ.adb (Collect_Withs, Write_With_Lines): Place
units mentioned in limited_with_ clauses in the ali file, with an
'Y' marker.
New Ox fields in U line
* opt.adb: New flag Optimize_Alignment_Local
(Check_Policy_List[_Config]): New flags
* opt.ads (Invalid_Value_Used): New flag
New switch Optimize_Alignment_Local
(Warn_On_Parameter_Order): New flag
(Check_Policy_List[_Config]): New flags
* ali.ads, ali.adb: Add indicator 'Y' to mark mark the presence of
limited_with clauses.
New data structures for Optimize_Alignment
* bcheck.adb (Check_Consistent_Restriction_No_Default_Initialization):
New procedure
(Check_Consistent_Optimize_Alignment): Rework for new structure
(Check_Consistent_Restrictions): Fix incorrect error message
sem_ch10.adb (Decorate_Tagged_Type): Set the Parent field of a newly
created class-wide type (to the Parent field of the specific type).
(Install_Siblings): Handle properly private_with_clauses on subprogram
bodies and on generic units.
(Analyze_With_Clause, Install_Limited_Withed_Unit): Guard against an
illegal limited_with_clause that names a non-existent package.
(Check_Body_Required): Determine whether a unit named a limited_with
clause needs a body.
(Analyze_Context): A limited_with_clause is illegal on a unit_renaming.
Capture Optimize_Alignment settings to set new OA_Setting field in
library record.
(Build_Limited_Views): Include task and protected type declarations.
* sem_ch3.ads, sem_ch3.adb (Analyze_Object_Declaration): Handle the
case of a possible constant redeclaration where the current object is
an entry index constant.
(Analyze_Object_Declaration): Generate an error in case of CPP
class-wide object initialization.
(Analyze_Object_Declaration): Add extra information on warnings for
declaration of unconstrained objects.
(Access_Type_Declaration): Set Associated_Final_Chain to Empty, to avoid
conflicts with the setting of Stored_Constraint in the case where the
access type entity has already been created as an E_Incomplete_Type due
to a limited with clause.
Use new Is_Standard_Character_Type predicate
(Analyze_Object_Declaration): Apply access_constant check only after
expression has been resolved, given that it may be overloaded with
several access types.
(Constant_Redeclaration): Additional legality checks for deferred
constant declarations tha involve anonymous access types and/or null
exclusion indicators.
(Analyze_Type_Declaration): Set Optimize_Alignment flags
(Analyze_Subtype_Declaration): Ditto
(Analyze_Object_Declaration): Ditto
(Analyze_Object_Declaration): Don't count tasks in generics
Change name In_Default_Expression => In_Spec_Expression
Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
(Process_Discriminants): Additional check for illegal use of default
expressions in access discriminant specifications in a type that is not
explicitly limited.
(Check_Abstract_Overriding): If an inherited function dispaches on an
access result, it must be overridden, even if the type is a null
extension.
(Derive_Subprogram): The formals of the derived subprogram have the
names and defaults of the parent subprogram, even if the type is
obtained from the actual subprogram.
(Derive_Subprogram): In the presence of interfaces, a formal of an
inherited operation has the derived type not only if it descends from
the type of the formal of the parent operation, but also if it
implements it. This is relevant for the renamings created for the
primitive operations of the actual for a formal derived type.
(Is_Progenitor): New predicate, to determine whether the type of a
formal in the parent operation must be replaced by the derived type.
* sem_util.ads, sem_util.adb (Has_Overriding_Initialize): Make
predicate recursive to handle components that have a user-defined
Initialize procedure. Handle controlled derived types whose ancestor
has a user-defined Initialize procedured.
(Note_Possible_Modification): Add Sure parameter, generate warning if
sure modification of constant
Use new Is_Standard_Character_Type predicate
(Find_Parameter_Type): when determining whether a protected operation
implements an interface operation, retrieve the type of the formal from
the entity when the formal is an access parameter or an
anonymous-access-to-subprogram.
Move Copy_Parameter_List to sem_util, for use when building stubbed
subprogram bodies.
(Has_Access_Values): Tagged types now return False
(Within_HSS_Or_If): New procedure
(Set_Optimize_Alignment_Flags): New procedure
Change name In_Default_Expression => In_Spec_Expression
Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
Change name Pre_Analyze_And_Resolve => Preanalyze_And_Resolve
From-SVN: r134011
Diffstat (limited to 'gcc/ada/ali.ads')
-rw-r--r-- | gcc/ada/ali.ads | 47 |
1 files changed, 23 insertions, 24 deletions
diff --git a/gcc/ada/ali.ads b/gcc/ada/ali.ads index c632c65..dd3b6cd 100644 --- a/gcc/ada/ali.ads +++ b/gcc/ada/ali.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -176,11 +176,6 @@ package ALI is -- Set to True if file was compiled with Normalize_Scalars. Not set if -- 'P' appears in Ignore_Lines. - Optimize_Alignment_Setting : Character; - -- Optimize_Alignment setting. Set to S/T if OS/OT parameters present, - -- otherwise set to 'O' (S/T/O = Space/Time/Off). Not set if 'P' appears - -- in Ignore_Lines. - Unit_Exception_Table : Boolean; -- Set to True if unit exception table pointer generated. Not set if 'P' -- appears in Ignore_Lines. @@ -358,6 +353,9 @@ package ALI is -- for the body right after the call for the spec, or at least as close -- together as possible. + Optimize_Alignment : Character; + -- Optimize_Alignment setting. Set to L/S/T/O for OL/OS/OT/OO present + end record; package Units is new Table.Table ( @@ -539,6 +537,8 @@ package ALI is SAL_Interface : Boolean := False; -- True if the Unit is an Interface of a Stand-Alone Library + Limited_With : Boolean := False; + -- True if unit is named in a limited_with_clause end record; package Withs is new Table.Table ( @@ -669,8 +669,8 @@ package ALI is -- Sdep (Source Dependency) Table -- ------------------------------------ - -- Each source dependency (D line) in an ALI file generates an - -- entry in the Sdep table. + -- Each source dependency (D line) in an ALI file generates an entry in the + -- Sdep table. -- Note: there will be no entries in this table if 'D' lines are ignored @@ -678,9 +678,9 @@ package ALI is -- Special value indicating no Sdep table entry First_Sdep_Entry : Sdep_Id := No_Sdep_Id + 1; - -- Id of first Sdep entry for current ali file. This is initialized to - -- the first Sdep entry in the table, and then incremented appropriately - -- as successive ALI files are scanned. + -- Id of first Sdep entry for current ali file. This is initialized to the + -- first Sdep entry in the table, and then incremented appropriately as + -- successive ALI files are scanned. type Sdep_Record is record @@ -688,24 +688,23 @@ package ALI is -- Name of source file Stamp : Time_Stamp_Type; - -- Time stamp value. Note that this will be all zero characters - -- for the dummy entries for missing or non-dependent files. + -- Time stamp value. Note that this will be all zero characters for the + -- dummy entries for missing or non-dependent files. Checksum : Word; - -- Checksum value. Note that this will be all zero characters - -- for the dummy entries for missing or non-dependent files + -- Checksum value. Note that this will be all zero characters for the + -- dummy entries for missing or non-dependent files Dummy_Entry : Boolean; - -- Set True for dummy entries that correspond to missing files - -- or files where no dependency relationship exists. + -- Set True for dummy entries that correspond to missing files or files + -- where no dependency relationship exists. Subunit_Name : Name_Id; -- Name_Id for subunit name if present, else No_Name Rfile : File_Name_Type; - -- Reference file name. Same as Sfile unless a Source_Reference - -- pragma was used, in which case it reflects the name used in - -- the pragma. + -- Reference file name. Same as Sfile unless a Source_Reference pragma + -- was used, in which case it reflects the name used in the pragma. Start_Line : Nat; -- Starting line number in file. Always 1, unless a Source_Reference @@ -726,8 +725,8 @@ package ALI is -- Use of Name Table Info -- ---------------------------- - -- All unit names and file names are entered into the Names table. The - -- Info fields of these entries are used as follows: + -- All unit names and file names are entered into the Names table. The Info + -- fields of these entries are used as follows: -- Unit name Info field has Unit_Id of unit table entry -- ALI file name Info field has ALI_Id of ALI table entry @@ -737,8 +736,8 @@ package ALI is -- Cross-Reference Data -- -------------------------- - -- The following table records cross-reference sections, there is one - -- entry for each X header line in the ALI file for an xref section. + -- The following table records cross-reference sections, there is one entry + -- for each X header line in the ALI file for an xref section. -- Note: there will be no entries in this table if 'X' lines are ignored |