summaryrefslogtreecommitdiff
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
* [multiple changes]Arnaud Charlet2010-06-2215-133/+183
| | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Emmanuel Briot <briot@adacore.com> * fmap.adb, scng.adb, switch-m.ads, sinput-c.adb, opt.ads, output.ads, tree_io.ads, osint.adb, osint.ads: Use configuration pragmas to prevent warnings on use of internal GNAT units. 2010-06-22 Jose Ruiz <ruiz@adacore.com> * s-taprop-vxworks.adb (Set_Priority): Update comments. 2010-06-22 Paul Hilfinger <hilfinger@adacore.com> * s-rannum.adb: Make stylistic change to remove mystery constant in Extract_Value. Image_Numeral_Length: new symbolic constant. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * einfo.ads, einfo.adb: Make Is_Protected_Interface, Is_Synchronized_Interface, Is_Task_Interface into computable predicates, to free three flags in entity nodes. * sem_ch3.adb: Remove setting of these flags. From-SVN: r161181
* uintp.adb, [...]: Minor reformatting.Robert Dewar2010-06-229-72/+104
| | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * uintp.adb, osint.adb, prj-conf.adb, prj-part.adb, prj.adb: Minor reformatting. * s-taprop-vxworks.adb: Add comment for Set_Priority. * impunit.adb (Map_Array): Add entries for s-htable.ads and s-crc32.ads * projects.texi: Move @cindex to the left margin, since otherwise we are missing entries in the index. From-SVN: r161179
* [multiple changes]Arnaud Charlet2010-06-228-136/+142
| | | | | | | | | | | | | | | | 2010-06-22 Emmanuel Briot <briot@adacore.com> * prj-part.adb, prj.adb, tempdir.ads, makeutl.adb: Use packages from the GNAT hierarchy instead of System when possible. * gcc-interface/Make-lang.in: Update dependencies. 2010-06-22 Jose Ruiz <ruiz@adacore.com> * s-taprop-vxworks.adb (Set_Priority): Remove the code that was previously in place to reorder the ready queue when a task drops its priority due to the loss of inherited priority. From-SVN: r161174
* [multiple changes]Arnaud Charlet2010-06-227-43/+58
| | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * projects.texi: Minor spelling error fixes. Minor reformatting. 2010-06-22 Emmanuel Briot <briot@adacore.com> * prj-part.adb, prj-ext.adb, prj.adb, makeutl.adb, prj-conf.adb: Remove warnings for some with clauses. From-SVN: r161172
* [multiple changes]Arnaud Charlet2010-06-229-171/+207
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * errout.adb (Unwind_Internal_Type): Improve handling of First_Subtype test to catch more cases where first subtype is the results we want. * sem_res.adb (Make_Call_Into_Operator): Don't go to First_Subtype in error case, since Errout will now handle this correctly. * gcc-interface/Make-lang.in: Add Sem_Aux to list of GNATBIND objects. Update dependencies. 2010-06-22 Arnaud Charlet <charlet@adacore.com> * exp_ch4.adb (Expand_Allocator_Expression): Set Related_Node properly when calling Make_Temporary. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Access_Subprogram_Declaration): An anonymous access to subprogram can be associated with an entry body. 2010-06-22 Robert Dewar <dewar@adacore.com> * scos.ads: Add note on membership test handling. 2010-06-22 Vincent Celier <celier@adacore.com> * projects.texi: Minor spelling fixes. Minor reformatting. 2010-06-22 Paul Hilfinger <hilfinger@adacore.com> * s-rannum.adb: Correct off-by-one error in Extract_Value. From-SVN: r161171
* [multiple changes]Arnaud Charlet2010-06-225-9/+53
| | | | | | | | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * mlib-prj.adb (Display): In non verbose mode, truncate after fourth argument. * mlib-utl.adb (Gcc): In non verbose mode, truncate the display of the gcc command if it is too long. 2010-06-22 Robert Dewar <dewar@adacore.com> * errout.adb (Set_Msg_Node): Fix incorrect reference to node. 2010-06-22 Arnaud Charlet <charlet@adacore.com> * exp_ch6.adb (Expand_Actuals): Use Actual as the related node when calling Make_Temporary. From-SVN: r161170
* sem_res.adb, [...]: Minor reformatting.Robert Dewar2010-06-224-8/+10
| | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_res.adb, sem_aux.adb, errout.adb: Minor reformatting. From-SVN: r161169
* [multiple changes]Arnaud Charlet2010-06-223-2/+18
| | | | | | | | | | | | 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_res.adb: Additional special-case for VMS. 2010-06-22 Vincent Celier <celier@adacore.com> * gnatsym.adb: Minor comment fix. From-SVN: r161167
* [multiple changes]Arnaud Charlet2010-06-224-2/+14
| | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Process_Naming_Scheme): Initialize table Lib_Data_Table. 2010-06-22 Robert Dewar <dewar@adacore.com> * par-ch4.adb (P_Name): Recognize 'Mod attribute in Ada 95 mode * sem_attr.adb (Attribute_05): Add Name_Mod so that 'Mod recognized in Ada 95 mode as an implementation defined attribute. From-SVN: r161166
* bindusg.adb (Display): Update line for -RVincent Celier2010-06-224-3/+66
| | | | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * bindusg.adb (Display): Update line for -R * switch-b.adb (Scan_Binder_Switches): Allow generation of the binder generated files when -R is used. 2010-06-22 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Lib_Data_Table): New table. (Check_Library_Attributes): Check if the same library name is used in two different projects that do not extend each other. From-SVN: r161161
* [multiple changes]Arnaud Charlet2010-06-2211-189/+290
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * lib-writ.ads, errout.adb, einfo.adb, einfo.ads: Minor reformatting. 2010-06-22 Vincent Celier <celier@adacore.com> * adaint.c (__gnat_locate_regular_file): If a directory in the path is empty, make it the current working directory. 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb (Build_Derived_Record_Type): When deriving a tagged private type with discriminants, make sure the parent type is frozen. 2010-06-22 Eric Botcazou <ebotcazou@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference) <Attribute_Bit>: Deal with packed array references specially. * exp_ch4.adb (Expand_N_Indexed_Component): Do not convert a reference to a component of a bit packed array if it is the prefix of 'Bit. * exp_pakd.ads (Expand_Packed_Bit_Reference): Declare. * exp_pakd.adb (Expand_Packed_Bit_Reference): New procedure. Expand a 'Bit reference, where the prefix involves a packed array reference. (Get_Base_And_Bit_Offset): New helper, extracted from... (Expand_Packed_Address_Reference): ...here. Call above procedure to get the outer object and offset expression. From-SVN: r161160
* [multiple changes]Arnaud Charlet2010-06-227-87/+101
| | | | | | | | | | | | | | | | | | | | 2010-06-22 Thomas Quinot <quinot@adacore.com> * exp_attr.adb, lib-writ.ads, bindgen.adb: Minor reformatting. * einfo.adb (Related_Expression, Set_Related_Expression): Add assertions. 2010-06-22 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Add_Internal_Interface_Entities): Minor code reorganization to properly check if the operation has been inherited as an abstract operation. 2010-06-22 Ed Falis <falis@adacore.com> * s-osinte-vxworks.ads: Complete previous change. From-SVN: r161159
* sem_res.adb: Add comment.Thomas Quinot2010-06-224-87/+95
| | | | | | | | | 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_res.adb: Add comment. * projects.texi, gnat_ugn.texi: Remove macro. From-SVN: r161158
* [multiple changes]Arnaud Charlet2010-06-225-23/+40
| | | | | | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * prj-attr.adb: Remove project level attribute Main_Language. 2010-06-22 Robert Dewar <dewar@adacore.com> * switch-b.adb, osint-b.adb: Minor reformatting. 2010-06-22 Pascal Obry <obry@adacore.com> * g-socthi-mingw.adb (C_Sendmsg): Do not attempt to send data from a vector if previous send was not fully successful. If only part of the vector data was sent, we exit the loop. From-SVN: r161157
* Complete previous change.Arnaud Charlet2010-06-221-2/+2
| | | | From-SVN: r161155
* Remove unused variable.Arnaud Charlet2010-06-221-19/+15
| | | | From-SVN: r161154
* sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better error ↵Thomas Quinot2010-06-2213-33/+182
| | | | | | | | | | | | | | | | | | reporting with generic types. 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better error reporting with generic types. 2010-06-22 Thomas Quinot <quinot@adacore.com> * bindgen.adb, bindusg.adb, gnatbind.adb, gnat_ugn.texi, opt.ads, osint-b.adb, osint-b.ads, output.adb, output.ads, switch-b.adb, vms_data.ads: Add a new command line switch -A to gnatbind to output the list of all ALI files for the partition. From-SVN: r161153
* [multiple changes]Arnaud Charlet2010-06-227-14/+29
| | | | | | | | | | | | | | | | 2010-06-22 Arnaud Charlet <charlet@adacore.com> * s-osinte-vxworks.ads: Fix casing. * s-vxwext-kernel.ads, s-vxwext-rtp.ads: Complete previous change: Interfaces.C does not provide a long_long type. 2010-06-22 Emmanuel Briot <briot@adacore.com> * gnat_ugn.texi, projects.texi: Preprocess projects.texi for VMS and native user's guide, since this document contains the two versions. * gcc-interface/Make-lang.in: Update doc dependencies. From-SVN: r161152
* [multiple changes]Arnaud Charlet2010-06-224-159/+76
| | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting. Minor code reorganization. 2010-06-22 Emmanuel Briot <briot@adacore.com> * gnat_ugn.texi, projects.texi: Remove toplevel menu, since we should not build this file on its own (only through gnat_ugn.texi). Remove macro definitions and insert simpler version in gnat_ugn.texi. From-SVN: r161151
* [multiple changes]Arnaud Charlet2010-06-2211-4814/+4139
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * ali-util.ads: Minor comment update. * g-socthi-mingw.adb: Minor reformatting. 2010-06-22 Ed Falis <falis@adacore.com> * s-osinte-vxworks.ads: take sigset_t definition from System.VxWorks.Ext * s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads: Define sigset_t for specific versions of VxWorks. 2010-06-22 Emmanuel Briot <briot@adacore.com> * gnat_rm.texi, gnat_ugn.texi, projects.texi: Remove all project files related sections from user's guide and reference manual, since they have now been merged together into a separate document (projects.texi). This removes a lot of duplication where attributes where described in several places. The grammar for the project files is now in each of the sections (packages,expressions,...) instead of being duplicates in two other sections (one in the user's guide that contained the full grammar, and various sections in the rm that contained extracts of the same grammar). Added the full list of all supported attributes, since existing lists were incomplete Rename "associative array" into "indexed attribute" Remove sections that were duplicates ("External References in Project Files" and "External Values", and "Project Extensions" for instance). The list of valid packages in project files is now in a single place. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Add_Internal_Interface_Entities): If Find_Primitive_Covering_Interface does not find the operation, it may be because of a name conflict between the inherited operation and a local non-overloadable name. In that case look for the operation among the primitive operations of the type. This search must succeed regardless of visibility. From-SVN: r161150
* g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg.Pascal Obry2010-06-222-4/+21
| | | | | | | | | | 2010-06-22 Pascal Obry <obry@adacore.com> * g-socthi-mingw.adb: Properly honor MSG_WAITALL in recvmsg. (C_Recvmsg): Propely honor the MSG_WAITALL flag in Windows recvmsg emulation. From-SVN: r161149
* [multiple changes]Arnaud Charlet2010-06-2210-103/+95
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch4.adb (Analyze_Conditional_Expression): Defend against malformed tree. * sprint.adb (Sprint_Node_Actual, case N_Conditional_Expression): Ditto. 2010-06-22 Arnaud Charlet <charlet@adacore.com> * s-intman-vxworks.ads: Code clean up. 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_res.adb (Resolve_Slice): When the prefix is an explicit dereference, construct actual subtype of designated object to generate proper bounds checks. 2010-06-22 Thomas Quinot <quinot@adacore.com> * ali-util.adb, ali-util.ads, gnatbind.adb (Read_ALI): Rename to Read_Withed_ALIs, which is more descriptive. 2010-06-22 Pascal Obry <obry@adacore.com> * g-sothco.ads: Minor reformatting. * g-socthi-mingw.adb: Remove part of work on the C_Recvmsg and C_Sendmsg implementation. (C_Sendmsg): Do not use lock (not needed). (C_Recvmsg): Likewise and also do not wait for incoming data. From-SVN: r161148
* [multiple changes]Arnaud Charlet2010-06-225-6/+65
| | | | | | | | | | | | | | | | | | | | 2010-06-22 Ed Schonberg <schonberg@adacore.com> * uintp.adb: Fix scope error in operator call. 2010-06-22 Vincent Celier <celier@adacore.com> * makeutl.adb (Executable_Prefix_Path): on VMS, return "/gnu/". * prj-conf.adb (Get_Or_Create_Configuration_File): On VMS, if autoconfiguration is needed, fail indicating that no config project file can be found, as there is no autoconfiguration on VMS. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Make_Call_Into_Operator): Diagnose an incorrect scope for an operator in a functional notation, when operands are universal. From-SVN: r161147
* Update dependencies.Arnaud Charlet2010-06-222-12/+17
| | | | From-SVN: r161145
* [multiple changes]Arnaud Charlet2010-06-227-26/+173
| | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_aggr.adb (Resolve_Record_Aggregate): Do style check on component name. * sem_ch10.adb (Analyze_Subunit): Do style check on parent unit name. * sem_ch8.adb (Find_Direct_Name): For non-overloadable entities, do style check. * sem_res.adb (Resolve_Entity_Name): Do style check for enumeration literals. 2010-06-22 Vincent Celier <celier@adacore.com> * make.adb (Scan_Make_Arg): No longer pass -nostdlib to the compiler as it has no effect. Always pass -nostdlib to gnatlink, even on VMS. 2010-06-22 Pascal Obry <obry@adacore.com> * g-socthi-mingw.adb: Fix implementation of the vectored sockets on Windows. (C_Recvmsg): Make sure the routine is atomic. Also fully fill vectors in the proper order. (C_Sendmsg): Make sure the routine is atomic. From-SVN: r161144
* sem_ch8.adb: Update comment.Robert Dewar2010-06-223-44/+44
| | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch8.adb: Update comment. * sem_res.adb: Minor code reorganization (use Ekind_In). From-SVN: r161143
* [multiple changes]Arnaud Charlet2010-06-224-10/+50
| | | | | | | | | | | | | | | 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Add_Implicit_Operator): If the context of the expanded name is a call, use the number of actuals to determine whether this is a binary or unary operator, rather than relying on later information to resolve the overload. 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch10.adb, sem_aggr.adb: Minor reformatting. From-SVN: r161142
* [multiple changes]Arnaud Charlet2010-06-226-13/+35
| | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_disp.adb: Minor code fixes. * sem_eval.adb: Minor reformatting. 2010-06-22 Vincent Celier <celier@adacore.com> * make.adb (Scan_Make_Arg): When invoked with -nostdlib, pass -nostdlib to gnatlink, except on Open VMS. * osint.adb (Add_Default_Search_Dirs): Do not suppress the default object directories if -nostdlib is used. From-SVN: r161141
* sem_util.adb (Is_Delegate): Put in proper alpha order.Robert Dewar2010-06-223-64/+69
| | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_util.adb (Is_Delegate): Put in proper alpha order. * sem_eval.adb: Minor reformatting. From-SVN: r161140
* g-expect-vms.adb, [...]: Minor reformatting.Robert Dewar2010-06-226-141/+154
| | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@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) From-SVN: r161139
* sem_util.adb (Build_Actual_Subtype): Record original expression in ↵Thomas Quinot2010-06-224-21/+42
| | | | | | | | | | | | | | Related_Expression attribute of the constructed... 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_util.adb (Build_Actual_Subtype): Record original expression in Related_Expression attribute of the constructed subtype. * einfo.adb, einfo.ads (Underlying_View): Move to Node28 to free up Node24 on types for... (Related_Expression): Make attribute available on types as well. From-SVN: r161138
* [multiple changes]Arnaud Charlet2010-06-224-24/+51
| | | | | | | | | | | | | | | | | | | | | 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. (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 Directly_Designated_Type of each access discriminant. * sem_res.adb (Resolve_Type_Conversion): Retrieve Designated_Type instead of Directly_Designated_Type when the operand and target types are access types. 2010-06-22 Thomas Quinot <quinot@adacore.com> * exp_aggr.adb (Flatten): Return False if one choice is statically known to be out of bounds. From-SVN: r161137
* sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of a ↵Ed Schonberg2010-06-224-0/+26
| | | | | | | | | | | | | | | | | parameterless function call... 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Call): If the call is rewritten as an indexed of a parameterless function call, preserve parentheses of original expression, for proper handling by pretty printer. * sem_attr.adb (Analyze_Attribute, case 'Old): Add guard to Process procedure, to handle quietly identifiers that have no entity names. * exp_util.adb (Get_Current_Value_Condition): If the parent of an elsif_part is missing, it has been rewritten as a nested if, and there is no useful information on the current value of the variable. From-SVN: r161136
* [multiple changes]Arnaud Charlet2010-06-226-70/+201
| | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-22 Gary Dismukes <dismukes@adacore.com> * sem_ch3.adb (Build_Discriminal): Set default scopes for newly created discriminals to the current scope. * sem_util.adb (Find_Body_Discriminal): Remove setting of discriminal's scope, which could overwrite a different already set value. 2010-06-22 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Valid_Conversion): If expression is a predefined operator, use sloc of type of interpretation to improve error message when operand is of some derived type. * sem_eval.adb (Is_Mixed_Mode_Operand): New function, use it. 2010-06-22 Emmanuel Briot <briot@adacore.com> * g-expect-vms.adb (Expect_Internal): No longer raises an exception, so that it can set out parameters as well. When a process has died, reset its Input_Fd to Invalid_Fd, so that when using multiple processes we can find out which process has died. From-SVN: r161135
* sem_eval.adb (Find_Universal_Operator_Type): New subprogram to identify the ↵Thomas Quinot2010-06-225-32/+122
| | | | | | | | | | | | | | | | | | | | | | operand type of an operator on universal operands... 2010-06-22 Thomas Quinot <quinot@adacore.com> * sem_eval.adb (Find_Universal_Operator_Type): New subprogram to identify the operand type of an operator on universal 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. * 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 than one such type is in the scope, we just pick a random one, not necessarily the expected one). * sem_utils.ads, sem_utils.adb (Is_Universal_Numeric_Type): New utility subprogram. From-SVN: r161134
* [multiple changes]Arnaud Charlet2010-06-224-13/+87
| | | | | | | | | | | | | | | | | | | 2010-06-22 Robert Dewar <dewar@adacore.com> * sem_eval.adb: Minor reformatting. 2010-06-22 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Conditional_Expression): Use Expression_With_Actions to clean up the code generated when folding constant expressions. 2010-06-22 Vincent Celier <celier@adacore.com> * g-expect-vms.adb: Add new subprograms Free, First_Dead_Process and Has_Process. From-SVN: r161132
* [multiple changes]Arnaud Charlet2010-06-224-24/+47
| | | | | | | | | | | | | | 2010-06-22 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Find_Sources): When a source from a multi-unit file is found, check if it's path has aready been found, whatever its index. 2010-06-22 Robert Dewar <dewar@adacore.com> * atree.adb, gnatbind.adb: Minor reformatting. Minor code reorganization. From-SVN: r161131
* [multiple changes]Arnaud Charlet2010-06-217-42/+261
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-21 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Conditional_Expression): Fold if condition known at compile time. 2010-06-21 Gary Dismukes <dismukes@adacore.com> * atree.adb: Fix comment typo. 2010-06-21 Ed Schonberg <schonberg@adacore.com> * sem_eval.adb (Test_Ambiguous_Operator): New procedure to check whether a universal arithmetic expression in a conversion, which is rewritten from a function call with an expanded name, is ambiguous. 2010-06-21 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Name_Location): New Boolean component Listed, to record source files in specified list of sources. (Check_Package_Naming): Remove out parameters Bodies and Specs, as they are never used. (Add_Source): Set the Location of the new source (Process_Exceptions_File_Based): Call Add_Source with the Location (Get_Sources_From_File): If an exception is found, set its Listed to True (Find_Sources): When Source_Files is specified, if an exception is found, set its Listed to True. Remove any exception that is not in a specified list of sources. * prj.ads (Source_Data): New component Location 2010-06-21 Vincent Celier <celier@adacore.com> * gnatbind.adb (Closure_Sources): Global table, moved from block. From-SVN: r161088
* sem_res.adb: Minor reformatting.Thomas Quinot2010-06-213-29/+94
| | | | | | | | | 2010-06-21 Thomas Quinot <quinot@adacore.com> * sem_res.adb: Minor reformatting. * atree.adb: New debugging hook "rr" for node rewrites. From-SVN: r161087
* [multiple changes]Arnaud Charlet2010-06-214-66/+83
| | | | | | | | | | | | 2010-06-21 Robert Dewar <dewar@adacore.com> * g-expect.ads, g-expect.adb: Minor reformatting. 2010-06-21 Emmanuel Briot <briot@adacore.com> * s-regpat.adb (Next_Pointer_Bytes): New named constant. Code clean up. From-SVN: r161083
* * gcc-interface/Make-lang.in: Update dependencies.Arnaud Charlet2010-06-212-76/+82
| | | | From-SVN: r161082
* [multiple changes]Arnaud Charlet2010-06-216-116/+320
| | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-21 Thomas Quinot <quinot@adacore.com> * bindgen.ads: Update comments. 2010-06-21 Vincent Celier <celier@adacore.com> * gnatbind.adb: Suppress dupicates when listing the sources in the closure (switch -R). 2010-06-21 Emmanuel Briot <briot@adacore.com> * s-regpat.adb (Link_Tail): Fix error when size of the pattern matcher is too small. 2010-06-21 Emmanuel Briot <briot@adacore.com> * g-expect.adb, g-expect.ads (First_Dead_Process, Free, Has_Process): New subprograms. (Expect_Internal): No longer raises an exception, so that it can set out parameters as well. When a process has died, reset its Input_Fd to Invalid_Fd, so that when using multiple processes we can find out which process has died. From-SVN: r161081
* [multiple changes]Arnaud Charlet2010-06-218-74/+141
| | | | | | | | | | | | | | | | | 2010-06-21 Robert Dewar <dewar@adacore.com> * s-regpat.adb, s-tpoben.adb, sem_attr.adb, sem_util.adb, sem_util.ads, checks.adb, sem_res.adb: Minor reformatting. Add comments. 2010-06-21 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (New_Overloaded_Entity): If the new entity is a rederivation associated with a full declaration in a private part, and there is a partial view that derives the same parent subprogram, the new entity does not become visible. This check must be applied to interface operations as well. From-SVN: r161078
* checks.adb: Add comments.Thomas Quinot2010-06-213-11/+23
| | | | | | | | | 2010-06-21 Thomas Quinot <quinot@adacore.com> * checks.adb: Add comments. * prj-nmsc.adb: Minor reformatting. From-SVN: r161077
* [multiple changes]Arnaud Charlet2010-06-219-202/+154
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-21 Thomas Quinot <quinot@adacore.com> * sem_ch9.adb, checks.adb, sem_util.adb, sem_util.ads, sem_res.adb, sem_attr.adb (Get_E_First_Or_Last): Use attribute references on E to 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... (Eval_Attribute): For the case of a subtype bound that references a discriminant of the current concurrent type, insert appropriate discriminal reference. (Resolve_Entry.Actual_Index_Type.Actual_Discriminant_Ref): For a requeue to an entry in a family in the current task, use corresponding body discriminal. (Analyze_Accept_Statement): Rely on expansion of attribute references to insert proper discriminal references in range check for entry in family. 2010-06-21 Emmanuel Briot <briot@adacore.com> * s-regpat.adb (Compile): Fix handling of big patterns. 2010-06-21 Robert Dewar <dewar@adacore.com> * a-tifiio.adb: Minor reformatting. From-SVN: r161076
* [multiple changes]Arnaud Charlet2010-06-218-163/+162
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2010-06-21 Pascal Obry <obry@adacore.com> * prj-nmsc.adb (Search_Directories): Use the non-translated directory path to open it. 2010-06-21 Javier Miranda <miranda@adacore.com> * exp_cg.adb (Write_Call_Info): Fill the component sourcename using the external name. 2010-06-21 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_Concatenate): If an object declaration is created to hold the result, indicate that the target of the declaration does not need an initialization, to prevent spurious errors when Initialize_Scalars is enabled. 2010-06-21 Ed Schonberg <schonberg@adacore.com> * a-tifiio.adb (Put): In the procedure that performs I/O on a String, Fore is not bound by line length. The Fore parameter of the internal procedure that performs the operation is an integer. 2010-06-21 Thomas Quinot <quinot@adacore.com> * sem_res.adb, checks.adb: Minor reformatting. 2010-06-21 Emmanuel Briot <briot@adacore.com> * s-regpat.adb (Next_Instruction, Get_Next_Offset): Removed, merged into Get_Next. (Insert_Operator_Before): New subprogram, avoids duplicated code (Compile): Avoid doing two compilations when the pattern matcher ends up being small. From-SVN: r161074
* [multiple changes]Arnaud Charlet2010-06-213-132/+310
| | | | | | | | | | | | | | 2010-06-21 Emmanuel Briot <briot@adacore.com> * s-regpat.adb: Improve debug traces (Dump): Change output format to keep it smaller. 2010-06-21 Javier Miranda <miranda@adacore.com> * exp_cg.adb (Generate_CG_Output): Disable redirection of standard output to the output file when this routine completes its work. From-SVN: r161073
* trans.c (Subprogram_Body_to_gnu): Use while instead of for loop.Eric Botcazou2010-06-202-5/+9
| | | | | | | * gcc-interface/trans.c (Subprogram_Body_to_gnu): Use while instead of for loop. Call build_constructor_from_list directly in the CICO case. From-SVN: r161046
* [multiple changes]Arnaud Charlet2010-06-184-20/+48
| | | | | | | | | | | | | | | | | | | 2010-06-18 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Build_And_Analyze_Renamed_Body): If the renaming declaration appears in the same unit and ealier than the renamed entity, retain generated body to prevent order-of-elaboration issues in gigi. 2010-06-18 Arnaud Charlet <charlet@adacore.com> * s-tpoben.adb: Update comments. 2010-06-18 Robert Dewar <dewar@adacore.com> * debug.adb: Minor comment change. From-SVN: r161010
* [multiple changes]Javier Miranda2010-06-184-25/+51
| | | | | | | | | | | | | | | | | | | | 2010-06-18 Javier Miranda <miranda@adacore.com> * exp_cg.adb (Homonym_Suffix_Length): Minor code reorganization. 2010-06-18 Thomas Quinot <quinot@adacore.com> * sprint.ads: Minor reformatting. * output.ads: Update obsolete comment. 2010-06-18 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Build_And_Analyze_Renamed_Body): if the renamed entity is an external intrinsic operation (e.g. a GCC numeric function) indicate that the renaming entity has the same characteristics, so a call to it is properly expanded. From-SVN: r161003