2010-10-08 Ed Schonberg <schonberg@adacore.com>
* sem_aggr.adb (Resolve_Array_Aggregate): If the expression in an
- others choice is a literal analyze it now to enable later optimizations.
+ others choice is a literal, analyze it to enable later optimizations.
* exp_aggr.adb (Expand_Record_Aggregate): An aggregate with static size
and components can be handled by the backend even if it is of a limited
type.
(Implemented_By_Entry): Removed.
(Set_Implemented_By_Entry): Removed.
(Write_Entity_Flags): Remove the output for Implemented_By_Entry.
- * einfo.ads: Remove flag Implemented_By_Entry and its usage in entities.
- (Implemented_By_Entry): Removed along with its associated pragma Inline.
- (Set_Implemented_By_Entry): Removed along with its associated pragma
- Inline.
+ * einfo.ads: Remove Implemented_By_Entry and its usage in entities.
+ (Implemented_By_Entry): Removed along with its associated pragma.
+ (Set_Implemented_By_Entry): Removed along with its associated pragma.
* exp_ch9.adb: Alphabetize with and use clauses of Exp_Ch9.
(Build_Dispatching_Call_Equivalent): New routine.
(Build_Dispatching_Requeue): New routine.
2010-10-05 Javier Miranda <miranda@adacore.com>
- * debug.adb: Update documentation because -gnatd.Z is no longer required
+ * debug.adb: Update documentation since -gnatd.Z is no longer required
to generate the call-graph information.
2010-10-05 Javier Miranda <miranda@adacore.com>
file, if necessary.
* prj-nmsc.adb (Look_For_Sources.Get_Sources_From_Source_Info): New
procedure.
- (Look_For_Sources): If a source info file was successfully read, get the
- source data from the data read from the source info file.
+ (Look_For_Sources): If a source info file was successfully read, get
+ the source data from the data read from the source info file.
* prj-util.adb (Source_Info_Table): New table
(Source_Info_Project_HTable): New hash table
(Create): New procedure
the entity that will be overridden by user-defined routines.
* sem_disp.adb (Find_Primitive_Covering_Interface): Move here code
previously located in routine Add_Internal_Interface_Entities.
- * sem_disp.ads (Find_Primitive_Covering_Interface): Update documentation
+ * sem_disp.ads (Find_Primitive_Covering_Interface): Update docs.
* sem_ch6.adb (New_Overloaded_Entity): Add missing check on
availability of attribute Alias.
* gnatcmd.adb, prj-proc.adb, prj-part.adb, prj-ext.adb, prj-ext.ads,
switch-m.adb, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-env.adb,
- prj-env.ads, prj-tree.adb, prj-tree.ads (Project_Search_Path): New type.
+ prj-env.ads, prj-tree.adb, prj-tree.ads (Project_Search_Path): New
+ type.
2010-10-05 Eric Botcazou <ebotcazou@adacore.com>
2010-10-04 Javier Miranda <miranda@adacore.com>
* exp_disp.ads (Convert_Tag_To_Interface): New function which must be
- used to convert a node referencing a tag to a class-wide interface type.
+ used to convert a node referencing a tag to a class-wide interface
+ type.
* exp_disp.adb (Convert_Tag_To_Interface): New function.
(Expand_Interface_Conversion): Replace invocation of
Unchecked_Conversion by new function Convert_Tag_To_Interface.
2010-10-04 Vincent Celier <celier@adacore.com>
- * prj-makr.adb (Finalize): Invoke Pretty_Print with Max_Length set to 79
+ * prj-makr.adb (Finalize): Invoke Pretty_Print with Max_Length of 79.
* prj-pp.adb (Pretty_Print): New parameter Max_Line_Length, that
replaces global constant with the same name. When a line is too long,
indent properly the next continuation line.
Enumeration_Rep_Expr to point to the literal, not the identifier.
(Analyze_Enumeration_Representation_Clause): Improve error message for
size too small for enum rep value
- (Analyze_Enumeration_Representation_Clause): Fix size test to use proper
- size (RM_Size, not Esize).
+ (Analyze_Enumeration_Representation_Clause): Fix size test to use
+ proper size (RM_Size, not Esize).
2010-10-04 Robert Dewar <dewar@adacore.com>
* opt.ads (Short_Descriptors): New flag
(Short_Descriptors_Config): New flag
* par-prag.adb: Add dummy entry for Short_Descriptors pragma
- * sem_prag.adb (Set_Mechanism_Value): Deal with Short_Descriptors pragma
+ * sem_prag.adb (Set_Mechanism_Value): Deal with Short_Descriptors.
(Analyze_Pragma): Implement Short_Descriptors pragma
* snames.ads-tmpl: Add entry for Short_Descriptors pragma
--create-map-file.
* make.adb (Map_File): New global variable to store the value of switch
--create-map-file.
- (Gnatmake): Add switch -M to gnatlink if buider switch --create-map-file
- has been specified.
+ (Gnatmake): Add switch -M to gnatlink if switch --create-map-file has
+ been specified.
(Scan_Make_Arg): Recognize switch --create-map-file
* makeutl.ads (Create_Map_File_Switch): New constant string for new
gnatmake and gprbuild switch --create-map-file.
* prj-strt.adb (Attribute_Reference): Avoid enumeration range test
* prj.adb (Known_Casing): Moved to Casing spec (avoid enum range)
* sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order): Avoid enumeration
- ranges
- * sem_res.adb (Resolve_Range): Check for enumeration subrange style rule
+ ranges.
+ * sem_res.adb (Resolve_Range): Check for enumeration subrange style
+ rule.
* sem_type.adb (Is_Array_Class_Record_Type): New.
* style.ads (Check_Enumeration_Subrange): New procedure
* styleg.adb (Check_Enumeration_Subrange): New procedure
equality. Otherwise the body of the operations is built as for tagged
types.
(Expand_Freeze_Record_Type): Call Build_Untagged_Equality when needed.
- (Make_Eq_Body): New function to create the expanded body of the equality
- operation for tagged and untagged records. In both cases the operation
- composes, and the primitive operation of each record component is used
- to generate the equality function for the type.
+ (Make_Eq_Body): New function to create the expanded body of the
+ equality operation for tagged and untagged records. In both cases the
+ operation composes, and the primitive operation of each record
+ component is used to generate the equality function for the type.
* exp_ch4.adb (Expand_Composite_Equality): In Ada2012, if a component
has an abstract equality defined, replace its call with a
Raise_Program_Error.
CPP constructor. These IP are wrappers of the C++ constructors that,
after the first invocation of the constructor, read the C++ tags from
the object and save them locally. These copies of the C++ tags are used
- by the IC routines to initialize tables of Ada derivations of CPP types.
+ by the IC routines to initialize tables of Ada derivations of CPP
+ types.
(Write_DT): Indicate what primitives are imported from C++
* exp_disp.ads (CPP_Num_Prims): New subprogram.
(Has_CPP_Constructors): New subprogram.
Is_Variable_Size_Array.
(Build_CPP_Init_Procedure): New subprogram that builds the tree
corresponding to the procedure that initializes the C++ part of the
- dispatch table of an Ada tagged type that is a derivation of a CPP type.
- (Build_Init_Procedure): Adding documentation plus code reorganization to
- leave more clear the construction of the IP with C++ types.
+ dispatch table of an Ada tagged type that is a derivation of a CPP
+ type.
+ (Build_Init_Procedure): Adding documentation plus code reorganization
+ to leave more clear the construction of the IP with C++ types.
(Expand_Freeze_Record_Type): Delay call to Set_CPP_Constructors because
it cannot be called after Make_Tags has been invoked.
(Inherit_CPP_Tag): Removed.
Adjust_SCIL_Node.
* exp_ch4.adb (Expand_N_In): Code cleanup: remove call to
Set_SCIL_Related_Node and avoid adding the SCIL node before the
- referenced node using Insert_Action because this is not longer required.
+ referenced node using Insert_Action because this is not longer
+ required.
(Expand_Short_Circuit_Operator): Remove call to SCIL node.
* exp_ch6.adb (Expand_Call): Remove call to Adjust_SCIL_Node.
- * sem_ch4.adb (Analyze_Type_Conversion): Remove call to Adjust_SCIL_Node
+ * sem_ch4.adb (Analyze_Type_Conversion): Remove call to
+ Adjust_SCIL_Node.
* exp_disp.adb (Expand_Dispatching_Call): Minor code reorganization
because we no longer require to generate the SCIL node before the call.
(Make_DT): Remove generation of SCI_Dispatch_Table_Object_Init node.
* sem_ch4.adb (Collect_Generic_Type_Ops): Protect code that handles
generic subprogram declarations to ensure proper context. Add missing
support for generic actuals.
- (Try_Primitive_Operation): Add missing support for concurrent types that
- have no Corresponding_Record_Type. Required to diagnose errors compiling
+ (Try_Primitive_Operation): Add missing support for concurrent types
+ that have no Corresponding_Record_Type. Required to diagnose errors
+ compiling
generics or when compiling with no code generation (-gnatc).
* sem_ch9.adb (Analyze_Protected_Type, Analyze_Task_Type): Do not build
the corresponding record type.
2010-06-22 Geert Bosch <bosch@adacore.com>
* exp_imgv.adb (Expand_Image_Attribute): Treat ordinary fixed point
- with decimal small as decimal types, avoiding floating-point arithmetic.
+ with decimal small as decimal types, avoiding FP arithmetic.
(Has_Decimal_Small): New function.
* einfo.ads, einfo.adb (Aft_Value): New synthesized attributed for
fixed point types.
2010-06-22 Vincent Celier <celier@adacore.com>
- * prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table.
+ * prj-nmsc.adb (Process_Naming_Scheme): Initialize Lib_Data_Table.
2010-06-22 Robert Dewar <dewar@adacore.com>
2010-06-22 Ed Falis <falis@adacore.com>
- * s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext
+ * s-osinte-vxworks.ads: Take sigset_t definition of System.VxWorks.Ext.
* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t
for specific versions of VxWorks.
* sem_ch4.adb (Analyze_Conditional_Expression): Defend against
malformed tree.
- * sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression): Ditto.
+ * sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression):
+ Ditto.
2010-06-22 Arnaud Charlet <charlet@adacore.com>
* g-expect-vms.adb, sem_res.adb: Minor reformatting.
* exp_aggr.adb: Minor comment changes and reformatting.
- * sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha order
- * sem_util.ads: Add some missing pragma Inline's (efficiency issue only)
+ * sem_eval.adb (Find_Universal_Operator_Type): Put in proper alpha
+ order.
+ * sem_util.ads: Add some missing pragma Inline's.
2010-06-22 Thomas Quinot <quinot@adacore.com>
2010-06-22 Gary Dismukes <dismukes@adacore.com>
- * exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead of
- Directly_Designated_Type when the type argument is an access type.
+ * exp_util.adb (Find_Interface_ADT): Retrieve Designated_Type instead
+ of Directly_Designated_Type when the type argument is an access type.
(Find_Interface_Tag): Retrieve Designated_Type instead of
Directly_Designated_Type when the type argument is an access type.
(Has_Controlled_Coextensions): Retrieve Designated_Type instead of
operands, when an explicit scope indication is present. Diagnose the
case where such a call is ambiguous.
(Eval_Arithmetic_Op, Eval_Relational_Op, Eval_Unary_Op):
- Use the above to identify the operand type so it can be properly frozen.
+ Use the above to identify the operand type so it can be properly
+ frozen.
* sem_res.adb (Make_Call_Into_Operator): Remove bogus freeze of operand
type, done in an arbitrary, possibly incorrect type (the presence of
some numeric type in the scope is checked for legality, but when more
extract bounds, to ensure that we get the proper captured values,
rather than an expression that may have changed value since the point
where the subtype was elaborated.
- (Find_Body_Discriminal): New utility subprogram to share code between...
+ (Find_Body_Discriminal): New utility subprogram to share code
+ between...
(Eval_Attribute): For the case of a subtype bound that references a
discriminant of the current concurrent type, insert appropriate
discriminal reference.
2010-06-18 Robert Dewar <dewar@adacore.com>
- * par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor reformatting.
+ * par-ch7.adb, sem_warn.adb, types.ads, par-ch3.adb: Minor
+ reformatting.
* gnat1drv.adb: Fix typo.
2010-06-18 Robert Dewar <dewar@adacore.com>
when the project is externally built.
(Gnatmake): Set Must_Compile and Check_Readonly_Files to True when
invoked with -f -u and one or several mains on the command line.
- (Scan_Make_Arg): Set Main_On_Command_Line to True when at least one main
- is specified on the command line.
+ (Scan_Make_Arg): Set Main_On_Command_Line to True when at least one
+ main is specified on the command line.
2010-06-18 Ed Schonberg <schonberg@adacore.com>
- * sem_ch6.adb (Build_Body_For_Inline): Handle extended_return_statements
+ * sem_ch6.adb (Build_Body_For_Inline): Handle
+ extended_return_statements.
* exp_ch6.adb (Expand_Inlined_Call): when possible, inline a body
containing extented_return statements.
* exp_util.adb (Make_CW_Equivalent_Type): If the root type is already
node when expanding short circuit form with actions present for right
opnd.
* exp_ch4.adb: Minor reformatting
- (Expand_Short_Circuit_Operator): Use new Expression_With_Actions node if
- right opeand has actions present, and debug flag -gnatd.X is set.
+ (Expand_Short_Circuit_Operator): Use new Expression_With_Actions node
+ if right opeand has actions present, and debug flag -gnatd.X is set.
* exp_util.adb (Insert_Actions): Handle case of Expression_With_Actions
node.
* nlists.adb (Prepend_List): New procedure
2010-06-17 Robert Dewar <dewar@adacore.com>
- * einfo.ads, einfo.adb (Get_Record_Representation_Clause): New function.
+ * einfo.ads, einfo.adb (Get_Record_Representation_Clause): New
+ function.
* freeze.adb (Freeze_Record_Type): Add call to
Check_Record_Representation_Clause.
* sem_ch13.adb (Check_Record_Representation_Clause): New function
- (Analyze_Record_Representation_Clause): Split out overlap code into this
- new function.
+ (Analyze_Record_Representation_Clause): Split out overlap code into
+ this new function.
(Check_Component_Overlap): Moved inside
Check_Record_Representation_Clause.
* sem_ch13.ads (Check_Record_Representation_Clause): New function.
2010-06-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: propagate Pragma_Enabled flag to generic.
- * get_scos.adb: Set C2 flag in decision entry of pragma to 'e' (enabled)
+ * get_scos.adb: Set C2 flag in decision entry of pragma to 'e'.
* par_sco.ads, par_sco.adb (Set_SCO_Pragma_Enabled): New procedure
Remove use of Node field in SCOs table
(Output_Header): Set 'd' to initially disable pragma entry
(Switch_Subsequently_Cancelled): Function moved to the body of Switch.C
* back_end.ads (Scan_Front_End_Switches): Function moved to the body of
Switch.C.
- * switch-c.adb: Copied a number of global declarations from back_end.adb
+ * switch-c.adb: Copied a number of global declarations from
+ back_end.adb.
(Len_Arg): New function copied from back_end.adb
(Switch_Subsequently_Cancelled): New function moved from back_end.adb
(Scan_Front_End_Switches): New parameter Arg_Rank used to call
* einfo.ads (First_Exit_Statement): New attribute for E_Loop
* sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has
new calling sequence to include test for EXIT WHEN.
- (Analyze_Exit_Statement): Chain EXIT statement into exit statement chain
+ (Analyze_Exit_Statement): Chain EXIT statement into exit statement
+ chain
* sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles
EXIT WHEN case.
* sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement
2010-06-14 Gary Dismukes <dismukes@adacore.com>
* sem_res.adb (Resolve_Call): For infinite recursion check, test
- whether the called subprogram is inherited from a containing subprogram.
+ whether the called subprogram is inherited from a containing
+ subprogram.
(Same_Or_Aliased_Subprograms): New function
2010-06-14 Ed Schonberg <schonberg@adacore.com>
* gsocket.h, g-socket.adb, g-sothco.ads (GNAT.Sockets.Get_XXX_By_YYY):
Ensure mutual exclusion for netdb operations if the target platform
requires it.
- (GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating struct
- hostent as an opaque type to improve portability.
+ (GNAT.Sockets.Thin_Common): New binding for getXXXbyYYY, treating
+ struct hostent as an opaque type to improve portability.
* s-oscons-tmplt.c, socket.c: For the case of Vxworks, emulate
gethostbyYYY using proprietary VxWorks API so that a uniform interface
is available for the Ada side.
projects / platform / upstream / linaro-gcc.git / commitdiff