This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r119352 - in /branches/fixed-point: ./ gcc/ada/...
- From: chaoyingfu at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 30 Nov 2006 01:57:54 -0000
- Subject: r119352 - in /branches/fixed-point: ./ gcc/ada/...
Author: chaoyingfu
Date: Thu Nov 30 01:57:54 2006
New Revision: 119352
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119352
Log:
Merged revisions 118263-118300 via svnmerge from
svn+ssh://chaoyingfu@sources.redhat.com/svn/gcc/trunk
........
r118263 | charlet | 2006-10-31 09:55:39 -0800 (Tue, 31 Oct 2006) | 9 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* exp_dbug.ads, exp_dbug.adb (Get_External_Name): Add missing
initialization of Homonym_Len.
(Fully_Qualify_Name): Remove kludge to eliminate anonymous block
names from fully qualified name. Fixes problem of duplicate
external names differing only in the presence of such a block name.
........
r118264 | charlet | 2006-10-31 09:55:55 -0800 (Tue, 31 Oct 2006) | 22 lines
2006-10-31 Thomas Quinot <quinot@adacore.com>
Pablo Oliveira <oliveira@adacore.com>
* exp_dist.adb (Get_Subprogram_Ids): This function will no more assign
subprogram Ids, even if they are not yet assigned.
(Build_Subprogram_Id): It is now this function that will take care of
calling Assign_Subprogram_Ids if necessary.
(Add_Receiving_Stubs_To_Declarations): Checking the subprograms ids
should be done only once they are assigned.
(Build_From_Any_Function, case of tagged types): Add missing call to
Allocate_Buffer.
(Corresponding_Stub_Type): New subprogram. Returns the associated stub
type for an RACW type.
(Add_RACW_Features): When processing an RACW declaration for which the
designated type is already frozen, enforce E.2.2(14) rules immediately.
(GARLIC_Support.Build_Subprogram_Receiving_Stubs): Do not perform any
special reordering of controlling formals.
* exp_dist.ads (Corresponding_Stub_Type): New subprogram. Returns the
associated stub type for an RACW type.
........
r118265 | charlet | 2006-10-31 09:56:09 -0800 (Tue, 31 Oct 2006) | 7 lines
2006-10-31 Ed Schonberg <schonberg@adacore.com>
* exp_fixd.adb (Rounded_Result_Set): For multiplication and division of
fixed-point operations in an integer context, i.e. as operands of a
conversion to an integer type, indicate that result must be rounded.
........
r118266 | charlet | 2006-10-31 09:56:24 -0800 (Tue, 31 Oct 2006) | 16 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* exp_imgv.adb (Expand_Image_Attribute): For Wide_[Wide_]Character
cases, pass the encoding method, since it is now required by the run
time.
* s-valwch.ads, s-valwch.adb (Value_Wide_Wide_Character): Avoid
assumption that Str'First = 1.
(Value_Wide_Character): Takes EM (encoding method) parameter and passes
it on to the Value_Wide_Wide_Character call.
(Value_Wide_Wide_Character): Takes EM (encoding method) parameter and
properly handles a string of the form quote-encoded_wide_char-quote.
* s-wchcnv.adb: Minor reformatting
........
r118267 | charlet | 2006-10-31 09:56:43 -0800 (Tue, 31 Oct 2006) | 7 lines
2006-10-31 Javier Miranda <miranda@adacore.com>
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Add missing
run-time membership test to ensure that the constructed object
implements the target abstract interface.
........
r118268 | charlet | 2006-10-31 09:57:10 -0800 (Tue, 31 Oct 2006) | 34 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Common_Object): Use a single
Machine_Attribute pragma internally to implement the user pragma.
Add processing for pragma Interface so that it is now completely
equivalent to pragma Import.
* sem_prag.adb (Analyze_Pragma, case Obsolescent): Extend this pragma
so that it can be applied to all entities, including record components
and enumeration literals.
(Analyze_Pragma, case Priority_Specific_Dispatching): Check whether
priority ranges are correct, verify compatibility against task
dispatching and locking policies, and if everything is correct an entry
is added to the table containing priority specific dispatching entries
for this compilation unit.
(Delay_Config_Pragma_Analyze): Delay processing
Priority_Specific_Dispatching pragmas because when processing the
pragma we need to access run-time data, such as the range of
System.Any_Priority.
(Sig_Flags): Add Pragma_Priority_Specific_Dispatching.
Allow pragma Unreferenced as a context item
Add pragma Preelaborable_Initialization
(Analyze_Pragma, case Interface): Interface is extended so that it is
now syntactically and semantically equivalent to Import.
(Analyze_Pragma, case Compile_Time_Warning): Fix error of blowups on
insertion characters.
Add handling for Pragma_Wide_Character_Encoding
(Process_Restrictions_Restriction_Warnings): Ensure that a warning
never supercedes a real restriction, and that a real restriction
always supercedes a warning.
(Analyze_Pragma, case Assert): Set Low_Bound_Known if assert is of
appropriate form.
........
r118269 | charlet | 2006-10-31 09:57:36 -0800 (Tue, 31 Oct 2006) | 45 lines
2006-10-31 Bob Duff <duff@adacore.com>
Ed Schonberg <schonberg@adacore.com>
Robert Dewar <dewar@adacore.com>
* exp_ch7.adb (Build_Array_Deep_Procs, Build_Record_Deep_Procs,
Make_Deep_Record_Body): Rename Is_Return_By_Reference_Type to be
Is_Inherently_Limited_Type, because return-by-reference has no meaning
in Ada 2005.
(Find_Node_To_Be_Wrapped): Use new method of determining the result
type of the function containing a return statement, because the
Return_Type field was removed. We now use the Return_Applies_To field.
* exp_util.ads, exp_util.adb: Use new subtype N_Membership_Test
(Build_Task_Image_Decl): If procedure is not called from an
initialization procedure, indicate that function that builds task name
uses the sec. stack. Otherwise the enclosing initialization procedure
will carry the indication.
(Insert_Actions): Remove N_Return_Object_Declaration. We now use
N_Object_Declaration instead.
(Kill_Dead_Code): New interface to implement -gnatwt warning for
conditional dead code killed, and change implementation accordingly.
(Insert_Actions): Add N_Return_Object_Declaration case.
Correct comment to mention N_Extension_Aggregate node.
(Set_Current_Value_Condition): Call Safe_To_Capture_Value to avoid bad
attempts to save information for global variables which cannot be
safely tracked.
(Get_Current_Value_Condition): Handle conditions the other way round
(constant on left). Also handle right operand of AND and AND THEN
(Set_Current_Value_Condition): Corresponding changes
(Append_Freeze_Action): Remove unnecessary initialization of Fnode.
(Get_Current_Value_Condition): Handle simple boolean operands
(Get_Current_Value_Condition): Handle left operand of AND or AND THEN
(Get_Current_Value_Condition): If the variable reference is within an
if-statement, does not appear in the list of then_statments, and does
not come from source, treat it as being at unknown location.
(Get_Current_Value_Condition): Enhance to allow while statements to be
processed as well as if statements.
(New_Class_Wide_Subtype): The entity for a class-wide subtype does not
come from source.
(OK_To_Do_Constant_Replacement): Allow constant replacement within body
of loop. This is safe now that we fixed Kill_Current_Values.
(OK_To_Do_Constant_Replacement): Check whether current scope is
Standard, before examining outer scopes.
........
r118270 | charlet | 2006-10-31 09:57:54 -0800 (Tue, 31 Oct 2006) | 9 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* krunch.ads, krunch.adb (Krunch): New Boolean parameter VMS_On_Target.
When True, apply VMS treatment to children of packages A, G, I and S.
For F320-016
* fname-uf.adb (Get_File_Name): Call Krunch with OpenVMS_On_Target
........
r118271 | charlet | 2006-10-31 09:58:16 -0800 (Tue, 31 Oct 2006) | 39 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* freeze.adb: Add handling of Last_Assignment field
(Warn_Overlay): Supply missing continuation marks in error msgs
(Freeze_Entity): Add check for Preelaborable_Initialization
* g-comlin.adb: Add Warnings (Off) to prevent new warning
* g-expect.adb: Add Warnings (Off) to prevent new warning
* lib-xref.adb: Add handling of Last_Assignment field
(Generate_Reference): Centralize handling of pragma Obsolescent here
(Generate_Reference): Accept an implicit reference generated for a
default in an instance.
(Generate_Reference): Accept a reference for a node that is not in the
main unit, if it is the generic body corresponding to an subprogram
instantiation.
* xref_lib.adb: Add pragma Warnings (Off) to avoid new warnings
* sem_warn.ads, sem_warn.adb (Set_Warning_Switch): Add processing for
-gnatwq/Q.
(Warn_On_Useless_Assignment): Suppress warning if enclosing inner
exception handler.
(Output_Obsolescent_Entity_Warnings): Rewrite to avoid any messages on
use clauses, to avoid messages on packages used to qualify, and also
to avoid messages from obsolescent units.
(Warn_On_Useless_Assignments): Don't generate messages for imported
and exported variables.
(Warn_On_Useless_Assignments): New procedure
(Output_Obsolescent_Entity_Warnings): New procedure
(Check_Code_Statement): New procedure
* einfo.ads, einfo.adb (Has_Static_Discriminants): New flag
Change name Is_Ada_2005 to Is_Ada_2005_Only
(Last_Assignment): New field for useless assignment warning
........
r118272 | charlet | 2006-10-31 09:58:30 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Olivier Hainque <hainque@adacore.com>
* g-alleve.adb (lvx, stvx): Ceil-Round the Effective Address to the
closest multiple of VECTOR_ALIGNMENT and not the closest multiple of 16.
........
r118273 | charlet | 2006-10-31 09:58:48 -0800 (Tue, 31 Oct 2006) | 139 lines
2006-10-31 Bob Duff <duff@adacore.com>
Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* g-awk.adb (Default_Session, Current_Session): Compile this file in
Ada 95 mode, because it violates the new rules for AI-318.
* g-awk.ads: Use overloaded subprograms in every case where we used to
have a default of Current_Session. This makes the code closer to be
correct for both Ada 95 and 2005.
* g-moreex.adb (Occurrence): Turn off warnings for illegal-in-Ada-2005
code, relying on the fact that the compiler generates a warning
instead of an error in -gnatg mode.
* lib-xref.ads (Xref_Entity_Letters): Add entry for new
E_Return_Statement entity kind.
Add an entry for E_Incomplete_Subtype in Xref_Entity_Letters.
* par.adb (P_Interface_Type_Definition): Addition of one formal to
report an error if the reserved word abstract has been previously found.
(SS_End_Type): Add E_Return for new extended_return_statement syntax.
* par-ch4.adb (P_Aggregate_Or_Paren_Expr): Improve message for
parenthesized range attribute usage
(P_Expression_No_Right_Paren): Add missing comment about error recovery.
* par-ch6.adb (P_Return_Object_Declaration): AI-318: Allow "constant"
in the syntax for extended_return_statement. This is not in the latest
RM, but the ARG is expected to issue an AI allowing this.
(P_Return_Subtype_Indication,P_Return_Subtype_Indication): Remove
N_Return_Object_Declaration. We now use N_Object_Declaration instead.
(P_Return_Object_Declaration, P_Return_Subtype_Indication,
P_Return_Statement): Parse the new syntax for extended_return_statement.
* par-endh.adb (Check_End, Output_End_Deleted, Output_End_Expected,
Output_End_Missing): Add error-recovery code for the new
extended_return_statement syntax; that is, the new E_Return entry on
the scope stack.
* s-auxdec-vms_64.ads, s-auxdec.ads (AST_Handler): Change type from
limited to nonlimited, because otherwise we violate the new Ada 2005
rules about returning limited types in function Create_AST_Handler in
s-asthan.adb.
* sem.adb (Analyze): Add cases for new node kinds
N_Extended_Return_Statement and N_Return_Object_Declaration.
* sem_aggr.adb (Aggregate_Constraint_Checks): Verify that component
type is in the same category as type of context before applying check,
to prevent anomalies in instantiations.
(Resolve_Aggregate): Remove test for limited components in aggregates.
It's unnecessary in Ada 95, because if it has limited components, then
it must be limited. It's wrong in Ada 2005, because limited aggregates
are now allowed.
(Resolve_Record_Aggregate): Move check for limited types later, because
OK_For_Limited_Init requires its argument to have been resolved.
(Get_Value): When copying the component default expression for a
defaulted association in an aggregate, use the sloc of the aggregate
and not that of the original expression, to prevent spurious
elaboration errors, when the expression includes function calls.
(Check_Non_Limited_Type): Correct code for AI-287, extension aggregates
were missing. We also didn't handle qualified expressions. Now also
allow function calls. Use new common routine OK_For_Limited_Init.
(Resolve_Extension_Aggregate): Minor fix to bad error message (started
with space can upper case letter).
* sem_ch3.ads, sem_ch3.adb (Create_Constrained_Components): Set
Has_Static_Discriminants flag
(Record_Type_Declaration): Diagnose an attempt to declare an interface
type with discriminants.
(Process_Range_Expr_In_Decl): Do validity checks on range
(Build_Discriminant_Constraints): Use updated form of
Denotes_Discriminant.
(Process_Subtype): If the subtype is a private subtype whose full view
is a concurrent subtype, introduce an itype reference to prevent scope
anomalies in gigi.
(Build_Derived_Record_Type, Collect_Interface_Primitives,
Record_Type_Declaration): The functionality of the subprograms
Collect_Abstract_Interfaces and Collect_All_Abstract_Interfaces
is now performed by a single routine.
(Build_Derived_Record_Type): If the type definition includes an explicit
indication of limitedness, then the type must be marked as limited here
to ensure that any access discriminants will not be treated as having
a local anonymous access type.
(Check_Abstract_Overriding): Issue a detailed error message when an
abstract subprogram was not overridden due to incorrect mode of its
first parameter.
(Analyze_Private_Extension_Declaration): Add support for the analysis of
synchronized private extension declarations. Verify that the ancestor is
a limited or synchronized interface or in the generic case, the ancestor
is a tagged limited type or synchronized interface and all progenitors
are either limited or synchronized interfaces.
Derived_Type_Declaration): Check for presence of private extension when
dealing with synchronized formal derived types.
Process_Full_View): Enchance the check done on the usage of "limited" by
testing whether the private view is synchronized.
Verify that a synchronized private view is completed by a protected or
task type.
(OK_For_Limited_Init_In_05): New function.
(Analyze_Object_Declaration): Move check for limited types later,
because OK_For_Limited_Init requires its argument to have been resolved.
Add -gnatd.l --Use Ada 95 semantics for limited function returns,
in order to alleviate the upward compatibility introduced by AI-318.
(Constrain_Corresponding_Record): If the constraint is for a component
subtype, mark the itype as frozen, to avoid out-of-scope references to
discriminants in the back-end.
(Collect_Implemented_Interfaces): Protect the recursive algorithm of
this subprogram against wrong sources.
(Get_Discr_Value, Is_Discriminant): Handle properly references to a
discriminant of limited type completed with a protected type, when the
discriminant is used to constrain a private component of the type, and
expansion is disabled.
(Find_Type_Of_Object): Do not treat a return subtype that is an
anonymous subtype as a local_anonymous_type, because its accessibility
level is the return type of the enclosing function.
(Check_Initialization): In -gnatg mode, turn the error "cannot
initialize entities of limited type" into a warning.
(OK_For_Limited_Init): Return true for generated nodes, since it
sometimes violates the legality rules.
(Make_Incomplete_Declaration): If the type for which an incomplete
declaration is created happens to be the currently visible entity,
preserve the homonym chain when removing it from visibility.
(Check_Conventions): Add support for Ada 2005 (AI-430): Conventions of
inherited subprograms.
(Access_Definition): If this is an access to function that is the return
type of an access_to_function definition, context is a type declaration
and the scope of the anonymous type is the current one.
(Analyze_Subtype_Declaration): Add the defining identifier of a regular
incomplete subtype to the set of private dependents of the original
incomplete type.
(Constrain_Discriminated_Type): Emit an error message whenever an
incomplete subtype is being constrained.
(Process_Incomplete_Dependents): Transform an incomplete subtype into a
corresponding subtype of the full view of the original incomplete type.
(Check_Incomplete): Properly detect invalid usage of incomplete types
and subtypes.
........
r118274 | charlet | 2006-10-31 09:59:12 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
* g-catiio.ads, g-catiio.adb (Value): New function.
Given an input String, try and parse a valid Time value.
........
r118275 | charlet | 2006-10-31 09:59:28 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* g-debpoo.adb (Is_Valid): Correctly compute Offset using
Integer_Address arithmetic, as in Set_Valid.
........
r118276 | charlet | 2006-10-31 09:59:45 -0800 (Tue, 31 Oct 2006) | 24 lines
2006-10-31 Arnaud Charlet <charlet@adacore.com>
Robert Dewar <dewar@adacore.com>
* gnatcmd.adb (Process_Link): Use Osint.Executable_Name instead of
handling executable extension manually and duplicating code.
* make.adb: Implement new -S switch
(Gnatmake): Use new function Osint.Executable_Name instead
of handling executable extension manually.
* prj-util.adb (Executable_Of): Make sure that if an Executable_Suffix
is specified, the executable name ends with this suffix.
Take advantage of Osint.Executable_Name instead of duplicating code.
* switch-m.adb: Recognize new gnatmake -S switch
* targparm.ads, targparm.adb (Executable_Extension_On_Target): New
variable.
(Get_Target_Parameters): Set Executable_Extension_On_Target if
available.
* makeusg.adb: Add line for gnatmake -S switch
........
r118277 | charlet | 2006-10-31 09:59:58 -0800 (Tue, 31 Oct 2006) | 7 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* gnatlink.adb (Gnatlink): If gcc is not called with -shared-libgcc,
call it with -static-libgcc, as there are some platforms, such as
Darwin, where one of these two switches is compulsory to link.
........
r118278 | charlet | 2006-10-31 10:00:14 -0800 (Tue, 31 Oct 2006) | 12 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* gnatls.adb: Take into account GPR_PROJECT_PATH, when it is defined,
instead of ADA_PROJECT_PATH, for the project path.
(Gnatls): When displaying the project path directories, use host dir
specs.
* prj-ext.adb (Prj.Ext elaboration): On VMS, only expand relative path
names in the project path, as absolute paths may correspond to
multi-valued VMS logical names.
........
r118279 | charlet | 2006-10-31 10:00:29 -0800 (Tue, 31 Oct 2006) | 13 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* g-os_lib.ads, g-os_lib.adb (Locate_Exec_On_Path): Always return an
absolute path name.
(Locate_Regular_File): Ditto
(Change_Dir): Remove, no longer used
(Normalize_Pathname): Do not use Change_Dir to get the drive letter
on Windows. Get it calling Get_Current_Dir.
(OpenVMS): Remove imported boolean, no longer needed.
(Normalize_Pathname)[VMS]: Do not resolve directory names.
(Pid_To_Integer): New function to convert a Process_Id to Integer
........
r118280 | charlet | 2006-10-31 10:00:42 -0800 (Tue, 31 Oct 2006) | 9 lines
2006-10-31 Thomas Quinot <quinot@adacore.com>
* g-socket.ads, g-socket.adb (Close_Selector): Once the signalling
sockets are closed, reset the R_Sig_Socket and W_Sig_Socket components
to No_Socket.
(Selector_Type): Add default value of No_Socket for R_Sig_Socket and
W_Sig_Socket.
........
r118281 | charlet | 2006-10-31 10:00:56 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* g-speche.ads, g-speche.adb: Add special case to recognize misspelling
initial letter o as a zero.
........
r118282 | charlet | 2006-10-31 10:01:11 -0800 (Tue, 31 Oct 2006) | 5 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* g-spipat.adb (S_To_PE): Remove incorrect use of 0 instead of Str'First
........
r118283 | charlet | 2006-10-31 10:01:28 -0800 (Tue, 31 Oct 2006) | 16 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* layout.adb (Layout_Record_Type): Deal with non-static subtypes of
variant records
(Layout_Variant_Record): Retrieve the discriminants from the entity
rather than from the type definition, because in the case of a full
type for a private type we need to take the discriminants from the
partial view.
(Layout_Component_List): When applying the Max operator to variants with
a nonstatic size, check whether either operand is static and scale that
operand from bits to storage units before applying Max.
(Layout_Type): In VMS, if a C-convention access type has no explicit
size clause (and does not inherit one in the case of a derived type),
then the size is reset to 32 from 64.
........
r118284 | charlet | 2006-10-31 10:01:41 -0800 (Tue, 31 Oct 2006) | 7 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* lib-load.adb (Load_Unit): Skip the test for a unit not found when
its file has already been loaded, according to the unit being loaded,
not to the current value of Multiple_Unit_Index.
........
r118285 | charlet | 2006-10-31 10:02:00 -0800 (Tue, 31 Oct 2006) | 27 lines
2006-10-31 Thomas Quinot <quinot@adacore.com>
Eric Botcazou <ebotcazou@adacore.com>
Arnaud Charlet <charlet@adacore.com>
* Makefile.in: Set EH mechanism to ZCX for FreeBSD.
(NO_REORDER_ADAFLAGS): New var defined to -fno-toplevel-reorder if
possible.
(a-except.o): Pass it to the compiler.
(gnatlib-shared-vms): Removed -nostartfiles switch in link step.
(LIBGNAT_TARGET_PAIRS for Windows): Avoid the use of the specific
a-calend-mingw.adb version.
* Makefile.rtl: Added s-dsaser.
Add object entries for Ada.Calendar.[Arithmetic/Formatting/Time_Zones]
(GNATRTL_TASKING_OBJS): Add Ada.Dispatching and
Ada.Dispatching.Round_Robin.
Added new unit Ada.Containers.Restricted_Bounded_Doubly_Linked_Lists
* Make-lang.in: Remove all references to gt-ada-decl.h.
Add concatenation (s-strops/s-sopco3/s-sopco4/s-sopco5) to compiler
sources.
Add dependency on ada/s-restri.o for GNAT1 and GNATBIND objects.
Update dependencies.
* system-freebsd-x86.ads: Make ZCX the default EH mechanism for FreeBSD
........
r118286 | charlet | 2006-10-31 10:02:17 -0800 (Tue, 31 Oct 2006) | 11 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* mlib-utl.adb (Initialized): Remove, no longer used
(Initialize): Remove, no longer used
(Ar): If Ar_Exec is null, get the location of the archive builder and,
if there is one, the archive indexer. Fail if the archive builder cannot
be found.
(Gcc): If the driver path is unknown, get it. Fail if the driver cannot
be found.
........
r118287 | charlet | 2006-10-31 10:02:40 -0800 (Tue, 31 Oct 2006) | 40 lines
2006-10-31 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.ads, sem_ch10.adb (Check_Redundant_Withs,
Process_Body_Clauses): If the context of a body includes a use clause
for P.Q then a with_clause for P in the same body is not redundant,
even if the spec also has a with_clause on P.
Add missing continuation mark to error msg
(Build_Limited_Views): A limited view of a type is tagged if its
declaration includes a record extension.
(Analyze_Proper_Body): Set Corresponding_Stub field in N_Subunit
node, even if the subunit has errors. This avoids malfunction by
Lib.Check_Same_Extended_Unit in the presence of syntax errors.
(Analyze_Compilation_Unit): Add circuit to make sure we get proper
generation of obsolescent messages for with statements (cannot do
this too early, or we cannot implement avoiding the messages in the
case of obsolescent units withing obsolescent units).
(Install_Siblings): If the with_clause is on a remote descendant of
an ancestor of the current compilation unit, find whether there is
a sibling child unit that is immediately visible.
(Remove_Private_With_Clauses): New procedure, invoked after completing
the analysis of the private part of a nested package, to remove from
visibility the private with_clauses of the enclosing package
declaration.
(Analyze_With_Clause): Remove Check_Obsolescent call, this checking is
now centralized in Generate_Reference.
(Install_Limited_Context_Clauses): Remove superfluous error
message associated with unlimited view visible through use
and renamings. In addition, at the point in which the error
is reported, we add the backslash to the text of the error
to ensure that it is reported as a single error message.
Use new // insertion for some continuation messages
(Expand_Limited_With_Clause): Use copy of name rather than name itself,
to create implicit with_clause for parent unit mentioned in original
limited_with_clause.
(Install_Limited_With_Unit): Set entity of parent identifiers if the
unit is a child unit. For ASIS queries.
(Analyze_Subunit): If the subunit appears within a child unit, make all
ancestor child units directly visible again.
........
r118288 | charlet | 2006-10-31 10:03:00 -0800 (Tue, 31 Oct 2006) | 5 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* par-ch10.adb (P_Context_Clause): Minor error message fix
........
r118289 | charlet | 2006-10-31 10:03:23 -0800 (Tue, 31 Oct 2006) | 15 lines
2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
Javier Miranda <miranda@adacore.com>
* par-ch12.adb: Grammar update and cleanup.
(P_Formal_Type_Definition, P_Formal_Derived_Type_Definition): Add
support for synchronized derived type definitions.
Add the new actual Abstract_Present to every call to
P_Interface_Type_Definition.
(P_Formal_Object_Declarations): Update grammar rules. Handle parsing of
a formal object declaration with an access definition or a subtype mark
with a null exclusion.
(P_Generic_Association): Handle association with box, and others_choice
with box, to support Ada 2005 partially parametrized formal packages.
........
r118290 | charlet | 2006-10-31 10:03:53 -0800 (Tue, 31 Oct 2006) | 23 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
Javier Miranda <miranda@adacore.com>
* par-ch3.adb (P_Range_Or_Subtype_Mark): Check for bad parentheses
(P_Type_Declaration): Remove barrier against the reserved word "limited"
after "abstract" to give support to the new syntax of AARM 3.4 (2/2).
(P_Type_Declaration): Minor code cleanup. Add support for synchronized
private extensions.
(P_Type_Declaration): Add the new actual Abstract_Present to every call
to P_Interface_Type_Definition.
(P_Interface_Type_Definition): Addition of one formal to report an error
if the reserved word abstract has been previously found.
(P_Identifier_Declarations): Update grammar rules. Handle parsing of an
object renaming declaration with an access definition or subtype mark
with a possible null exclusion.
* par-ch9.adb: Minor error msg fix
* par-load.adb: Add missing continuation mark to error msg
* par-tchk.adb: (Wrong_Token): Code cleanup, use concatenation
........
r118291 | charlet | 2006-10-31 10:04:10 -0800 (Tue, 31 Oct 2006) | 9 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* prj-dect.adb (Parse_Attribute_Declaration): Do not issue warning for
unknown attribute in unknown package or in package that does not need
to be checked.
(Parse_Package_Declaration): Do not issue warning for unknown package in
quiet output.
........
r118292 | charlet | 2006-10-31 10:04:28 -0800 (Tue, 31 Oct 2006) | 7 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* prj-makr.adb (Packages_To_Check_By_Gnatname): New global constant
(Make): Call Parse with Packages_To_Check_By_Gnatname for parameter
Packages_To_Check.
........
r118293 | charlet | 2006-10-31 10:04:45 -0800 (Tue, 31 Oct 2006) | 17 lines
2006-10-31 Vincent Celier <celier@adacore.com>
* prj-nmsc.adb (Check_Ada_Name): For children of package A, G, I and S
on VMS, change "__" to '.' before checking the name.
(Record_Ada_Source): Always add the source file name in the list of
of sources, even if it is not the first time, as it is for another
source index.
(Get_Unit): Replace both '_' (after 'a', 'g', 'i' or 's') with a single
dot, instead of replacing only the first '_'.
* prj-part.adb (Parse): Convert project file path to canonical form
* prj-proc.adb (Recursive_Process): Make sure that, when a project is
extended, the project id of the project extending it is recorded in its
data, even when it has already been processed as an imported project.
........
r118294 | charlet | 2006-10-31 10:04:59 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* repinfo.adb (List_Entities): Don't list entities from renaming
declarations.
........
r118295 | charlet | 2006-10-31 10:05:19 -0800 (Tue, 31 Oct 2006) | 14 lines
2006-10-31 Arnaud Charlet <charlet@adacore.com>
Robert Dewar <dewar@adacore.com>
* restrict.ads, restrict.adb (Restriction_Active): Now returns False if
only a restriction warning is active for the given restriction. This is
desirable because we do not want to modify code in the case where only
a warning is set.
(Set_Profile_Restrictions): Make sure that a Profile_Warnings never
causes overriding of real restrictions.
Take advantage of new No_Restrictions constant.
* raise.h: (__gnat_set_globals): Change profile.
........
r118296 | charlet | 2006-10-31 10:05:34 -0800 (Tue, 31 Oct 2006) | 14 lines
* rtsfind.adb: Remove s-polint from comment as it exists no more.
* rtsfind.ads:
Move entity RE_Get_Active_Partition_Id to package System.DSA_Services.
Move all the entities in obsolete package System.PolyORB_Interface to
System.Partition_Interface.
(RE_Storage_Size): New function in System.Tasking.
(RE_Get_Ceiling): New entity.
(RE_Set_Ceiling): New entity.
(RO_PE_Get_Ceiling): New entity.
(RO_RE_Set_Ceiling): New entity.
(Inherit_CPP_DT): New entity
........
r118297 | charlet | 2006-10-31 10:05:47 -0800 (Tue, 31 Oct 2006) | 6 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* scng.adb (Scan, case of numeric literal): Better msg for identifier
starting with a digit.
........
r118298 | charlet | 2006-10-31 10:06:06 -0800 (Tue, 31 Oct 2006) | 51 lines
2006-10-31 Ed Schonberg <schonberg@adacore.com>
Thomas Quinot <quinot@adacore.com>
Javier Miranda <miranda@adacore.com>
Gary Dismukes <dismukes@adacore.com>
* sem_attr.ads, sem_attr.adb (Analyze_Access_Attribute): Diagnose
properly an attempt to apply Unchecked_Access to a protected operation.
(OK_Self_Reference): New subprogram to check the legality of an access
attribute whose prefix is the type of an enclosing aggregate.
Generalizes previous mechanism to handle attribute references nested
arbitrarily deep within the aggregate.
(Analyze_Access_Attribute): An access attribute whose prefix is a type
can appear in an aggregate if this is a default-initialized aggregate
for a self-referential type.
(Resolve_Attribute, case Access): Ditto.
Add support for new implementation defined attribute Stub_Type.
(Eval_Attribute, case Attribute_Stub_Type): New case.
(Analyze_Attribute, case Attribute_Stub_Type): New case.
(Stream_Attribute_Available): Implement using new subprogram from
sem_cat, Has_Stream_Attribute_Definition, instead of incorrect
Has_Specified_Stream_Attribute flag.
Disallow Storage_Size and Storage_Pool for access to subprogram
(Resolve_Attribute, case 'Access et al): Take into account anonymous
access types of return subtypes in extended return statements. Remove
accessibility checks on anonymous access types when Unchecked_Access is
used.
(Analyze_Attribute): Add support for the use of 'Class to convert
a class-wide interface to a tagged type.
Add support for the attribute Priority.
(Resolve_Attribute, case Attribute_Access): For Ada_05, add test for
whether the designated type is discriminated with a constrained partial
view and require static matching in that case.
Add local variable Des_Btyp. The Designated_Type
of an access to incomplete subtype is either its non-limited view if
coming from a limited with or its etype if regular incomplete subtype.
* sem_cat.ads, sem_cat.adb (Validate_Remote_Access_To_Class_Wide_Type):
Fix predicate to identify and allow cases of (expander-generated)
references to tag of designated object of a RACW.
(Validate_Static_Object_Name): In Ada 2005, a formal object is
non-static, and therefore cannot appear as a primary in a preelaborable
package.
(Has_Stream_Attribute_Definition): New subprogram, abstracted from
Has_Read_Write_Attributes.
(Has_Read_Write_Attributes): Reimplement in termes of
Has_Stream_Attribute_Definition.
(Missing_Read_Write_Attributes): When checking component types in a
record, unconditionally call Missing_Read_Write_Attributes recursively
(remove guard checking for Is_Record_Type / Is_Access_Type).
........
r118299 | charlet | 2006-10-31 10:06:22 -0800 (Tue, 31 Oct 2006) | 9 lines
2006-10-31 Robert Dewar <dewar@adacore.com>
* sem_ch11.adb (Analyze_Handled_Statements): Move final test for
useless assignments here and conditionalize it on absence of exception
handlers.
(Analyze_Exception_Handlers): Small code reorganization of error
detection code, for new handling of formal packages.
........
r118300 | charlet | 2006-10-31 10:06:39 -0800 (Tue, 31 Oct 2006) | 53 lines
2006-10-31 Ed Schonberg <schonberg@adacore.com>
Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.ads, sem_ch12.adb (Save_References): If node is an operator
that has been constant-folded, preserve information of original tree,
for ASIS uses.
(Analyze_Formal_Derived_Type): Set the limited present flag of the newly
generated private extension declaration if the formal derived type is
synchronized. Carry synchronized present over to the generated private
extension.
(Validate_Derived_Type_Instance): Ensure that the actual of a
synchronized formal derived type is a synchronized tagged type.
(Instantiate_Formal_Package): When creating the instantiation used to
validate the actual package of a formal declared without a box, check
whether the formal itself depends on a prior actual.
(Instantiate_Formal_Subprogram): Create new entities for the defining
identifiers of the formals in the renaming declaration, for ASIS use.
(Instantiate_Formal_Subprogram, Instantiate_Formal_Type): When creating
a renaming declaration or a subtype declaration for an actual in an
instance, capture location information of declaration in generic, for
ASIS use.
(Instantiate_Formal_Package): Add comments on needed additional tests.
AI-317 (partial parametrization) is fully implemented.
(Validate_Private_Type_Instance): Add check for actual which
must have preelaborable initialization
Use new // insertion for some continuation messages
(Analyze_Formal_Object_Declaration): Change usage of Expression to
Default_Expression. Add type retrieval when the declaration has an
access definition. Update premature usage of incomplete type check.
(Check_Access_Definition): New subsidiary routine. Check whether the
current compilation version is Ada 05 and the supplied node has an
access definition.
(Instantiate object): Alphabetize local variables. Handle the creation
of new renaming declarations with respect to the kind of definition
used - either an access definition or a subtype mark. Guard against
unnecessary error message in the context of anonymous access types after
they have been resolved. Add check for required null exclusion in a
formal object declaration.
(Switch_View): A private subtype of a non-private type needs to be
switched (the base type can have been switched without its private
dependents because of the last branch of Check_Private_View.
(Check_Private_View): Do not recompute Base_Type (T), instead use cached
value from BT.
(Instantiate_Type): Emit an error message whenever a class-wide type of
a tagged incomplete type is used as a generic actual.
(Find_Actual_Type): Extend routine to handle a component type in a child
unit that is imported from a formal package in a parent.
(Validate_Derived_Type_Instance): Check that analyzed formal and actual
agree on constrainedness, rather than checking against ultimate ancestor
(Instantiate_Subprogram_Body): Create a cross-reference link to the
generic body, for navigation purposes.
........
Modified:
branches/fixed-point/ (props changed)
branches/fixed-point/gcc/ada/Make-lang.in
branches/fixed-point/gcc/ada/Makefile.in
branches/fixed-point/gcc/ada/Makefile.rtl
branches/fixed-point/gcc/ada/exp_ch7.adb
branches/fixed-point/gcc/ada/exp_dbug.adb
branches/fixed-point/gcc/ada/exp_dbug.ads
branches/fixed-point/gcc/ada/exp_dist.adb
branches/fixed-point/gcc/ada/exp_dist.ads
branches/fixed-point/gcc/ada/exp_fixd.adb
branches/fixed-point/gcc/ada/exp_imgv.adb
branches/fixed-point/gcc/ada/exp_intr.adb
branches/fixed-point/gcc/ada/exp_prag.adb
branches/fixed-point/gcc/ada/exp_util.adb
branches/fixed-point/gcc/ada/exp_util.ads
branches/fixed-point/gcc/ada/fname-uf.adb
branches/fixed-point/gcc/ada/freeze.adb
branches/fixed-point/gcc/ada/g-alleve.adb
branches/fixed-point/gcc/ada/g-awk.adb
branches/fixed-point/gcc/ada/g-awk.ads
branches/fixed-point/gcc/ada/g-catiio.adb
branches/fixed-point/gcc/ada/g-catiio.ads
branches/fixed-point/gcc/ada/g-comlin.adb
branches/fixed-point/gcc/ada/g-debpoo.adb
branches/fixed-point/gcc/ada/g-expect.adb
branches/fixed-point/gcc/ada/g-moreex.adb
branches/fixed-point/gcc/ada/g-os_lib.adb
branches/fixed-point/gcc/ada/g-os_lib.ads
branches/fixed-point/gcc/ada/g-socket.adb
branches/fixed-point/gcc/ada/g-socket.ads
branches/fixed-point/gcc/ada/g-speche.adb
branches/fixed-point/gcc/ada/g-speche.ads
branches/fixed-point/gcc/ada/g-spipat.adb
branches/fixed-point/gcc/ada/gnatcmd.adb
branches/fixed-point/gcc/ada/gnatlink.adb
branches/fixed-point/gcc/ada/gnatls.adb
branches/fixed-point/gcc/ada/krunch.adb
branches/fixed-point/gcc/ada/krunch.ads
branches/fixed-point/gcc/ada/layout.adb
branches/fixed-point/gcc/ada/lib-load.adb
branches/fixed-point/gcc/ada/lib-xref.adb
branches/fixed-point/gcc/ada/lib-xref.ads
branches/fixed-point/gcc/ada/make.adb
branches/fixed-point/gcc/ada/makeusg.adb
branches/fixed-point/gcc/ada/mlib-utl.adb
branches/fixed-point/gcc/ada/par-ch10.adb
branches/fixed-point/gcc/ada/par-ch12.adb
branches/fixed-point/gcc/ada/par-ch3.adb
branches/fixed-point/gcc/ada/par-ch4.adb
branches/fixed-point/gcc/ada/par-ch6.adb
branches/fixed-point/gcc/ada/par-ch9.adb
branches/fixed-point/gcc/ada/par-endh.adb
branches/fixed-point/gcc/ada/par-load.adb
branches/fixed-point/gcc/ada/par-tchk.adb
branches/fixed-point/gcc/ada/par.adb
branches/fixed-point/gcc/ada/prj-dect.adb
branches/fixed-point/gcc/ada/prj-ext.adb
branches/fixed-point/gcc/ada/prj-makr.adb
branches/fixed-point/gcc/ada/prj-nmsc.adb
branches/fixed-point/gcc/ada/prj-part.adb
branches/fixed-point/gcc/ada/prj-proc.adb
branches/fixed-point/gcc/ada/prj-util.adb
branches/fixed-point/gcc/ada/raise.h
branches/fixed-point/gcc/ada/repinfo.adb
branches/fixed-point/gcc/ada/restrict.adb
branches/fixed-point/gcc/ada/restrict.ads
branches/fixed-point/gcc/ada/rtsfind.adb
branches/fixed-point/gcc/ada/rtsfind.ads
branches/fixed-point/gcc/ada/s-auxdec-vms_64.ads
branches/fixed-point/gcc/ada/s-auxdec.ads
branches/fixed-point/gcc/ada/s-valwch.adb
branches/fixed-point/gcc/ada/s-valwch.ads
branches/fixed-point/gcc/ada/s-wchcnv.adb
branches/fixed-point/gcc/ada/scng.adb
branches/fixed-point/gcc/ada/sem.adb
branches/fixed-point/gcc/ada/sem_aggr.adb
branches/fixed-point/gcc/ada/sem_attr.adb
branches/fixed-point/gcc/ada/sem_attr.ads
branches/fixed-point/gcc/ada/sem_cat.adb
branches/fixed-point/gcc/ada/sem_cat.ads
branches/fixed-point/gcc/ada/sem_ch10.adb
branches/fixed-point/gcc/ada/sem_ch10.ads
branches/fixed-point/gcc/ada/sem_ch11.adb
branches/fixed-point/gcc/ada/sem_ch12.adb
branches/fixed-point/gcc/ada/sem_ch12.ads
branches/fixed-point/gcc/ada/sem_ch3.adb
branches/fixed-point/gcc/ada/sem_ch3.ads
branches/fixed-point/gcc/ada/sem_prag.adb
branches/fixed-point/gcc/ada/sem_warn.adb
branches/fixed-point/gcc/ada/sem_warn.ads
branches/fixed-point/gcc/ada/switch-m.adb
branches/fixed-point/gcc/ada/system-freebsd-x86.ads
branches/fixed-point/gcc/ada/targparm.adb
branches/fixed-point/gcc/ada/targparm.ads
branches/fixed-point/gcc/ada/xref_lib.adb
Propchange: branches/fixed-point/
('svnmerge-integrated' modified)