mirror of
https://github.com/LIV2/bebbo-gcc.git
synced 2025-12-06 00:23:32 +00:00
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-6-branch@265524 138bc75d-0d04-0410-961f-82ee72b054a4
624 lines
22 KiB
Plaintext
624 lines
22 KiB
Plaintext
2018-10-26 Release Manager
|
||
|
||
* GCC 6.5.0 released.
|
||
|
||
2018-06-02 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
Backport from mainline
|
||
2018-05-31 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (Call_to_gnu): If this is a function call and
|
||
there is no target, also create a temporary for the return value for
|
||
an allocator if the type is an unconstrained record type with default
|
||
discriminant.
|
||
|
||
2018-03-06 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (convert_with_check): Fix typo in the condition
|
||
guarding the overflow check emitted for the upper bound of a floating-
|
||
point conversion.
|
||
|
||
2017-12-14 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_field): Do not set the alignment
|
||
of the enclosing record type if it is not already set.
|
||
|
||
2017-11-10 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils.c (convert) <RECORD_TYPE>: Add comment and do
|
||
not fall through to the next case.
|
||
<ARRAY_TYPE>: Deal specially with a dereference from another array
|
||
type with the same element type.
|
||
|
||
2017-09-15 Martin Liska <mliska@suse.cz>
|
||
|
||
Backport from mainline
|
||
2017-08-29 Martin Liska <mliska@suse.cz>
|
||
|
||
PR other/39851
|
||
* gcc-interface/trans.c (Pragma_to_gnu): Set argument to NULL.
|
||
|
||
2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils.c (unchecked_convert): When the result type is a
|
||
non-biased integral type with size 0, set the result to 0 directly.
|
||
|
||
2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (Call_to_gnu): If this is a function call and
|
||
there is no target, do not create a temporary for the return value for
|
||
an allocator either.
|
||
|
||
2017-09-05 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (pos_to_constructor): Skip conversions to an
|
||
unconstrained array type.
|
||
|
||
2017-07-04 Release Manager
|
||
|
||
* GCC 6.4.0 released.
|
||
|
||
2017-03-28 Andreas Schwab <schwab@suse.de>
|
||
|
||
Backport from trunk
|
||
|
||
2017-03-28 Andreas Schwab <schwab@suse.de>
|
||
|
||
PR ada/80117
|
||
* system-linux-aarch64-ilp32.ads: New file.
|
||
* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS_COMMON): Rename
|
||
from LIBGNAT_TARGET_PAIRS.
|
||
(LIBGNAT_TARGET_PAIRS_32, LIBGNAT_TARGET_PAIRS_64): Define.
|
||
(LIBGNAT_TARGET_PAIRS): Use LIBGNAT_TARGET_PAIRS_COMMON, and
|
||
LIBGNAT_TARGET_PAIRS_64 or LIBGNAT_TARGET_PAIRS_32 for -mabi=lp64
|
||
or -mabi=ilp32, resp.
|
||
|
||
2017-03-08 Thanassis Tsiodras <ttsiodras@gmail.com>
|
||
|
||
PR ada/79903
|
||
* socket.c (__gnat_gethostbyaddr): Add missing test for __rtems__.
|
||
|
||
2017-03-08 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
PR ada/79945
|
||
* system-linux-ppc.ads (Default_Bit_Order): Use Standard's setting.
|
||
|
||
2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_field): Do not remove the wrapper
|
||
around a justified modular type if it doesn't have the same scalar
|
||
storage order as the enclosing record type.
|
||
|
||
2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (gnat_to_gnu): Do not apply special handling
|
||
of boolean rvalues to function calls.
|
||
|
||
2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils.c (fold_bit_position): New function.
|
||
(rest_of_record_type_compilation): Call it instead of bit_position to
|
||
compute the field position and remove the call to remove_conversions.
|
||
(compute_related_constant): Factor out the multiplication in both
|
||
operands, if any, and streamline the final test.
|
||
|
||
2017-02-24 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (return_value_ok_for_nrv_p): Add sanity check.
|
||
|
||
2017-02-12 John Marino <gnugcc@marino.st>
|
||
|
||
* gcc-interface/Makefile.in: Support aarch64-freebsd.
|
||
|
||
2016-12-21 Release Manager
|
||
|
||
* GCC 6.3.0 released.
|
||
|
||
2016-12-07 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Subtype>:
|
||
Also call finish_character_type on Character subtypes.
|
||
* gcc-interface/utils.c (finish_character_type): Deal with subtypes.
|
||
|
||
2016-11-22 Uros Bizjak <ubizjak@gmail.com>
|
||
|
||
* gcc-interface/Make-lang.in (check-acats): Fix detection
|
||
of -j argument.
|
||
|
||
2016-11-13 Bob Duff <duff@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_entity): In assertion about known
|
||
Esize, protect with !is_type and change !Unknown_Esize to Known_Esize.
|
||
|
||
2016-11-13 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils2.c (gnat_protect_expr): Also protect only the
|
||
address if the expression is the component of a dereference.
|
||
Do not use a reference type for the final temporary reference.
|
||
|
||
2016-11-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
||
|
||
Backport from mainline
|
||
2016-10-24 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
||
|
||
* gcc-interface/Make-lang.in (lang_checks_parallelized): New target.
|
||
(check_gnat_parallelize): Likewise.
|
||
|
||
2016-10-17 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* system-darwin-ppc64.ads (Support_64_Bit_Divides): Delete.
|
||
* system-linux-armeb.ads (Support_64_Bit_Divides): Likewise.
|
||
* system-linux-mips.ads (Support_64_Bit_Divides): Likewise.
|
||
* system-linux-mips64el.ads (Support_64_Bit_Divides): Likewise.
|
||
* system-linux-mipsel.ads (Support_64_Bit_Divides): Likewise.
|
||
* system-linux-sparcv9.ads (Support_64_Bit_Divides): Likewise.
|
||
* system-rtems.ads (Support_64_Bit_Divides): Likewise.
|
||
|
||
2016-10-16 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* system-aix.ads (Always_Compatible_Rep): Change to False.
|
||
* system-aix64.ads (Always_Compatible_Rep): Likewise.
|
||
* system-hpux-ia64.ads (Always_Compatible_Rep): Likewise.
|
||
* system-hpux.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-alpha.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-hppa.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-ia64.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-mips.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-mips64el.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-mipsel.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-s390.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-s390x.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-sh4.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-sparc.ads (Always_Compatible_Rep): Likewise.
|
||
* system-linux-sparcv9.ads (Always_Compatible_Rep): Likewise.
|
||
* system-rtems.ads (Always_Compatible_Rep): Likewise.
|
||
|
||
2016-10-11 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
Backport from mainline
|
||
2016-10-11 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.
|
||
* system-linux-mips.ads (Backend_Overflow_Checks): Likewise.
|
||
* system-linux-mips64el.ads (Backend_Overflow_Checks): Likewise.
|
||
* system-linux-mipsel.ads (Backend_Overflow_Checks): Likewise.
|
||
* system-linux-sparcv9.ads (Backend_Overflow_Checks): Likewise.
|
||
* system-rtems.ads (Always_Compatible_Rep): Likewise.
|
||
|
||
2016-10-11 Eric Botcazou <ebotcazou@adacore.com>
|
||
Tristan Gingold <gingold@adacore.com>
|
||
|
||
* system-linux-ppc64.ads: Delete.
|
||
* system-linux-ppc.ads: Make 32-bit/64-bit neutral.
|
||
* gcc-interface/Makefile.in (PowerPC/Linux): Simplify.
|
||
|
||
2016-10-10 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils2.c (find_common_type): Do not return the LHS type
|
||
if it's an array with non-constant lower bound and the RHS type is an
|
||
array with a constant one.
|
||
|
||
2016-10-10 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils.c (convert): For a biased input type, convert the
|
||
bias itself to the base type before adding it.
|
||
|
||
2016-08-22 Release Manager
|
||
|
||
* GCC 6.2.0 released.
|
||
|
||
2016-06-13 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with
|
||
PLUS_EXPR in the expression of a renaming.
|
||
|
||
2016-06-11 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/trans.c (Case_Statement_to_gnu): Deal with characters.
|
||
|
||
2016-06-11 Pierre-Marie de Rodat <derodat@adacore.com>
|
||
|
||
* gcc-interface/decl.c (gnat_to_gnu_entity): Do not clobber
|
||
gnat_entity_name with temporary names for XUP and XUT types.
|
||
|
||
2016-06-06 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils.c (gnat_internal_attribute_table): Add support
|
||
for noinline and noclone attributes.
|
||
(handle_noinline_attribute): New handler.
|
||
(handle_noclone_attribute): Likewise.
|
||
|
||
2016-06-06 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute
|
||
placeholder expressions here but...
|
||
* gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here.
|
||
Make an exception to the protection of a CALL_EXPR result with an
|
||
unconstrained type only in the same cases as Call_to_gnu.
|
||
|
||
2016-06-01 Simon Wright <simon@pushface.org>
|
||
|
||
PR ada/71358
|
||
* g-comlin.adb (Display_Section_Help): Do not dereference
|
||
Config.Switches if it's null.
|
||
(Getopt): Likewise.
|
||
|
||
2016-05-31 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* s-osinte-kfreebsd-gnu.ads (clock_getres): Define.
|
||
(Get_Page_Size): Remove duplicate and return int.
|
||
|
||
2016-05-31 Jan Sommer <soja-lists@aries.uberspace.de>
|
||
|
||
PR ada/71317
|
||
* s-osinte-rtems.ads (clock_getres): Define.
|
||
(Get_Page_Size): Remove duplicate and return int.
|
||
|
||
2016-05-06 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
PR ada/70969
|
||
* system-darwin-ppc64.ads: Add pragma No_Elaboration_Code_All.
|
||
* system-linux-armeb.ads: Likewise.
|
||
* system-linux-mips64el.ads: Likewise.
|
||
* system-linux-mips.ads: Likewise.
|
||
* system-linux-mipsel.ads: Likewise.
|
||
* system-linux-ppc64.ads: Likewise.
|
||
* system-linux-sparcv9.ads: Likewise.
|
||
* system-rtems.ads: Likewise.
|
||
|
||
2016-05-04 Samuel Thibault <samuel.thibault@ens-lyon.org>
|
||
|
||
* s-osinte-gnu.ads (Get_Page_Size): Return int and use getpagesize
|
||
instead of __getpagesize.
|
||
|
||
2016-04-28 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
PR ada/70900
|
||
Backport from mainline
|
||
2016-04-18 Ed Schonberg <schonberg@adacore.com>
|
||
|
||
* sem_ch6.adb (Process_Formals): Do not set a delay freeze on
|
||
a subprogram that returns a class-wide type, if the subprogram
|
||
is a compilation unit, because otherwise gigi will treat the
|
||
subprogram as external, leading to link errors.
|
||
|
||
2016-05-02 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
||
|
||
* gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
|
||
Honor DESTDIR.
|
||
|
||
2016-04-28 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
PR ada/70786
|
||
* a-textio.adb (Get_Immediate): Add missing 'not' in expression.
|
||
|
||
2016-04-28 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
Backport from mainline
|
||
2016-04-27 Eric Botcazou <ebotcazou@adacore.com>
|
||
|
||
* gcc-interface/misc.c (gnat_init): Do not call
|
||
internal_reference_types.
|
||
|
||
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.
|