aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface
AgeCommit message (Collapse)AuthorFilesLines
2011-10-13* gcc-interface/Makefile.in: Fix typo.Arnaud Charlet1-1/+1
From-SVN: r179900
2011-10-12Makefile.in (LOOSE_WARN): Delete.Eric Botcazou4-131/+33
gnattools/ * 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. From-SVN: r179878
2011-10-12trans.c (Attribute_to_gnu): Use remove_conversions.Eric Botcazou3-32/+18
* gcc-interface/trans.c (Attribute_to_gnu): Use remove_conversions. (push_range_check_info): Likewise. (gnat_to_gnu) <N_Code_Statement>: Likewise. * gcc-interface/utils2.c (build_unary_op) <INDIRECT_REF>: Likewise. (gnat_invariant_expr): Likewise. * gcc-interface/utils.c (compute_related_constant): Likewise. (max_size): Fix handling of SAVE_EXPR. (remove_conversions): Fix formatting. From-SVN: r179873
2011-10-12ada-tree.h (DECL_LOOP_PARM_P): New flag.Eric Botcazou7-66/+415
* gcc-interface/ada-tree.h (DECL_LOOP_PARM_P): New flag. (DECL_INDUCTION_VAR): New macro. (SET_DECL_INDUCTION_VAR): Likewise. * gcc-interface/gigi.h (convert_to_index_type): Declare. (gnat_invariant_expr): Likewise. * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: If this is a loop parameter, set DECL_LOOP_PARM_P on it. * gcc-interface/misc.c (gnat_print_decl) <VAR_DECL>: If DECL_LOOP_PARM_P is set, print DECL_INDUCTION_VAR instead of DECL_RENAMED_OBJECT. * gcc-interface/trans.c (gnu_loop_label_stack): Delete. (struct range_check_info_d): New type. (struct loop_info_d): Likewise. (gnu_loop_stack): New stack. (Identifier_to_gnu): Set TREE_READONLY flag on the first dereference built for a by-double-ref read-only parameter. If DECL_LOOP_PARM_P is set, do not test DECL_RENAMED_OBJECT. (push_range_check_info): New function. (Loop_Statement_to_gnu): Push a new struct loop_info_d instead of just the label. Reference the label and the iteration variable from it. Build the special induction variable in the unsigned version of the size type, if it is larger than the base type. And attach it to the iteration variable if the latter isn't by-ref. In the iteration scheme case, initialize the invariant conditions in front of the loop if deemed profitable. Use gnu_loop_stack. (gnat_to_gnu) <N_Exit_Statement>: Use gnu_loop_stack. <N_Raise_Constraint_Error>: Always process the reason. In the range check and related cases, and if loop unswitching is enabled, compute invariant conditions and push this information onto the stack. Do not translate again the condition if it has been already translated. * gcc-interface/utils.c (record_global_renaming_pointer): Assert that DECL_LOOP_PARM_P isn't set. (convert_to_index_type): New function. * gcc-interface/utils2.c (build_binary_op) <ARRAY_REF>: Use it in order to convert the index from the base index type to sizetype. (gnat_invariant_expr): New function. From-SVN: r179868
2011-10-11Convert standard builtin functions from being arrays to using a functional ↵Michael Meissner2-6/+4
interface From-SVN: r179820
2011-10-07re PR lto/50492 (Ada bootstrap failure --with-build-config=bootstrap-lto)Eric Botcazou2-9/+17
PR lto/50492 * gcc-interface/gigi.h (gnat_pushdecl): Adjust comment. * gcc-interface/utils.c (global_context): New variable. (gnat_pushdecl): Initialize it and set it as the DECL_CONTEXT of DECLs that are either public external or at top level. Use "No" macro. (end_subprog_body): Call decl_function_context. (rest_of_subprog_body_compilation): Likewise. From-SVN: r179652
2011-10-07gigi.h (gnat_useless_type_conversion): Declare.Eric Botcazou4-16/+370
* gcc-interface/gigi.h (gnat_useless_type_conversion): Declare. (rest_of_subprog_body_compilation): Likewise. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: For renaming, test for useless conversions by means of gnat_useless_type_conversion. * gcc-interface/trans.c: Include bitmap.h and cgraph.h. (language_function): Add named_ret_val and other_ret_val. (f_named_ret_val): New macro. (f_other_ret_val): Likewise. (gigi): Call rest_of_subprog_body_compilation. (struct nrv_data): New structure. (is_nrv_p): New predicate. (prune_nrv_r): New helper function. (prune_nrv_in_block): New function. (finalize_nrv_r): New helper function. (finalize_nrv): New function. (return_value_ok_for_nrv_p): New predicate. (build_return_expr): If optimization is enabled, record candidates for the Named Return Value optimization. (build_function_stub): Call rest_of_subprog_body_compilation. (Subprogram_Body_to_gnu): If optimization is enabled and there are candidates, finalize the Named Return Value optimization. Call rest_of_subprog_body_compilation. (call_to_gnu): At the end, if a return value is needed, simplify the result before wrapping it up in a COMPOUND_EXPR. * gcc-interface/utils.c (end_subprog_body): Split into... (rest_of_subprog_body_compilation): ...this. New function. (gnat_useless_type_conversion): Likewise. From-SVN: r179650
2011-10-06[multiple changes]Arnaud Charlet1-33/+3
2011-10-06 Thomas Quinot <quinot@adacore.com> * einfo.ads, exp_attr.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb, exp_ch9.adb, exp_ch9.ads, exp_strm.adb, exp_util.adb, freeze.adb, g-debpoo.ads, opt.ads, par-ch12.adb, par-ch2.adb, par-ch3.adb, par-ch5.adb, par-ch6.adb, sem_aggr.adb, sem_attr.adb, sem_cat.adb, sem_ch10.adb, sem_ch12.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_intr.adb, sem_res.ads, sem_type.adb, sem_util.adb, s-regpat.adb, s-tpopde-vms.ads: Minor reformatting. * s-osinte-freebsd.ads: Fix for tasking failures on FreeBSD. 2011-10-06 Ed Schonberg <schonberg@adacore.com> * a-cihase.adb, a-ciorma.adb: Avoid accessibility checks in container references. 2011-10-06 Matthew Heaney <heaney@adacore.com> * a-cuprqu.ads, a-cuprqu.adb, a-cbprqu.ads, a-cbprqu.adb (Dequeue_Only_High_Priority): Protected procedure now implemented. 2011-10-06 Vincent Celier <celier@adacore.com> * g-trasym.adb: Replace old implementation with the default implementation that returns list of addresses as "0x...". * g-trasym.ads: Update the list of platforms with the full capability. Indicate that there is a default implementation for other platforms. * g-trasym-unimplemented.ads, g-trasym-unimplemented.adb: Remove. * gcc-interface/Makefile.in: Remove g-trasym-unimplemented, as there is now a default implementation for all platforms without the full capability. From-SVN: r179631
2011-09-30Partial reversion of r179358.Iain Sandoe1-1/+3
ada: Partial reversion of r179358. * gcc-interface/Makefile.in (Darwin): Partial reversion of previous change to powerpc section. From-SVN: r179384
2011-09-29Makefile.in (Darwin): Factor LIBGNAT_TARGET_PAIRS across the port.Iain Sandoe1-35/+15
ada: * gcc-interface/Makefile.in (Darwin): Factor LIBGNAT_TARGET_PAIRS across the port. From-SVN: r179358
2011-09-27a-cbhase.adb, [...]: Add iterator machinery to bounded sets and indefinite sets.Ed Schonberg2-60/+30
2011-09-27 Ed Schonberg <schonberg@adacore.com> * 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. From-SVN: r179260
2011-09-26utils2.c (build_allocator): Set TREE_THIS_NOTRAP on the dereference of the ↵Eric Botcazou1-42/+32
pointer to the storage area. * gcc-interface/utils2.c (build_allocator): Set TREE_THIS_NOTRAP on the dereference of the pointer to the storage area. Remove useless type conversions and factor out common code. From-SVN: r179187
2011-09-26utils.c (maybe_unconstrained_array): Declare TYPE local variable and use it ↵Eric Botcazou1-32/+31
throughout. * gcc-interface/utils.c (maybe_unconstrained_array): Declare TYPE local 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. From-SVN: r179186
2011-09-26gigi.h (create_subprog_decl): Replace TREE_CHAIN with DECL_CHAIN in comment.Eric Botcazou3-19/+19
* gcc-interface/gigi.h (create_subprog_decl): Replace TREE_CHAIN with 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. From-SVN: r179185
2011-09-26trans.c (assoc_to_constructor): Minor tweaks.Eric Botcazou2-42/+38
* gcc-interface/trans.c (assoc_to_constructor): Minor tweaks. * 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. From-SVN: r179184
2011-09-26ada-tree.h (DECL_CAN_NEVER_BE_NULL_P): New macro.Eric Botcazou4-59/+81
* gcc-interface/ada-tree.h (DECL_CAN_NEVER_BE_NULL_P): New macro. * 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. From-SVN: r179182
2011-09-26ada-tree.h (TYPE_NULL_BOUNDS): New macro.Eric Botcazou5-22/+134
* gcc-interface/ada-tree.h (TYPE_NULL_BOUNDS): New macro. (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. From-SVN: r179180
2011-09-25ada-tree.h (TREE_THIS_NOTRAP): Redefine.Eric Botcazou3-40/+64
* gcc-interface/ada-tree.h (TREE_THIS_NOTRAP): Redefine. * 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. From-SVN: r179171
2011-09-25trans.c (Loop_Statement_to_gnu): In the case of an iteration scheme...Eric Botcazou1-60/+99
* gcc-interface/trans.c (Loop_Statement_to_gnu): In the case of an iteration scheme, always generate the do-while form if optimization is enabled. Use more straightforward test at the end. From-SVN: r179169
2011-09-25decl.c (gnat_to_gnu_entity): Use XNEW instead of xmalloc.Eric Botcazou3-75/+59
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Subtype>: Use 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. From-SVN: r179168
2011-09-25decl.c (gnat_to_gnu_entity): Do not promote the alignment if this doesn't ↵Eric Botcazou1-5/+19
prevent BLKmode access to the object. * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not promote the alignment if this doesn't prevent BLKmode access to the object. From-SVN: r179167
2011-09-24ada, remove flat_namespace library option from darwin port build/defaults :Iain Sandoe1-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. From-SVN: r179148
2011-09-19decl.c (annotate_value): Look up expression for insertion in the cache at ↵Alexandre Oliva1-7/+19
the end. * gcc-interface/decl.c (annotate_value): Look up expression for insertion in the cache at the end. From-SVN: r178970
2011-09-19Update dependencies.Arnaud Charlet1-53/+54
From-SVN: r178964
2011-09-15Update dependencies.Arnaud Charlet1-15/+15
From-SVN: r178879
2011-09-11utils.c (maybe_unconstrained_array): In the reference to unconstrained array ↵Eric Botcazou2-11/+44
case, deal with each branch of a COND_EXPR. * gcc-interface/utils.c (maybe_unconstrained_array): In the reference 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. From-SVN: r178766
2011-09-11decl.c (maybe_pad_type): Do not try to change the form of an addressable type.Eric Botcazou2-0/+23
* gcc-interface/decl.c (maybe_pad_type): Do not try to change the form 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. From-SVN: r178764
2011-09-11trans.c (call_to_gnu): Use local variable.Eric Botcazou1-15/+10
* gcc-interface/trans.c (call_to_gnu): Use local variable. Make sure this is a real formal parameter before testing whether it is by ref. From-SVN: r178763
2011-09-11gigi.h (build_call_0_expr): Delete.Eric Botcazou4-110/+71
* gcc-interface/gigi.h (build_call_0_expr): Delete. (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. From-SVN: r178762
2011-09-11trans.c (build_return_expr): Use void_type_node for MODIFY_EXPR.Eric Botcazou2-6/+12
* gcc-interface/trans.c (build_return_expr): Use void_type_node for 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. From-SVN: r178761
2011-09-08utils.c (unchecked_convert): Use a field of the right precision when ↵Eric Botcazou1-8/+29
converting to or from an integral type... * gcc-interface/utils.c (unchecked_convert): Use a field of the right precision when converting to or from an integral type whose precision is not equal to its size. From-SVN: r178711
2011-09-07restore powerpc-darwin Ada boostrap.Iain Sandoe1-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. From-SVN: r178630
2011-09-06Makefile.in (gnatlib-shared-darwin): Remove reference to "-lm".Iain Sandoe1-1/+1
* gcc-interface/Makefile.in (gnatlib-shared-darwin): Remove reference to "-lm". From-SVN: r178608
2011-09-06Makefile.in (darwin, SO_OPTS): Provide architecture size switches to the ↵Iain Sandoe1-1/+3
link phase for shared libs. * gcc-interface/Makefile.in (darwin, SO_OPTS): Provide architecture size switches to the link phase for shared libs. From-SVN: r178606
2011-09-06Makefile.in (x86_64 darwin arch): Adjust LIBGNAT_TARGET_PAIRS for x86 and ↵Iain Sandoe1-5/+6
x86_64 variants. * gcc-interface/Makefile.in (x86_64 darwin arch): Adjust LIBGNAT_TARGET_PAIRS for x86 and x86_64 variants. From-SVN: r178605
2011-09-06Makefile.in, [...] (gnattools, [...]): New targets.Arnaud Charlet2-6/+94
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in (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. From-SVN: r178600
2011-09-06Makefile.in: Handle e500v2-wrs-vxworksae like powerpc-wrs-vxworksae.Tristan Gingold1-1/+1
2011-09-06 Tristan Gingold <gingold@adacore.com> * gcc-interface/Makefile.in: Handle e500v2-wrs-vxworksae like powerpc-wrs-vxworksae. From-SVN: r178592
2011-09-06Makefile.in (common-tools, [...]): Speed up by using -j0.Arnaud Charlet1-5/+7
* gcc-interface/Makefile.in (common-tools, gnatmake-re, gnatlink-re): Speed up by using -j0. From-SVN: r178586
2011-09-06[multiple changes]Arnaud Charlet1-0/+14
2011-09-06 Robert Dewar <dewar@adacore.com> * 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. From-SVN: r178585
2011-09-06Makefile.in (X86_TARGET_PAIRS): Remove duplicate declaration.Arnaud Charlet1-8/+0
* gcc-interface/Makefile.in (X86_TARGET_PAIRS): Remove duplicate declaration. From-SVN: r178566
2011-09-02[multiple changes]Arnaud Charlet1-34/+36
2011-09-02 Robert Dewar <dewar@adacore.com> * 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. From-SVN: r178462
2011-09-01Makefile.in: Clean up handling of x86 and x86-64 run-time files.Arnaud Charlet2-67/+83
* gcc-interface/Makefile.in: Clean up handling of x86 and x86-64 run-time files. * gcc-interface/Make-lang.in: Update dependencies. From-SVN: r178421
2011-09-01[multiple changes]Arnaud Charlet1-156/+157
2011-09-01 Jose Ruiz <ruiz@adacore.com> * 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. From-SVN: r178414
2011-08-31[multiple changes]Arnaud Charlet1-176/+167
2011-08-31 Pascal Obry <obry@adacore.com> * 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. From-SVN: r178373
2011-08-30ada-tree.h (TYPE_EXTRA_SUBTYPE_P): Add internal check.Eric Botcazou2-3/+3
* gcc-interface/ada-tree.h (TYPE_EXTRA_SUBTYPE_P): Add internal check. * gcc-interface/utils2.c (build_binary_op): Tighten condition. (build_unary_op): Likewise. From-SVN: r178335
2011-08-30raise-gcc.c: Do not include coretypes.h and tm.h.Eric Botcazou1-2/+3
* raise-gcc.c: Do not include coretypes.h and tm.h. (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. From-SVN: r178333
2011-08-30decl.c (gnat_to_gnu_entity): Do not convert the expression to the nominal ↵Eric Botcazou1-4/+16
type if... * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Do not convert 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. Co-Authored-By: Laurent Rougé <laurent.rouge@menta.fr> From-SVN: r178331
2011-08-30Update dependenciesArnaud Charlet1-0/+11
From-SVN: r178322
2011-08-30* gcc-interface/Make-lang.in: Update dependencies.Yannick Moy1-22/+53
From-SVN: r178318
2011-08-29Makefile.in (../stamp-gnatlib1-$(RTSDIR)): Copy tsystem.h into $(RTSDIR) ↵Jakub Jelinek1-1/+1
instead of rts. * gcc-interface/Makefile.in (../stamp-gnatlib1-$(RTSDIR)): Copy tsystem.h into $(RTSDIR) instead of rts. From-SVN: r178259