| 2016-04-27 Release Manager |
| |
| * GCC 6.1.0 released. |
| |
| 2016-04-27 Svante Signell <svante.signell@gmail.com> |
| |
| * gcc-interface/Makefile.in (x86 GNU/Hurd): Use s-osinte-gnu.adb. |
| * s-osinte-gnu.ads: Small tweaks. |
| * s-osinte-gnu.adb: New file. |
| |
| 2016-04-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (components_to_record): Restrict the previous |
| change to fields with variable size. |
| |
| 2016-03-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (components_to_record): Add special case for |
| single field with representation clause at offset 0. |
| |
| 2016-03-16 Svante Signell <svante.signell@gmail.com> |
| |
| * gcc-interface/Makefile.in: Add support for x86 GNU/Hurd. |
| * s-osinte-gnu.ads: New file. |
| |
| 2016-03-13 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * system-vxworks-m68k.ads (Stack_Check_Probes): Set to True. |
| (Stack_Check_Limits): Set to False. |
| * system-vxworks-mips.ads (Stack_Check_Probes): Set to True. |
| (Stack_Check_Limits): Set to False. |
| * system-vxworks-ppc.ads (Stack_Check_Probes): Set to True. |
| (Stack_Check_Limits): Set to False. |
| * system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True. |
| (Stack_Check_Limits): Set to False. |
| * system-vxworks-x86.ads (Stack_Check_Probes): Set to True. |
| (Stack_Check_Limits): Set to False. |
| |
| 2016-03-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (statement_node_p): New predicate. |
| (gnat_to_gnu): Invoke it to detect statement nodes. In ASIS mode, do |
| not return dummy results for expressions attached to packed array |
| implementation types. |
| |
| 2016-03-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Always mark |
| the expression of a renaming manually in case #3. |
| |
| 2016-03-02 Dominik Vogt <vogt@linux.vnet.ibm.com> |
| |
| * system-linux-s390.ads: Enable Stack_Check_Probes. |
| * system-linux-s390.ads: Likewise. |
| |
| 2016-02-29 Martin Liska <mliska@suse.cz> |
| |
| * gcc-interface/utils.c (set_reverse_storage_order_on_pad_type): |
| Replace ENABLE_CHECKING macro with flag_checking. |
| |
| 2016-02-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Retrofit |
| handling of unconstrained array types as designated types into common |
| processing. Also handle array types as incomplete designated types. |
| |
| 2016-02-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In |
| ASIS mode, fully lay out the minimal record type. |
| |
| 2016-02-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (finalize_nrv_r): Remove obsolete code. |
| (build_return_expr): Likewise. |
| (Call_to_gnu): If this is a function call and there is no target, |
| create a temporary for the return value for all aggregate types, |
| but never create it for a return statement. Push a binding level |
| around the call in more cases. Remove obsolete code. |
| |
| 2016-02-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/ada-tree.h (DECL_RETURN_VALUE_P): New macro. |
| * gcc-interface/gigi.h (gigi): Remove useless attribute. |
| (gnat_gimplify_expr): Likewise. |
| (gnat_to_gnu_external): Declare. |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Factor out |
| code dealing with the expression of external constants into... |
| Invoke gnat_to_gnu_external instead. |
| <E_Variable>: Invoke gnat_to_gnu_external to translate renamed objects |
| when not for a definition. Deal with COMPOUND_EXPR and variables with |
| DECL_RETURN_VALUE_P set for renamings and with the case of a dangling |
| 'reference to a function call in a renaming. Remove obsolete test and |
| adjust associated comment. |
| * gcc-interface/trans.c (Call_to_gnu): Set DECL_RETURN_VALUE_P on the |
| temporaries created to hold the return value, if any. |
| (gnat_to_gnu_external): ...this. New function. |
| * gcc-interface/utils.c (create_var_decl): Detect a constant created |
| to hold 'reference to function call. |
| * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Add folding |
| for COMPOUND_EXPR in the DECL_RETURN_VALUE_P case. |
| |
| 2016-02-17 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * exp_ch4.adb (Expand_N_Indexed_Component): Activate synchronization if |
| the prefix denotes an entity which Has_Atomic_Components. |
| * gcc-interface/trans.c (node_is_atomic): Return true if the prefix |
| denotes an entity which Has_Atomic_Components. |
| |
| 2016-02-17 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils2.c (gnat_protect_expr): Make a SAVE_EXPR only |
| for fat pointer or scalar types. |
| |
| 2016-02-16 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/gigi.h (maybe_debug_type): New inline function. |
| * gcc-interface/misc.c (gnat_get_array_descr_info): Use it. |
| Call maybe_character_value on the array bounds. Get to the base type |
| of the index type and call maybe_debug_type on it. |
| * gcc-interface/utils.c (finish_character_type): Add special treatment |
| for char_type_node. |
| |
| 2016-02-16 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/misc.c (gnat_enum_underlying_base_type): New function. |
| (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define to above. |
| |
| 2016-02-12 Jakub Jelinek <jakub@redhat.com> |
| |
| * prj-tree.ads: Spelling fixes - behaviour -> behavior and |
| neighbour -> neighbor. |
| * prep.adb: Likewise. |
| * prj.ads: Likewise. |
| * prepcomp.adb: Likewise. |
| * g-socket.ads: Likewise. |
| * s-imgrea.adb: Likewise. |
| * a-calend.adb: Likewise. |
| * exp_disp.adb: Likewise. |
| * doc/gnat_ugn/gnat_utility_programs.rst: Likewise. |
| * g-socket.adb: Likewise. |
| * sem_ch12.adb: Likewise. |
| * terminals.c: Likewise. |
| |
| 2016-02-08 Bernd Schmidt <bschmidt@redhat.com> |
| |
| * gcc-interface/misc.c (gnat_init): Remove second argument in call to |
| build_common_tree_nodes. |
| |
| 2016-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (create_var_decl): Set again DECL_COMMON and |
| DECL_IGNORED_P last. |
| |
| 2016-01-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/gigi.h (enum attr_type): Rename into... |
| (enum attrib_type): ...this. |
| (struct attrib): Adjust. |
| * gcc-interface/decl.c (prepend_one_attribute): Likewise. |
| |
| 2016-01-20 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * exp_ch2.adb (Expand_Current_Value): Make an appropriate character |
| literal if the entity is of a character type. |
| * gcc-interface/lang.opt (fsigned-char): New option. |
| * gcc-interface/misc.c (gnat_handle_option): Accept it. |
| (gnat_init): Adjust comment. |
| * gcc-interface/gigi.h (finish_character_type): New prototype. |
| (maybe_character_type): New inline function. |
| (maybe_character_value): Likewise. |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: For |
| a character of CHAR_TYPE_SIZE, make a signed type if flag_signed_char. |
| Set TYPE_ARTIFICIAL early and call finish_character_type on the type. |
| <E_Enumeration_Subtype>: For a subtype of character with RM_Size and |
| Esize equal to CHAR_TYPE_SIZE, make a signed type if flag_signed_char. |
| Copy TYPE_STRING_FLAG from type to subtype. |
| <E_Array_Type>: Deal with character index types. |
| <E_Array_Subtype>: Likewise. |
| * gcc-interface/trans.c (gigi): Replace unsigned_char_type_node with |
| char_type_node throughout. |
| (build_raise_check): Likewise. |
| (get_type_length): Deal with character types. |
| (Attribute_to_gnu) <Attr_Pos>: Likewise. Remove obsolete range check |
| code. Minor tweak. |
| <Attr_Pred>: Likewise. |
| (Loop_Statement_to_gnu): Likewise. |
| (Raise_Error_to_gnu): Likewise. |
| <N_Indexed_Component>: Deal with character index types. Remove |
| obsolete code. |
| <N_Slice>: Likewise. |
| <N_Type_Conversion>: Deal with character types. Minor tweak. |
| <N_Unchecked_Type_Conversion>: Likewise. |
| <N_In>: Likewise. |
| <N_Op_Eq>: Likewise. |
| (emit_index_check): Delete. |
| * gcc-interface/utils.c (finish_character_type): New function. |
| (gnat_signed_or_unsigned_type_for): Deal with built-in character types. |
| * gcc-interface/utils2.c (expand_sloc): Replace unsigned_char_type_node |
| with char_type_node. |
| (build_call_raise): Likewise. |
| (build_call_raise_column): Likewise. |
| (build_call_raise_range): Likewise. |
| |
| 2016-01-18 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/gigi.h (build_call_raise_column): Adjust prototype. |
| (build_call_raise_range): Likewise. |
| (gnat_unsigned_type): Delete. |
| (gnat_signed_type): Likewise. |
| (gnat_signed_or_unsigned_type_for): New prototype. |
| (gnat_unsigned_type_for): New inline function. |
| (gnat_signed_type_for): Likewise. |
| * gcc-interface/cuintp.c (build_cst_from_int): Call build_int_cst. |
| * gcc-interface/decl.c (gnat_to_gnu_entity): Likewise. |
| (gnat_to_gnu_entity) <E_Array_Type>: Always translate the index types |
| and compute their base type from that. |
| <E_Array_Subtype>: Remove duplicate declaration. |
| * gcc-interface/misc.c (get_array_bit_stride): Call build_int_cst. |
| * gcc-interface/trans.c (get_type_length): Likewise. |
| (Attribute_to_gnu): Likewise. |
| (Loop_Statement_to_gnu): Likewise. |
| (Call_to_gnu): Likewise. |
| (gnat_to_gnu): Call build_real, build_int_cst, gnat_unsigned_type_for |
| and gnat_signed_type_for. Minor tweaks. |
| (build_binary_op_trapv): Likewise. |
| (emit_check): Likewise. |
| (convert_with_check): Likewise. |
| (Raise_Error_to_gnu): Adjust calls to the build_call_raise family of |
| functions. Minor tweaks. |
| (Case_Statement_to_gnu): Remove dead code. |
| (gnat_to_gnu): Call gnat_unsigned_type_for and gnat_signed_type_for. |
| (init_code_table): Minor reordering. |
| * gcc-interface/utils.c (gnat_unsigned_type): Delete. |
| (gnat_signed_type): Likewise. |
| (gnat_signed_or_unsigned_type_for): New function. |
| (unchecked_convert): Use directly the size in the test for precision |
| vs size adjustments. |
| (install_builtin_elementary_types): Call gnat_signed_type_for. |
| * gcc-interface/utils2.c (nonbinary_modular_operation): Call |
| build_int_cst. |
| (build_goto_raise): New function taken from... |
| (build_call_raise): ...here. Call it. |
| (build_call_raise_column): Add KIND parameter and call it. |
| (build_call_raise_range): Likewise. |
| |
| 2016-01-18 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/ada-tree.h (TYPE_IMPLEMENTS_PACKED_ARRAY_P): Rename to |
| (TYPE_IMPL_PACKED_ARRAY_P): ...this. |
| (TYPE_CAN_HAVE_DEBUG_TYPE_P): Do not test TYPE_DEBUG_TYPE. |
| * gcc-interface/decl.c (gnat_to_gnu_entity): Simplify NULL_TREE tests |
| and tweak gnat_encodings tests throughout. |
| (initial_value_needs_conversion): Likewise. |
| (intrin_arglists_compatible_p): Likewise. |
| * gcc-interface/misc.c (gnat_print_type): Likewise. |
| (gnat_get_debug_type): Likewise. |
| (gnat_get_fixed_point_type_info): Likewise. |
| (gnat_get_array_descr_info): Likewise. |
| (get_array_bit_stride): Likewise. |
| (gnat_get_type_bias): Fix formatting. |
| (enumerate_modes): Likewise. |
| * gcc-interface/trans.c (gnat_to_gnu): Likewise. |
| (add_decl_expr): Simplify NULL_TREE test. |
| (end_stmt_group): Likewise. |
| (build_binary_op_trapv): Fix formatting. |
| (get_exception_label): Use switch statement. |
| (init_code_table): Move around. |
| * gcc-interface/utils.c (global_bindings_p): Simplify NULL_TREE test. |
| (gnat_poplevel): Likewise. |
| (gnat_set_type_context): Likewise. |
| (defer_or_set_type_context): Fix formatting. |
| (gnat_pushdecl): Simplify NULL_TREE test. |
| (maybe_pad_type): Likewise. |
| (add_parallel_type): Likewise. |
| (create_range_type): Likewise. |
| (process_deferred_decl_context): Likewise. |
| (convert): Likewise. |
| (def_builtin_1): Likewise. |
| * gcc-interface/utils2.c (find_common_type): Likewise. |
| (build_binary_op): Likewise. |
| (gnat_rewrite_reference): Likewise. |
| (get_inner_constant_reference): Likewise. |
| |
| 2016-01-18 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/69219 |
| * gcc-interface/trans.c (check_inlining_for_nested_subprog): Consider |
| the parent function instead of the current function in order to issue |
| the warning or the error. Add guard for ignored functions. |
| |
| 2016-01-17 Jakub Jelinek <jakub@redhat.com> |
| |
| * adaint.c (__gnat_killprocesstree): Avoid -Wparentheses warning. |
| |
| 2016-01-15 Jakub Jelinek <jakub@redhat.com> |
| |
| * adaint.c (__gnat_locate_exec_on_path): Use const char * instead |
| of char * for path_val to avoid warnings. |
| |
| 2016-01-06 Pierre-Marie de Rodat <derodat@adacore.com> |
| |
| * gcc-interface/utils.c: Bump copyright year. |
| (rest_of_record_type_compilation): Add XVE/XVU parallel types to |
| the current lexical scope. |
| |
| 2016-01-04 Jakub Jelinek <jakub@redhat.com> |
| |
| * gnat_ugn.texi: Bump @copying's copyright year. |
| * gnat_rm.texi: Likewise. |
| |
| 2016-01-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gnatvsn.ads: Bump copyright year. |
| |
| |
| Copyright (C) 2016 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |
