summaryrefslogtreecommitdiffstats
path: root/gcc/ada/gcc-interface
Commit message (Collapse)AuthorAgeFilesLines
...
* 2011-09-27 Ed Schonberg <schonberg@adacore.com>charlet2011-09-272-60/+30
| | | | | | | | | | | | | | | | | | * 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
* * gcc-interface/utils2.c (build_allocator): Set TREE_THIS_NOTRAP on theebotcazou2011-09-261-42/+32
| | | | | | | | dereference of the pointer to the storage area. Remove useless type conversions and factor out common code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179187 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils.c (maybe_unconstrained_array): Declare TYPE localebotcazou2011-09-261-32/+31
| | | | | | | | | | variable and use it throughout. <UNCONSTRAINED_ARRAY_TYPE>: Add 'break' at the end. <RECORD_TYPE>: Do not unconditionally convert to the unpadded type as a first step. Also convert to the unpadded type as a last step. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179186 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (create_subprog_decl): Replace TREE_CHAIN withebotcazou2011-09-263-19/+19
| | | | | | | | | | | | | | DECL_CHAIN in comment. * gcc-interface/trans.c (gigi): Likewise. (Attribute_to_gnu): Likewise. (build_function_stub): Likewise. (gnat_to_gnu): Likewise. * gcc-interface/utils.c (create_subprog_decl): Likewise. (convert_vms_descriptor64): Likewise. (convert_vms_descriptor32): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179185 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (assoc_to_constructor): Minor tweaks.ebotcazou2011-09-262-42/+38
| | | | | | | | | * gcc-interface/utils2.c (build_simple_component_ref): Fix formatting issues. Use COMPLETE_TYPE_P in assertion. Also set TREE_READONLY if the type of the record is TYPE_READONLY. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179184 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h (DECL_CAN_NEVER_BE_NULL_P): New macro.ebotcazou2011-09-264-59/+81
| | | | | | | | | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Set the flag. (gnat_to_gnu_param): Likewise. * gcc-interface/utils.c (convert) <UNCONSTRAINED_ARRAY_REF>: Invoke maybe_unconstrained_array instead of doing the work manually. (maybe_unconstrained_array): Propagate the TREE_THIS_NOTRAP flag. * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: If operand is a DECL with the flag, set TREE_THIS_NOTRAP on the reference. (gnat_stabilize_reference_1): Propagate the TREE_THIS_NOTRAP flag. (gnat_stabilize_reference): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179182 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h (TYPE_NULL_BOUNDS): New macro.ebotcazou2011-09-265-22/+134
| | | | | | | | | | | | | | | | | | | (SET_TYPE_NULL_BOUNDS): Likewise. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Set again TREE_THIS_NOTRAP on the INDIRECT_REF node built for the template. * gcc-interface/trans.c (Identifier_to_gnu): Return initializers of fat pointer types. * gcc-interface/utils.c (create_var_decl_1): If the object is external, check that the initializer is a valid constant expression for use in initializing a static variable. Add missing guard. (update_pointer_to): Adjust TYPE_NULL_BOUNDS if set. (convert_to_fat_pointer): In the null fat pointer case, build a valid pointer for the bounds. * gcc-interface/utils2.c (compare_fat_pointers): New function. (build_binary_op) <EQ_EXPR>: Call it to compare fat pointers. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179180 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h (TREE_THIS_NOTRAP): Redefine.ebotcazou2011-09-253-40/+64
| | | | | | | | | | | | | * gcc-interface/trans.c (Identifier_to_gnu): Factor out common code in the by-ref case. Do not set TREE_READONLY on a renamed object. Set TREE_THIS_NOTRAP on UNCONSTRAINED_ARRAY_REF nodes. (Attribute_to_gnu) <Attr_Length>: Expand the use of the parameter cache to the indirect case. * gcc-interface/utils.c (convert) <UNCONSTRAINED_ARRAY_REF>: Preserve the TREE_THIS_NOTRAP flag. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179171 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Loop_Statement_to_gnu): In the case of anebotcazou2011-09-251-60/+99
| | | | | | | | iteration scheme, always generate the do-while form if optimization is enabled. Use more straightforward test at the end. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179169 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Subtype>: Useebotcazou2011-09-253-75/+59
| | | | | | | | | | XNEW instead of xmalloc. Do not build useless pointer type. <E_Anonymous_Access_Subprogram_Type>: Use XNEW instead of xmalloc. * gcc-interface/trans.c (gnat_to_gnu) <N_Raise_Constraint_Error>: Tidy. * gcc-interface/utils2.c (build_unary_op): Remove local variable. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179168 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not promoteebotcazou2011-09-251-5/+19
| | | | | | | the alignment if this doesn't prevent BLKmode access to the object. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179167 138bc75d-0d04-0410-961f-82ee72b054a4
* ada, remove flat_namespace library option from darwin port build/defaults :iains2011-09-241-1/+1
| | | | | | | | | | | * gcc-interface/Makefile.in (darwin): Do not issue the '-flat_namespace' linker flag during Ada build. * mlib-tgt-specific-darwin.adb: Remove '-flat_namespace' flag from the default shared library options. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@179148 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (annotate_value): Look up expression foraoliva2011-09-191-7/+19
| | | | | | insertion in the cache at the end. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178970 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/utils.c (maybe_unconstrained_array): In the referenceebotcazou2011-09-112-11/+44
| | | | | | | | | to unconstrained array case, deal with each branch of a COND_EXPR. * gcc-interface/utils2.c (build_allocator): Deal with each branch of a COND_EXPR in the initializer, if present. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178766 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (maybe_pad_type): Do not try to change the formebotcazou2011-09-112-0/+23
| | | | | | | | | of an addressable type. * gcc-interface/trans.c (gnat_gimplify_expr) <VIEW_CONVERT_EXPR>: New. Deal with those cases for which creating a temporary is mandatory. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178764 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (call_to_gnu): Use local variable. Make sureebotcazou2011-09-111-15/+10
| | | | | | | this is a real formal parameter before testing whether it is by ref. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178763 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (build_call_0_expr): Delete.ebotcazou2011-09-114-110/+71
| | | | | | | | | | | | | | | | | | | | | | | | | (build_call_1_expr): Likewise. (build_call_2_expr): Likewise. (build_call_n_expr): New prototype. * gcc-interface/decl.c (gnat_to_gnu_entity): Use build_call_n_expr. * gcc-interface/trans.c (establish_gnat_vms_condition_handler): Ditto. (Handled_Sequence_Of_Statements_to_gnu): Likewise. (Exception_Handler_to_gnu_zcx): Likewise. (gnat_to_gnu): Likewise. (build_binary_op_trapv): Likewise. * gcc-interface/utils2.c (build_call_0_expr): Delete. (build_call_1_expr): Likewise. (build_call_2_expr): Likewise. (build_call_n_expr): New function. (build_call_raise): Use build_call_n_expr. (build_call_raise_range): Likewise. (build_call_raise_column): Likewise. (build_call_alloc_dealloc_proc): Likewise. (maybe_wrap_malloc): Likewise. (maybe_wrap_free): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178762 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (build_return_expr): Use void_type_node forebotcazou2011-09-112-6/+12
| | | | | | | | | | | | MODIFY_EXPR. * gcc-interface/utils2.c (build_binary_op) <MODIFY_EXPR>: Assert that the result type is null if ENABLE_CHECKING. Set operation_type at the end unconditionally if not set in the previous cases. Use build2 and void_type_node for MODIFY_EXPR. (build_allocator): Use NULL_TREE for MODIFY_EXPR. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178761 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/utils.c (unchecked_convert): Use a field of the rightebotcazou2011-09-081-8/+29
| | | | | | | | precision when converting to or from an integral type whose precision is not equal to its size. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178711 138bc75d-0d04-0410-961f-82ee72b054a4
* restore powerpc-darwin Ada boostrap.iains2011-09-071-2/+10
| | | | | | | | | | | | | | | gcc: * config/rs6000/rs6000.c (compute_save_world_info): Test cfun->has_nonlocal_label to determine if the out-of-line save world call may be used. ada: * gcc-interface/Makefile.in (darwin): Provide powerpc64 system implementation. * system-darwin-ppc64.ads: New file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178630 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (gnatlib-shared-darwin): Removeiains2011-09-061-1/+1
| | | | | | | | reference to "-lm". git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178608 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (darwin, SO_OPTS): Provide architectureiains2011-09-061-1/+3
| | | | | | | | size switches to the link phase for shared libs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178606 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (x86_64 darwin arch): Adjust iains2011-09-061-5/+6
| | | | | | | | LIBGNAT_TARGET_PAIRS for x86 and x86_64 variants. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178605 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in, gcc-interface/Make-lang.incharlet2011-09-062-6/+94
| | | | | | | | | | | (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-06 Tristan Gingold <gingold@adacore.com>charlet2011-09-061-1/+1
| | | | | | | | | * gcc-interface/Makefile.in: Handle e500v2-wrs-vxworksae like powerpc-wrs-vxworksae. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178592 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (common-tools, gnatmake-re, charlet2011-09-061-5/+7
| | | | | | | gnatlink-re): Speed up by using -j0. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178586 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-09-06 Robert Dewar <dewar@adacore.com>charlet2011-09-061-0/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * s-tpopsp-vxworks.adb, prj-nmsc.adb: Minor reformatting. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * gcc-interface/trans.c (Attribute_to_gnu): New case for attribute Descriptor_Size. * exp_attr.adb (Expand_N_Attribute_Reference): Add processing for attribute Descriptor_Size. * exp_ch7.adb (Double_Size_Of): Removed. (Make_Finalize_Address_Stmts): Remove the code which generates an expression to calculate the dope vector of an unconstrained array. Instead use attribute Descriptor_Size and leave the calculation to the back end. (Nearest_Multiple_Rounded_Up): Removed. (Size_Of): Removed. * sem_attr.adb (Analyze_Attribute): Add processing for attribute Descriptor_Size. Currently the attribute is applicable only to unconstrained arrays. (Eval_Attribute): Add processing for attribute Descriptor_Size. * snames.ads-tmpl: Add a predefined name and an Attribute_Id for Descriptor_Size. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb: Remove useless formal. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178585 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (X86_TARGET_PAIRS): Remove duplicatecharlet2011-09-061-8/+0
| | | | | | | declaration. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178566 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-012-67/+83
| | | | | | | | 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/ada-tree.h (TYPE_EXTRA_SUBTYPE_P): Add internal check.ebotcazou2011-08-302-3/+3
| | | | | | | | * gcc-interface/utils2.c (build_binary_op): Tighten condition. (build_unary_op): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178335 138bc75d-0d04-0410-961f-82ee72b054a4
* * raise-gcc.c: Do not include coretypes.h and tm.h.ebotcazou2011-08-301-2/+3
| | | | | | | | | (setup_to_install): Remove test for compiler macro. * targext.c: Document use for the library. * gcc-interface/Makefile.in: Fix comment on the use of IN_GCC. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178333 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not convertebotcazou2011-08-301-4/+16
| | | | | | | | the expression to the nominal type if the latter is a record type with a variant part and the type of the former is a record type without one. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178331 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependenciescharlet2011-08-301-0/+11
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178322 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
* * gcc-interface/Makefile.in (../stamp-gnatlib1-$(RTSDIR)): Copyjakub2011-08-291-1/+1
| | | | | | | tsystem.h into $(RTSDIR) instead of rts. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178259 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-292-1243/+1308
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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 Gary Dismukes <dismukes@adacore.com>charlet2011-08-292-3/+37
| | | | | | | | | | | | | | | | | | | | * exp_ch3.adb (Build_Record_Init_Proc.Build_Init_Procedure): Set Exception_Handlers to No_List instead of Empty_List in the case where there are no handlers. 2011-08-29 Tristan Gingold <gingold@adacore.com> * gcc-interface/gigi.h (enum standard_datatypes): Add ADT_reraise_zcx_decl (reraise_zcx_decl): New macro. * gcc-interface/trans.c (gnu_incoming_exc_ptr): New variable. (gigi): Set reraise_zcx_decl. (Exception_Handler_to_gnu_zcx): Save and restore gnu_incoming_exc_ptr. (gnat_to_gnu): Handle N_Raise_Statement. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178212 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-29 Tristan Gingold <gingold@adacore.com>charlet2011-08-291-43/+70
| | | | | | | | | | | | | | | | | | | | | | | | | | * s-interr-hwint.adb: Revert previous patch (defer aborts in ZCX case). 2011-08-29 Geert Bosch <bosch@adacore.com> * a-ngelfu.adb (Tan): Do not raise Constraint_Error if the argument is the closest machine number to Pi / 2.0. 2011-08-29 Jose Ruiz <ruiz@adacore.com> * impunit.adb (Non_Imp_File_Names_12): Add a-synbar for new Ada 2012 package Ada.Synchronous_Barriers. * a-synbar.ads, a-synbar.adb, a-synbar-posix.ads, a-synbar-posix.adb: Add new specs and bodies for Ada.Synchronous_Barriers. There is a default implementation using protected objects and another one a-synbar-posix using POSIX barriers as the underlying support. * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for Linux (x86, x86_64, ia64) and MIPS IRIX): Use the a-synbar-posix implementation of Ada.Synchronous_Barriers which uses POSIX barriers (more efficient). * Makefile.rtl (GNATRTL_TASKING_OBJS): Add a-synbar.o git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178200 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-29 Thomas Quinot <quinot@adacore.com>charlet2011-08-295-33/+39
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Centralize PICFLAG configurationro2011-08-221-14/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | config: * picflag.m4: New file. gcc: * configure.ac (GCC_PICFLAG_FOR_TARGET): Call it. (PICFLAG_FOR_TARGET): Substitute. * aclocal.m4: Regenerate. * configure: Regenerate. gcc/ada: * gcc-interface/Makefile.in (PICFLAG_FOR_TARGET): New. (GNATLIBCFLAGS_FOR_C): Replace TARGET_LIBGCC2_CFLAGS by PICFLAG_FOR_TARGET. (gnatlib-shared-default, gnatlib-shared-dual-win32) (gnatlib-shared-win32, gnatlib-shared-darwin, gnatlib-shared) (gnatlib-sjlj, gnatlib-zcx): Likewise. libada: * configure.ac: Include ../config/picflag.m4. (GCC_PICFLAG): Call it. Substitute. * configure: Regenerate. * Makefile.in (TARGET_LIBGCC2_CFLAGS): Replace by PICFLAG. (GNATLIBCFLAGS_FOR_C): Replace TARGET_LIBGCC2_CFLAGS by PICFLAG. (LIBADA_FLAGS_TO_PASS): Pass PICFLAG as PICFLAG_FOR_TARGET. Don't include $(GCC_DIR)/libgcc.mvars. libiberty: * aclocal.m4: Include ../config/picflag.m4. * configure.ac (GCC_PICFLAG): Call it. (enable_shared): Clear PICFLAG unless shared. * configure: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177967 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (enumerate_modes): Fix formatting.ebotcazou2011-08-072-7/+1
| | | | | | | * gcc-interface/trans.c (Subprogram_Body_to_gnu): Revert latest change. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177548 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (raise-gcc.o): Fix previous change.ebotcazou2011-08-071-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177544 138bc75d-0d04-0410-961f-82ee72b054a4
* 2011-08-05 Nicolas Roche <roche@adacore.com>charlet2011-08-052-7/+69
| | | | | | | | | | | * 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
OpenPOWER on IntegriCloud