summaryrefslogtreecommitdiffstats
path: root/gcc/ada/gcc-interface/Make-lang.in
Commit message (Collapse)AuthorAgeFilesLines
...
* 2012-04-26 Tristan Gingold <gingold@adacore.com>charlet2012-04-261-47/+26
| | | | | | | | | | | | | | | | | | | | * gcc-interface/Make-lang.in: Update dependencies. Remove s-traceb and tracebak objects from gnat1 and gnatbind (not used). Remove s-tasdeb and s-vaflop rules (not used). 2012-04-26 Olivier Hainque <hainque@adacore.com> * gcc-interface/targtyps.c (WIDEST_HARDWARE_FP_SIZE): Default to DOUBLE_TYPE_SIZE instead of LONG_DOUBLE_TYPE_SIZE. 2012-04-26 Hristian Kirtchev <kirtchev@adacore.com> * a-calend.adb (Day_Of_Week): Keep the internal usage of UTC_Time_Offset consistent with Time_Of and Split. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@186872 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-03-20 Arnaud Charlet <charlet@adacore.com>charlet2012-03-201-996/+970
| | | | | | | | | | | | * hlo.ads, hlo.adb: Removed, no longer used. * gcc-interface/Make-lang.in: Remove hlo.o. Update dependencies. * gcc-interface/Makefile.in: Remove EXTRA_LIBGNAT_SRCS (temporarly) and compute it from EXTRA_LIBGNAT_OBJS. Clean up comments, reorder LIBGNAT_SRCS and LIBGNAT_OBJS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185565 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-03-07 Tristan Gingold <gingold@adacore.com>charlet2012-03-071-34/+35
| | | | | | | | | | * s-ransee-vms.adb: New file. * gcc-interface/Makefile.in: Use s-ransee-vms.adb on VMS. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185067 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (doc/gnat_ugn.texi): Build xgnatugnjason2012-03-051-0/+1
| | | | | | before using it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184963 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-02-22 Pascal Obry <obry@adacore.com>charlet2012-02-221-36/+38
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as this is our own thread. 2012-02-22 Sergey Rybin <rybin@adacore.com frybin> * tree_io.ads: Update ASIS_Version_Number because of the changes in Snames. 2012-02-22 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on stack-related finalizers. 2012-02-22 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): If the construct is a completion, indicate that its formals are the formals of a completion, and as such do not get a cross- reference entry. (Analyze_Subprogram_Specification): Do not generate a definition for the entity of an expression function, because it may be a completion. Definition will be generated if needed when analyzing the generated subprogram declaration. 2012-02-22 Vincent Celier <celier@adacore.com> * make.adb (Check): When checking if an object file is in the correct object directory, get the unit name from a previous call to Check_Source_Info_In_ALI. * makeutl.adb (Check_Source_Info_In_ALI): Return the name of the unit when everything is OK, otherwise return No_Name. * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead of Boolean 2012-02-22 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an instance, the operator is visible if an operand is of some numeric type which is not in use or directly visible, and the other operand is a numeric literal. 2012-02-22 Tristan Gingold <gingold@adacore.com> * init.c: Minor code clean up. * gcc-interface/Make-lang.in: Update dependencies. 2012-02-22 Arnaud Charlet <charlet@adacore.com> * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node, otherwise GCC will generate an object file. 2012-02-22 Vincent Celier <celier@adacore.com> * projects.texi: Correct typo related to "**" in Source_Dirs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184477 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-02-17 Ed Schonberg <schonberg@adacore.com>charlet2012-02-171-840/+854
| | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.adb (Legal_Copy): If layout is not determined in the front-end, do not emit error message when by-reference actual is potentially unaligned. * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for illegal representation clause on tagged or aliased component, or on by-reference type with forced alignment. 2012-02-17 Nicolas Roche <roche@adacore.com> * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is propagated by gnatlib-sjlj and gnatlib-zcx targets. * gcc-interface/Make-lang.in: Update dependencies. 2012-02-17 Thomas Quinot <quinot@adacore.com> * sem_ch12.adb (Analyze_Package_Instantiation): For an instantiation in an RCI library unit, omit the instance body if the RCI library unit is the instance itself (E.2.3(18)), but include the body if the instantiation is within the RCI declaration (12.3(12)). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184343 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-02-08 Vincent Celier <celier@adacore.com>charlet2012-02-081-24/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects (g-buorma is now imported by sinput). Update dependencies. * scn.adb (Initialize_Scanner): Call Check_For_BOM * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM * sinput.adb: New procedure Check_For_BOM * sinput.ads: New procedure Check_For_BOM 2012-02-08 Vincent Pucci <pucci@adacore.com> * impunit.adb: Dimension package names updated * Makefile.rtl: s-dim added * sem_dim.adb (Is_Procedure_Put_Call): minor changes (Is_Dim_IO_Package_Instantiation): minor changes * sem_dim.ads: minor changes in comments * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and Name_Dim_Integer_IO removed * s-dim.ads: New package. Define the dimension terminology. * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads, * s-dmotpr.ads: Package names updated. * s-diflio.ads, s-diinio.ads: Documentation added and package names updated. 2012-02-08 Gary Dismukes <dismukes@adacore.com> * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test for storage pools to test for an underlying record type rather than testing Is_Tagged_Type, so that simple storage pools will be handled the same as normal Ada storage pools. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@184004 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.ebotcazou2012-02-071-1/+4
| | | | | | | (GCC_LINK): Use it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183983 138bc75d-0d04-0410-961f-82ee72b054a4
* 2012-01-30 Nicolas Roche <roche@adacore.com>charlet2012-01-301-11/+11
| | | | | | | | | | | * gcc-interface/Make-lang.in: Update dependencies. * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads when needed. Remove Linker_Options -crtbe when building sjlj run-time. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183715 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-20 Ed Schonberg <schonberg@adacore.com>charlet2011-12-201-364/+400
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch12.adb (Insert_Freeze_Node_For_Instance): Further refinements on the placement of a freeze node for a package instantiation, when the generic appears within a previous instantiation in the same unit.If the current instance is within the one that contains the generic, the freeze node for the current one must appear in the current declarative part. Ditto if the current instance is within another package instance. In these cases the freeze node of the previous instance is is not relevant. New predicate Enclosing_Body simplifies the process. (Freeze_Subprogram_Body): Rename Enclosing_Body to Enclosing_Package_Body, to prevent confusion with subprogram of same name elsewhere. (Install_Body): Recognize enclosing subprogram bodies to determine whether freeze_node belongs in current declarative list. 2011-12-20 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Allow attribute definition clause for renaming if generated internally and generate duplicate clause to apply to renamed object. (Rep_Item_Too_Late): Only diagnose source level entities * prj-nmsc.adb: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182542 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-15 Vincent Pucci <pucci@adacore.com>charlet2011-12-151-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * aspects.adb, aspects.ads Aspect_Dimension and Aspect_Dimension_System added * exp_ch6.adb (Expand_Call): Expand_Put_Call_With_Dimension_String case added * gcc-interface/Make-lang.in: s-llflex, sem_dim added. * impunit.adb :s-diflio and s-diinio defined as GNAT Defined Additions to System. * Makefile.rtl: s-diflio, s-diinio and s-llflex added * par-prag.adb, sem_prag.adb: Pragma_Dimension removed * rtsfind.ads: Expon_LLF added * sem_aggr.adb (Resolve_Aggregate): handles aggregate for Aspect_Dimension case * sem_attr.adb (Resolve_Attribute): analyze dimension for attribute * sem_ch10.adb (Analyze_With_Clause): Avoid the warning messages due to the use of a GNAT library for Dimension packages * sem_ch13.adb (Analyze_Aspect_Specifications): Aspect_Dimension and Aspect_Dimension_System cases added (Check_Aspect_At_Freeze_Point): Aspect_Dimension and Aspect_Dimension_System cases added * sem_ch2.adb (Analyze_Identifier): analyze dimension for identifier * sem_ch3.adb (Analyze_Component_Declaration): analyze dimension for component declaration (Analyze_Object_Declaration): analyze dimension for object declaration (Analyze_Subtype_Declaration): analyze dimension for subtype declaration * sem_ch4.adb (Operator_Check): checks exponent is a rational for dimensioned operand for a N_Op_Expon * sem_ch5.adb (Analyze_Assignment): analyze dimension for assignment (Analyze_Statements): removal of dimensions in all statements * sem_ch6.adb (Analyze_Return_Statement): analyze dimension for return statement * sem_ch8.adb (Analyze_Object_Renaming): analyze dimension for object renaming * sem_dim.adb, sem_dim.ads (Analyze_Aspect_Dimension): analyze the expression for aspect dimension and store the values in a Htable. (Analyze_Aspect_Dimension_System): analyze the expression for aspect dimension system and store the new system in a Table. (Analyze_Dimension): propagates dimension (Expand_Put_Call_With_Dimension_String): add the dimension string as a suffix of the numeric value in the output (Has_Dimension): return True if the node has a dimension (Remove_Dimension_In_Declaration): removal of dimension in the expression of the declaration. (Remove_Dimension_In_Statement): removal of dimension in statement * sem_res.adb (Resolve): analyze dimension if the node has already been analyzed. (Resolve_Arithmetic_Op): analyze dimension for arithmetic op. (Resolve_Call): analyze dimension for function call. (Resolve_Comparison_Op): analyze dimension for comparison op. (Resolve_Equality_Op): analyze dimension for equality op. (Resolve_Indexed_Component): analyze dimension for indexed component. (Resolve_Op_Expon): analyze dimension for op expon. (Resolve_Selected_Component): analyze dimension for selected component. (Resolve_Slice): analyze dimension for slice. (Resolve_Unary_Op): analyze dimension for unary op (Resolve_Type_Conversion): analyze dimension for type conversion (Resolve_Unchecked_Type_Conversion): analyze dimension for unchecked type conversion * snames.ads-tmpl Name_Dimension, Name_Dimension_System, Name_Dim_Float_IO, Name_Dim_Integer_IO, Name_Generic_Elementary_Functions, Name_Sqrt added. Pragma_Dimension removed * s-diflio.adb, s-diflio.ads New GNAT library generic package for dimensioned float type IO * s-diinio.adb, s-diinio.ads New GNAT library generic package for dimensioned integer type IO * s-llflex.ads (Expon_LLF): exponentiation routine for long long floats operand and exponent 2011-12-15 Robert Dewar <dewar@adacore.com> * sem_aggr.adb: Minor comment addition. 2011-12-15 Bob Duff <duff@adacore.com> * s-tasren.adb (Task_Count): Do not call Yield; E'Count is not a task dispatching point. * s-taprop-mingw.adb (Yield): Do not yield if Do_Yield is False. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182368 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-12 Robert Dewar <dewar@adacore.com>charlet2011-12-121-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | * s-taprop-mingw.adb: Minor reformatting. 2011-12-12 Nicolas Roche <roche@adacore.com> * gcc-interface/Make-lang.in: Update dependencies. Add gnattools4 target when building tools in canadian mode 2011-12-12 Javier Miranda <miranda@adacore.com> * exp_disp.adb (Make_VM_TSD): Complete previous patch. 2011-12-12 Bob Duff <duff@adacore.com> * s-tpobop.adb: Use named notation. * g-bytswa.ads, s-taprop.ads: Minor comment fix. 2011-12-12 Arnaud Charlet <charlet@adacore.com> * make.adb: Minor comment update. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@182242 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-12-02 Eric Botcazou <ebotcazou@adacore.com>charlet2011-12-021-99/+102
| | | | | | | | | | | | | | Thomas Quinot <quinot@adacore.com> * gcc-interface/Makefile.in (INCLUDES): Remove $(srcdir)/config. (INCLUDES_FOR_SUBDIR): Add $(fsrcdir) except for VxWorks. Add thread.c to LIBGNAT_SRCS so that a symlink is created in ada/rts, which allows the file to be installed in adainclude. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181928 138bc75d-0d04-0410-961f-82ee72b054a4
* PR bootstrap/51201jakub2011-12-011-2/+2
| | | | | | | * gcc-interface/Make-lang.in: Initialize RTS_DIR with = instead of :=. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181877 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-23 Thomas Quinot <quinot@adacore.com>charlet2011-11-231-18/+19
| | | | | | | | | | | | | | | | | | | | | * thread.c, s-oscons-tmplt.c: Generate __gnat_pthread_condattr_setup only on platforms where this is required, as determined by s-oscons.h. 2011-11-23 Ed Schonberg <schonberg@adacore.com> * sem_ch9.adb: No check on entry index if error on index. 2011-11-23 Gary Dismukes <dismukes@adacore.com> * sem_ch6.adb (Analyze_Return_Statement): Improve error messages for return statements nested inside an extended_return_statement. * gcc-interface/Make-lang.in: Update dependencies. * gcc-interface/Makefile.in (MISCLIB): Add -lutil for BSD targets. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181670 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2011-11-231-24/+22
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181661 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-23 Robert Dewar <dewar@adacore.com>charlet2011-11-231-3/+3
| | | | | | | | | | | | | | | | | | | | | | * exp_util.adb, par-ch6.adb, sem_res.adb, par-util.adb: Minor reformatting. 2011-11-23 Yannick Moy <moy@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Place error on line of precondition/ postcondition/invariant. 2011-11-23 Pascal Obry <obry@adacore.com> * g-exptty.ads, g-exptty.adb, g-tty.ads, g-tty.adb, terminals.c: New files. Makefile.rtl: Add these new files. * gnat_rm.texi: Add documentation for GNAT.Expect.TTY. * gcc-interface/Makefile.in: Add g-exptty, g-tty, terminals.o * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181655 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-21 Arnaud Charlet <charlet@adacore.com>charlet2011-11-211-153/+160
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-taprop-irix.adb, s-taprop-solaris.adb (Create_Task): Use Unrestricted_Access to deal with fact that we properly detect the error if Access is used. * gcc-interface/Make-lang.in: Update dependencies. 2011-11-21 Yannick Moy <moy@adacore.com> * exp_prag.adb (Expand_Pragma_Check): Place error on first character of expression. * sem_res.adb (Resolve_Short_Circuit): Place error on first character of expression. 2011-11-21 Yannick Moy <moy@adacore.com> * exp_util.adb (Remove_Side_Effects): Do nothing in Alfa mode. 2011-11-21 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference, case Max_Size_In_Storage_Elements): Account for the size of the hidden list header which precedes controlled objects allocated on the heap. * rtsfind.ads: Add RE_Header_Size_With_Padding to the runtime tables. * sinfo.adb (Header_Size_Added): New routine. (Set_Header_Size_Added): New routine. * sinfo.ads: Add flag Controlled_Header_Added along with associated comment. (Header_Size_Added): New inlined routine. (Set_Header_Size_Added): New inlined routine. * s-stposu.adb (Allocate_Any_Controlled): Use Header_Size_With_Padding to calculate the proper size of the header. (Deallocate_Any_Controlled): Use Header_Size_With_Padding to calculate the proper size of the header. (Header_Size_With_Padding): New routine. (Nearest_Multiple_Rounded_Up): Removed along with its uses. * s-stposu.ads (Header_Size_With_Padding): New routine. 2011-11-21 Ed Schonberg <schonberg@adacore.com> * aspects.adb: Aspect specifications are allowed on renaming declarations * par-ch6.adb (P_Subprogram): Parse aspect specifications in a subprogram renaming declaration git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181576 138bc75d-0d04-0410-961f-82ee72b054a4
* ada:iains2011-11-121-1/+1
| | | | | | | | | | | | | | | | | | | | | * gcc-interface/Makefile.in (stamp-gnatlib-$(RTSDIR)): Don't link s-oscons.ads. (OSCONS_CPP, OSCONS_EXTRACT): New. (./bldtools/oscons/xoscons): New Target. ($(RTSDIR)/s-oscons.ads): New Target. (gnatlib): Depend on $(RTSDIR)/s-oscons.ads. * gcc-interface/Make-lang.in (ada/s-oscons.ads) Remove as dependency. * Make-generated.in: Remove machinery to generate xoscons and ada/s-oscons.ads. libada: Makefile.in: Change dependency on oscons to depend on the generator tool. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181319 138bc75d-0d04-0410-961f-82ee72b054a4
* * fe.h (Serious_Errors_Detected): New macro.ebotcazou2011-11-101-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | * gcc-interface/gigi.h (build_atomic_load): Declare. (build_atomic_store): Likewise. * gcc-interface/trans.c (atomic_sync_required_p): New predicate. (call_to_gnu): Add ATOMIC_SYNC parameter. Use local variable. Build an atomic load for an In or In Out parameter if needed. Build an atomic store for the assignment of an Out parameter if needed. Build an atomic store to the target if ATOMIC_SYNC is true. (present_in_lhs_or_actual_p): New predicate. (gnat_to_gnu) <N_Identifier>: Build an atomic load if needed. <N_Explicit_Dereference>: Likewise. <N_Indexed_Component>: Likewise. <N_Selected_Component>: Likewise. <N_Assignment_Statement>: Adjust call to call_to_gnu. Build an atomic store to the LHS if needed. <N_Function_Call>: Adjust call to call_to_gnu. * gcc-interface/utils2.c: Include toplev.h. (resolve_atomic_size): New static function. (build_atomic_load): New function. (build_atomic_store): Likewise. * gcc-interface/Make-lang.in (ada/utils2.o): Add toplev.h. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181267 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-07 Olivier Hainque <hainque@adacore.com>charlet2011-11-071-37/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sigtramp-ppcvxw.c: Add general comments. (CFI_COMMON_REGS): Remove rule for r1, as in other unwinders. Add rules for r2 to r13, plus CTR and XER. (CFA_REG): New, register number used to hold the local CFA. (CFI_DEF_CFA, SIGTRAMP_BODY): Use it. Make that 15, not 14, with documentation. (TCR): Undef before definition, preventing conflict with reg number in VxWorks headers. 2011-11-07 Robert Dewar <dewar@adacore.com> * exp_util.ads, exp_alfa.adb, a-cohama.adb, a-cohama.ads, sem_ch4.adb, aspects.ads, exp_ch8.adb, exp_ch8.ads, atree.ads: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. 2011-11-07 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb: A tagged type is a legal actual for an aliased formal. 2011-11-07 Pascal Obry <obry@adacore.com> * g-socket.adb, g-socket.ads: Minor reformatting. 2011-11-07 Robert Dewar <dewar@adacore.com> * sem_res.adb (Resolve_Actuals): Minor error message improvement. 2011-11-07 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add discussion of default mode handling of source representation with no -gnatW option given, in particular noting that NEL (next line) is not recognized in this context. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181094 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2011-11-041-5/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180960 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-11-04 Robert Dewar <dewar@adacore.com>charlet2011-11-041-26/+29
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_warn.adb (Warn_On_Useless_Assignment): More accurate test for call vs assign. * gcc-interface/Make-lang.in: Update dependencies. 2011-11-04 Robert Dewar <dewar@adacore.com> * sem_prag.adb: Detect more cases of Long_Float inconsistencies at compile time. 2011-11-04 Matthew Heaney <heaney@adacore.com> * Makefile.rtl, impunit.adb: Added a-sfecin.ads, * a-sfhcin.ads, a-sflcin.ads, a-sbecin.ad[sb], a-sbhcin.ad[sb], a-sblcin.ad[sb], a-suecin.ad[sb], a-suhcin.ad[sb], a-sulcin.ad[sb] * a-sfecin.ads, a-sfhcin.ads, a-sflcin.ads, a-sbecin.ad[sb], a-sbhcin.ad[sb], a-sblcin.ad[sb], a-suecin.ad[sb], a-suhcin.ad[sb], a-sulcin.ad[sb]: New files. 2011-11-04 Geert Bosch <bosch@adacore.com> * i-forbla-unimplemented.ads, s-gecola.adb, s-gecola.ads, s-gerebl.adb, s-gerebl.ads, i-forbla.adb, i-forbla.ads, i-forlap.ads, i-forbla-darwin.adb, s-gecobl.adb, s-gecobl.ads, s-gerela.adb, s-gerela.ads: Remove partial interface to BLAS/LAPACK. * gcc-interface/Makefile.in: Remove libgnala and related objects. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180935 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (GNATLIBFLAGS, GNATLIBCFLAGS, THREAD_KIND,ebotcazou2011-10-201-6/+16
| | | | | | | | | TRACE): Reintroduce. (ada/tracebak.o, ada/targext.o, ada/cio.o, ada/init.o, ada/initialize.o, ada/raise.o): Reintroduce explicit compilation rules. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180246 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-10-13 Ed Schonberg <schonberg@adacore.com>charlet2011-10-131-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_util.ads, sem_util.adb (Available_Full_View_Of_Component): New predicate to determine whether some operations on an array type are available when the full view of its component may differ from the view of the point of the array declaration. * sem_ch4.adb (Find_Equality_Types): Use Available_Full_View_Of_Component. * sem_type.adb (Valid_Boolean_Arg, Valid_Comparison_Arg): Ditto 2011-10-13 Ed Schonberg <schonberg@adacore.com> * sem_ch9.adb: Analyze aspects while discriminants of protected type are visible. 2011-10-13 Geert Bosch <bosch@adacore.com> * Makefile.rtl (GNATRTL_TASKING_OBJECTS): Add a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o, as these no longer depend on an external library. * gcc-interface/Makefile.in (GNATRTL_LINEARALGEBRA_OBJS): Remove a-nlcoar.o, a-nllcar.o, a-nucoar.o and s-gearop.o. Update dependencies. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179914 138bc75d-0d04-0410-961f-82ee72b054a4
* gnattools/ebotcazou2011-10-121-68/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Makefile.in (LOOSE_WARN): Delete. (GCC_WARN_CFLAGS): Set to -W -Wall. (TOOLS_FLAGS_TO_PASS_1): Delete. (TOOLS_FLAGS_TO_PASS_1re): Rename into... (TOOLS_FLAGS_TO_PASS_RE): ...this. (gnattools-native): Use TOOLS_FLAGS_TO_PASS_NATIVE. (regnattools): Use TOOLS_FLAGS_TO_PASS_RE. libada/ * Makefile.in (LOOSE_WARN): Delete. (GCC_WARN_CFLAGS): Likewise. (WARN_CFLAGS): Likewise. (GNATLIBFLAGS): Add -nostdinc. (GNATLIBCFLAGS_FOR_C): Add -W -Wall. (LIBADA_FLAGS_TO_PASS): Remove WARN_CFLAGS. * configure.ac (warn_cflags): Delete. * configure: Regenerate. gcc/ada/ * sem_util.adb (Denotes_Same_Prefix): Fix fatal warning. * gcc-interface/Make-lang.in (WARN_ADAFLAGS): New. (ALL_ADAFLAGS): Include WARN_ADAFLAGS. (ADA_FLAGS_TO_PASS): Likewise. (COMMON_FLAGS_TO_PASS): New. (ADA_TOOLS_FLAGS_TO_PASS): Use COMMON_FLAGS_TO_PASS. In the regular native case, also use FLAGS_TO_PASS and ADA_FLAGS_TO_PASS. (gnatlib): Use COMMON_FLAGS_TO_PASS. (ada.install-common): Likewise. (install-gnatlib): Likewise. (install-gnatlib-obj): Likewise. (gnattools): Use ADA_TOOLS_FLAGS_TO_PASS for gnattools1 as well. (gnat-cross): Delete. (gnatboot): Likewise. (gnatboot2): Likewise. (gnatboot3): Likewise. (gnatstage1): Likewise. (gnatstage2): Likewise. * gcc-interface/Makefile.in (SOME_ADAFLAGS): Likewise. (MOST_ADAFLAGS): Likewise. (LOOSE_CFLAGS): Likewise. (gnat-cross): Likewise. (GNATLIBFLAGS): Add -W -Wall. (GNATLIBCFLAGS_FOR_C): Likewise. * gcc-interface/lang.opt: Remove C-specific warnings. Add doc lines. * gcc-interface/misc.c (gnat_handle_option): Remove obsolete cases. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179878 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-27 Ed Schonberg <schonberg@adacore.com>charlet2011-09-271-8/+7
| | | | | | | | | | | | | | | | | | * a-cbhase.adb, a-cbhase.ads, a-cborse.adb, a-cborse.ads, a-cihase.adb, a-cihase.ads, a-ciorse.adb, a-ciorse.ads, a-coorse.adb, a-coorse.ads: Add iterator machinery to bounded sets and indefinite sets. * a-coorma.ads: Minor reformmating. * einfo.ads: Improve the comment describing the Directly_Designated_Type function. * a-ciorma.adb, a-ciorma.ads: Add iterator machinery to indefinite ordered maps. * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179260 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2011-09-191-53/+54
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178964 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2011-09-151-15/+15
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178879 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in, gcc-interface/Make-lang.incharlet2011-09-061-0/+33
| | | | | | | | | | | (gnattools, regnattools, cross-gnattools, canadian-gnattools, gnatlib, gnatlib-sjlj, gnatlib-zcx, gnatlib-shared, gnatlib_and_tools): New targets. (TOOLS_FLAGS_TO_PASS): New. (../stamp-tools): Reintroduce, to avoid merge conflicts. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178600 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-02 Robert Dewar <dewar@adacore.com>charlet2011-09-021-34/+36
| | | | | | | | | | | | | | | * sem_ch4.adb, sem_ch6.adb: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. 2011-09-02 Marc Sango <sango@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): Change comment and add additional check to differentiate constant of type string from others unconstrained type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178462 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Clean up handling of x86 and x86-64charlet2011-09-011-15/+0
| | | | | | | | run-time files. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178421 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-01 Jose Ruiz <ruiz@adacore.com>charlet2011-09-011-156/+157
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-taprop-linux.adb (Create_Task, Set_Task_Affinity): Use the linux macros for handling CPU sets (CPU_ZERO, CPU_SET) instead of modifying directly the bit array. * s-osinte-linux.ads (CPU_ZERO, CPU_SET): Import these wrappers around the linux macros with the same name. * adaint.h, adaint.c (__gnat_cpu_zero, __gnat_cpu_set): Create these wrappers around the CPU_ZERO and CPU_SET linux macros. 2011-09-01 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb (Find_Insertion_List): Removed. (Process_Transient_Objects): Insert the declarations of the hook access type and the hook object before the associated transient object. 2011-09-01 Jose Ruiz <ruiz@adacore.com> * sem_ch8.adb (Attribute_Renaming): Add missing check to avoid loading package System.Aux_Dec when using restricted run-time libraries which do not have this package. 2011-09-01 Tristan Gingold <gingold@adacore.com> * s-vaflop-vms-alpha.adb: Remove pragma optimize, useless. 2011-09-01 Bob Duff <duff@adacore.com> * sem_attr.adb (Analyze_Access_Attribute): Do not call Kill_Current_Values for P'Unrestricted_Access, where P is library level 2011-09-01 Thomas Quinot <quinot@adacore.com> * exp_ch5.adb: Minor reformatting * gnat_ugn.texi: Fix minor typos. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178414 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-31 Pascal Obry <obry@adacore.com>charlet2011-08-311-176/+167
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-direct.adb: Do not try to create an UNC path on Windows. (Create_Path): Skip leading computer name in UNC path if any. 2011-08-31 Hristian Kirtchev <kirtchev@adacore.com> * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): Remove the version-dependent generation of the return statement. The Ada 2005 tree is now the default. 2011-08-31 Thomas Quinot <quinot@adacore.com> * rtsfind.ads, exp_dist.adb (Find_Numeric_Representation): Predefined types Stream_Element_Offset and Storage_Offset have a different native type depending on whether the platform is 32 or 64 bits. When exchanging them, always convert to 64 bits. 2011-08-31 Yannick Moy <moy@adacore.com> * debug.adb: Reserve debug option -gnatd.E for passing gnatprove option --force-alfa to gnat2why. 2011-08-31 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Save_References): If the node has aspects, save references within the corresponding expressions in a separate step, because the aspects are not directly in the tree for the declaration to which they belong. 2011-08-31 Arnaud Charlet <charlet@adacore.com> * freeze.adb (Freeze_Record_Type): Omit test on variable size component in CodePeer mode, since representation clauses are partially ignored. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178373 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2011-08-301-22/+53
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178318 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-29 Robert Dewar <dewar@adacore.com>charlet2011-08-291-1182/+1140
| | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch10.adb, a-coorse.adb, exp_dist.adb, exp_ch3.adb: Minor reformatting. * gcc-interface/Make-lang.in: Update dependencies. 2011-08-29 Yannick Moy <moy@adacore.com> * alfa.ads (Name_Of_Heap_Variable): New constant name. * lib-xref-alfa.adb, lib-xref.adb, lib-xref.ads (Drefs): New global table to hold dereferences. (Add_ALFA_Xrefs): Take into account dereferences as special reads/writes to the variable "HEAP". (Enclosing_Subprogram_Or_Package): Move subprogram here. (Generate_Dereference): New procedure to store a read/write dereferencew in the table Drefs. * put_alfa.adb (Put_ALFA): Use different default than (0,0) used for the special "HEAP" var. * sem_ch4.adb (Analyze_Explicit_Dereference): Store read dereference in ALFA mode. * sem_util.adb (Note_Possible_Modification): Store write dereference in ALFA mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178252 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-29 Tristan Gingold <gingold@adacore.com>charlet2011-08-291-1239/+1304
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-excdeb.ads, s-excdeb.adb: New files, created from s-except. * rtsfind.ads (RTU_Id): Replaces System_Exceptions by System_Exceptions_Debug (RE_Unit_Table): Search RE_Local_Raise in System_Exceptions_Debug * a-except.adb: With and use System.Exceptions_Debug instead of System.Exceptions. * a-except-2005.adb: Likewise. * s-assert.adb: Likewise. * s-except.adb, s-except.ads: Move debugging hooks to s-excdeb. * Makefile.rtl: Add s-excdeb. Adjust compilation rule. * gcc-interfaces/Makefile.in, gcc-interface/Make-lang.in: Add s-excdeb. Update dependencies. (GNATRTL_LINEARALGEBRA_OBJS): Remove a-nlrear.o a-nurear.o a-nllrar.o as these no longer need external libraries. 2011-08-29 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Op_Expon): Additional check to reject an exponentiation operator on universal values in a context that requires a fixed-point type. 2011-08-29 Tristan Gingold <gingold@adacore.com> * raise-gcc.c (personnality_routine): Fix thinko. Set Ada occurrence before calling notify_handled_exception. * a-exextr.adb: Fix comment. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178221 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-29 Thomas Quinot <quinot@adacore.com>charlet2011-08-291-10/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * rtsfind.ads, exp_ch3.adb (In_Runtime): Minor code improvement, use Is_RTU instead of using Chars comparisons. 2011-08-29 Thomas Quinot <quinot@adacore.com> * exp_strm.adb (Build_Mutable_Record_Read_Procedure): Do not create a temporary object if the actual is constrained, and the discriminants read from the stream don't match. 2011-08-29 Tristan Gingold <gingold@adacore.com> * sem_attr.adb, exp_attr.adb: Add handling of Attribute_System_Allocator_Alignment * snames.ads-tmpl: Add Name_System_Allocator_Alignment and Attribute_System_Allocator_Alignment. * ttypes.ads, get_targ.ads: Add Get_System_Allocator_Alignment. * gcc-interface/targtyps.c, gcc-interface/utils2.c, gcc-interface/gigi.h: Renames get_target_default_allocator_alignment to get_target_system_allocator_alignment. 2011-08-29 Arnaud Charlet <charlet@adacore.com> * gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178176 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.in (CFLAGS-collect2.o, CFLAGS-c-family/c-opts.o)jsm282011-08-241-12/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (CFLAGS-c-family/c-pch.o, CFLAGS-prefix.o, CFLAGS-version.o) (CFLAGS-lto-compress.o, CFLAGS-toplev.o, CFLAGS-intl.o) (CFLAGS-cppbuiltin.o, CFLAGS-cppdefault.o): New. (collect2.o, c-family/c-cppbuiltin.o, c-family/c-opts.o) (c-family/c-pch.o, prefix.o, version.o, lto-compress.o, toplev.o) (intl.o, cppbuiltin.o, cppdefault.o): Remove explicit compilation rules. (lto-wrapper$(exeext)): Use $(LINKER) not $(COMPILER). ada: * gcc-interface/Make-lang.in (CFLAGS-ada/tracebak.o) (CFLAGS-ada/targext.o, CFLAGS-ada/cio.o, CFLAGS-ada/init.o) (CFLAGS-ada/initialize.o, CFLAGS-ada/raise.o): New. (ada/tracebak.o, ada/targext.o, ada/cio.o, ada/init.o) (ada/initialize.o, ada/raise.o): Remove explicit compilation rules. fortran: * Make-lang.in (fortran/cpp.o): Remove explicit compilation rule. go: * Make-lang.in (CFLAGS-go/go-lang.o): New. (go/go-lang.o): Remove explicit compilation rule. java: * Make-lang.in (CFLAGS-java/jcf-io.o, CFLAGS-java/jcf-path.o): New. (java/jcf-io.o, java/jcf-path.o): Remove explicit compilation rules. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178030 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-05 Nicolas Roche <roche@adacore.com>charlet2011-08-051-1/+57
| | | | | | | | | | | * gcc-interface/Makefile.in: Don't use directly ../xgcc to build shared libgnat. Use rather the value of GCC_FOR_TARGET. Fix issue with canadian cross. * gcc-interface/Make-lang.in: Add support for canadian cross setting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177462 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Clean up targets.charlet2011-08-041-16/+18
| | | | | | | | | Enable new package for atomic counters and copy-on-write implementation of unbounded strings on x86 platforms. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177405 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-04 Jose Ruiz <ruiz@adacore.com> charlet2011-08-041-52/+35
| | | | | | | | | * gcc-interface/Makefile.in: Remove xenomai specific versions of system. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177398 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-04 Emmanuel Briot <briot@adacore.com>charlet2011-08-041-42/+42
| | | | | | | | | | | | | | | | | | | | | | | * make.adb, makeutl.adb, makeutl.ads (Make): major refactoring. Create several new subprograms to move code out of Make. This makes the code more readable, removes code duplication, and is a preparation work for adding support for aggregate projects. 2011-08-04 Tristan Gingold <gingold@adacore.com> * s-po32gl.ads, s-po32gl.adb: New files. * exp_ch7.ads (Get_Global_Pool_For_Access_Type): New function. * exp_ch7.adb (Get_Global_Pool_For_Access_Type): New function. (Build_Finalization_Collection): Use it. * exp_ch4.adb (Complete_Controlled_Allocation): Ditto. * rtsfind.ads: System_Pool_32_Global, Re_Global_Pool_32_Object: New literals. * gcc-interface/Makefile.in: Use s-po32gl.o on VMS. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177364 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-04 Robert Dewar <dewar@adacore.com>charlet2011-08-041-6/+7
| | | | | | | | | | * bindgen.adb, einfo.adb, sem_ch12.adb, s-tasren.adb, sem_res.adb, makeutl.adb, prj-nmsc.adb, opt.ads, prj-env.adb: Minor reformatting * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177356 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-04 Yannick Moy <moy@adacore.com>charlet2011-08-041-33/+44
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.adb, einfo.ads (Formal_Proof_On): new flag set on subprogram entities whose body contains an Annotate pragma which forces formal proof on this body. * sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_res.adb: Adapt call to Mark_Non_ALFA_Subprogram to pass in a message and node. * sem_prag.adb (Analyze_Pragma): add treatment of pragma Annotate (Forma_Proof, On) which sets the flag Formal_Proof_On in the surrounding subprogram. * sem_util.adb, sem_util.ads (Mark_Non_ALFA_Subprogram, Mark_Non_ALFA_Subprogram_Unconditional): if the subprogram being marked as not in ALFA is annotated with Formal_Proof being On, then an error is issued based on the additional parameters for message and node. * snames.ads-tmpl (Name_Formal_Proof): new name for annotation. * gcc-interface/Make-lang.in: Update dependencies. 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not generate Finalize_Address when CodePeer is enabled. 2011-08-04 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_tmp_name): Use _tempnam() instead of tempnam() as the latter returns a pointer to a static buffer which is deallocated at the end of the routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177328 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Emmanuel Briot <briot@adacore.com>charlet2011-08-031-92/+97
| | | | | | | | | | | | | | | * prj.ads, makeutl.adb, makeutl.ads (Queue.Insert): now also inserts the "roots" for a main. (Fill_From_Project): add support for aggregate projects. Main units in aggregated projects are now automatically added in the list of files to build (although this fails later on in gprbuild, because these files are not using the root proejct tree, so this needs further cleanup) * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177287 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Robert Dewar <dewar@adacore.com>charlet2011-08-031-40/+42
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnatcmd.adb, prj-proc.adb, mlib-prj.adb, prj.adb, makeutl.ads, prj-util.adb, prj-util.ads, prj-conf.adb, prj-env.adb: Minor reformatting. 2011-08-03 Javier Miranda <miranda@adacore.com> * exp_util.adb (Is_VM_By_Copy_Actual): Include N_Slide nodes as actuals that must be passed by copy in VM targets. 2011-08-03 Emmanuel Briot <briot@adacore.com> * prj.ads, prj-nmsc.adb (Files_Htable): removed this htable, which duplicates a similar htable now in the project tree. 2011-08-03 Claire Dross <dross@adacore.com> * a-cfdlli.adb, a-cfhama.adb, a-cfhase.adb, a-cforma.adb, a-cforse.adb, a-cofove.adb ("=", Length, Is_Empty, Clear, Assign, Copy, Element, Replace_Element, Query_Element, Update_Element, Move, Insert, Prepend, Append, Delete, Delete_First, Delete_Last, Reverse_Element, Swap, Splice, First, First_Element, Last, Last_Element, Next, Previous, Find, Reverse_Find, Contains, Has_Element, Iterate, Reverse_Iterate, Capacity, Reserve_Length, Length, Strict_Equal, Left, Right): Data-structure update. 2011-08-03 Arnaud Charlet <charlet@adacore.com> * s-taprop-posix.adb, s-taprop-linux.adb, s-taprop-tru64.adb (ATCB_Key): Removed, not always used. * s-tpopsp-posix.adb, s-tpopsp-posix-foreign.adb (ATCB_Key): Moved from s-taprop-posix.adb. * s-tpopsp-tls.adb: New file. * gcc-interface/Makefile.in: Use TLS implementation of s-tpopsp.adb on x86/x64/ia64/powerpc/sparc Linux. 2011-08-03 Arnaud Charlet <charlet@adacore.com> * system-aix.ads, system-aix64.ads: Set ZCX_By_Default to True. * gcc-interface/Makefile.in: Switch to ZCX by default on AIX ports. 2011-08-03 Thomas Quinot <quinot@adacore.com> * rtsfind.ads, exp_dist.adb, exp_dist.ads (Build_From_Any_Call, Build_To_Any_Call, Build_TypeCode_Call): Fix type selection for mapping integer types to PolyORB types. 2011-08-03 Bob Duff <duff@adacore.com> * sem_ch7.adb: Minor comment clarification. 2011-08-03 Bob Duff <duff@adacore.com> * sem_ch13.adb (Analyze_Enumeration_Representation_Clause): If we get an error analyzing a choice, skip further processing. Further processing could cause a crash or cascade errors. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177262 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-03 Eric Botcazou <ebotcazou@adacore.com>charlet2011-08-031-1015/+1065
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_ugn.texi: Document -Wstack-usage. * gcc-interface/misc.c (enumerate_modes): Add guard for ghost FP modes. 2011-08-03 Thomas Quinot <quinot@adacore.com> * sem_prag.adb Issue an error (not a warning) when a C++ type does not have keyword LIMITED. 2011-08-03 Yannick Moy <moy@adacore.com> * alfa.adb, alfa.ads, alfa_test.adb: New files. * ali.adb (Known_ALI_Lines): add 'C' lines (SCO) and 'F' lines (ALFA) (Scan_ALI): do not issue a fatal error if parsing known lines after Xref section (does not happen in compiler, only if code directly calls Scan_ALI). * get_alfa.adb, get_alfa.ads: New files. * lib-writ.adb, lib-writ.ads (Write_ALI): output ALFA information if needed. * lib-xref-alfa.adb: New file. * lib-xref.adb, lib-xref.ads (Xref_Entry): redefine information needed in cross-references for ALFA. Push ALFA treatments in separated local package. (Enclosing_Subpragram_Or_Package): treat specially subprogram identifiers. Return entity of package body instead of spec. Return Empty for a scope with no location. (Generate_Reference): adapt to new components for ALFA information. Remove the need for D references on definitions. (Is_Local_Reference): moved to ALFA local package (Output_References): extract subfunction as Extract_Source_Name (Output_Local_References): remove procedure, replaced by filtering of cross-references in package ALFA and printing in Put_ALFA. (Write_Entity_Name): remove procedure * lib.adb, lib.ads (Extract_Source_Name): extract here function to print exact name of entity as it appears in source file (Unit_Ref_Table): make type public for use in Lib.Xref.ALFA * put_alfa.adb, put_alfa.ads: New files. * xref_lib.adb (Search_Xref): protect read of cross-references against reading other sections of the ALI file, in gnatxref (Search): protect read of cross-references against reading other sections of the ALI file, in gnatfind. * gcc-interface/Make-lang.in: Update dependencies. 2011-08-03 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb: Minor reformatting. 2011-08-03 Jose Ruiz <ruiz@adacore.com> * s-inmaop-vxworks.adb (Setup_Interrupt_Mask): Do nothing instead of raising an exception. 2011-08-03 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Set_String_Literal_Subtype): if index type is an integer type, always use 1 as the lower bound or string, even if lower bound of context is not static, to handle properly null strings in a non-static context. 2011-08-03 Bob Duff <duff@adacore.com> * sem_prag.adb (Resolve_Aggregate): An array aggregate with 'others' is always legal on the right-hand side of an assignment statement; there is always an applicable index constraint in this case. Therefore, the check for Pkind = N_Assignment_Statement is now unconditional -- it doesn't depend on whether Is_Constrained (Typ). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177239 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependenciescharlet2011-08-021-138/+152
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177191 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2011-08-021-34/+41
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177143 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud