gcc/ada/ChangeLog

   1 2017-07-04  Release Manager
   2
   3         * GCC 6.4.0 released.
   4
   5 2017-03-28  Andreas Schwab  <schwab@suse.de>
   6
   7         Backport from trunk
   8
   9         2017-03-28  Andreas Schwab  <schwab@suse.de>
  10
  11         PR ada/80117
  12         * system-linux-aarch64-ilp32.ads: New file.
  13         * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS_COMMON): Rename
  14         from LIBGNAT_TARGET_PAIRS.
  15         (LIBGNAT_TARGET_PAIRS_32, LIBGNAT_TARGET_PAIRS_64): Define.
  16         (LIBGNAT_TARGET_PAIRS): Use LIBGNAT_TARGET_PAIRS_COMMON, and
  17         LIBGNAT_TARGET_PAIRS_64 or LIBGNAT_TARGET_PAIRS_32 for -mabi=lp64
  18         or -mabi=ilp32, resp.
  19
  20 2017-03-08  Thanassis Tsiodras  <ttsiodras@gmail.com>
  21
  22         PR ada/79903
  23         * socket.c (__gnat_gethostbyaddr): Add missing test for __rtems__.
  24
  25 2017-03-08  Eric Botcazou  <ebotcazou@adacore.com>
  26
  27         PR ada/79945
  28         * system-linux-ppc.ads (Default_Bit_Order): Use Standard's setting.
  29
  30 2017-02-24  Eric Botcazou  <ebotcazou@adacore.com>
  31
  32         * gcc-interface/decl.c (gnat_to_gnu_field): Do not remove the wrapper
  33         around a justified modular type if it doesn't have the same scalar
  34         storage order as the enclosing record type.
  35
  36 2017-02-24  Eric Botcazou  <ebotcazou@adacore.com>
  37
  38         * gcc-interface/trans.c (gnat_to_gnu): Do not apply special handling
  39         of boolean rvalues to function calls.
  40
  41 2017-02-24  Eric Botcazou  <ebotcazou@adacore.com>
  42
  43         * gcc-interface/utils.c (fold_bit_position): New function.
  44         (rest_of_record_type_compilation): Call it instead of bit_position to
  45         compute the field position and remove the call to remove_conversions.
  46         (compute_related_constant): Factor out the multiplication in both
  47         operands, if any, and streamline the final test.
  48
  49 2017-02-24  Eric Botcazou  <ebotcazou@adacore.com>
  50
  51         * gcc-interface/trans.c (return_value_ok_for_nrv_p): Add sanity check.
  52
  53 2017-02-12  John Marino  <gnugcc@marino.st>
  54
  55         * gcc-interface/Makefile.in: Support aarch64-freebsd.
  56
  57 2016-12-21  Release Manager
  58
  59         * GCC 6.3.0 released.
  60
  61 2016-12-07  Eric Botcazou  <ebotcazou@adacore.com>
  62
  63         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Subtype>:
  64         Also call finish_character_type on Character subtypes.
  65         * gcc-interface/utils.c (finish_character_type): Deal with subtypes.
  66
  67 2016-11-22  Uros Bizjak  <ubizjak@gmail.com>
  68
  69         * gcc-interface/Make-lang.in (check-acats): Fix detection
  70         of -j argument.
  71
  72 2016-11-13  Bob Duff  <duff@adacore.com>
  73
  74         * gcc-interface/decl.c (gnat_to_gnu_entity): In assertion about known
  75         Esize, protect with !is_type and change !Unknown_Esize to Known_Esize.
  76
  77 2016-11-13  Eric Botcazou  <ebotcazou@adacore.com>
  78
  79         * gcc-interface/utils2.c (gnat_protect_expr): Also protect only the
  80         address if the expression is the component of a dereference.
  81         Do not use a reference type for the final temporary reference.
  82
  83 2016-11-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
  84
  85         Backport from mainline
  86         2016-10-24  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
  87
  88         * gcc-interface/Make-lang.in (lang_checks_parallelized): New target.
  89         (check_gnat_parallelize): Likewise.
  90
  91 2016-10-17  Eric Botcazou  <ebotcazou@adacore.com>
  92
  93         * system-darwin-ppc64.ads (Support_64_Bit_Divides): Delete.
  94         * system-linux-armeb.ads (Support_64_Bit_Divides): Likewise.
  95         * system-linux-mips.ads (Support_64_Bit_Divides): Likewise.
  96         * system-linux-mips64el.ads (Support_64_Bit_Divides): Likewise.
  97         * system-linux-mipsel.ads (Support_64_Bit_Divides): Likewise.
  98         * system-linux-sparcv9.ads (Support_64_Bit_Divides): Likewise.
  99         * system-rtems.ads (Support_64_Bit_Divides): Likewise.
 100
 101 2016-10-16  Eric Botcazou  <ebotcazou@adacore.com>
 102
 103         * system-aix.ads (Always_Compatible_Rep): Change to False.
 104         * system-aix64.ads (Always_Compatible_Rep): Likewise.
 105         * system-hpux-ia64.ads (Always_Compatible_Rep): Likewise.
 106         * system-hpux.ads (Always_Compatible_Rep): Likewise.
 107         * system-linux-alpha.ads (Always_Compatible_Rep): Likewise.
 108         * system-linux-hppa.ads (Always_Compatible_Rep): Likewise.
 109         * system-linux-ia64.ads (Always_Compatible_Rep): Likewise.
 110         * system-linux-mips.ads (Always_Compatible_Rep): Likewise.
 111         * system-linux-mips64el.ads (Always_Compatible_Rep): Likewise.
 112         * system-linux-mipsel.ads (Always_Compatible_Rep): Likewise.
 113         * system-linux-s390.ads (Always_Compatible_Rep): Likewise.
 114         * system-linux-s390x.ads (Always_Compatible_Rep): Likewise.
 115         * system-linux-sh4.ads (Always_Compatible_Rep): Likewise.
 116         * system-linux-sparc.ads (Always_Compatible_Rep): Likewise.
 117         * system-linux-sparcv9.ads (Always_Compatible_Rep): Likewise.
 118         * system-rtems.ads (Always_Compatible_Rep): Likewise.
 119
 120 2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
 121
 122         Backport from mainline
 123         2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
 124
 125         * system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.
 126         * system-linux-mips.ads (Backend_Overflow_Checks): Likewise.
 127         * system-linux-mips64el.ads (Backend_Overflow_Checks): Likewise.
 128         * system-linux-mipsel.ads (Backend_Overflow_Checks): Likewise.
 129         * system-linux-sparcv9.ads (Backend_Overflow_Checks): Likewise.
 130         * system-rtems.ads (Always_Compatible_Rep): Likewise.
 131
 132         2016-10-11  Eric Botcazou  <ebotcazou@adacore.com>
 133                     Tristan Gingold  <gingold@adacore.com>
 134
 135         * system-linux-ppc64.ads: Delete.
 136         * system-linux-ppc.ads: Make 32-bit/64-bit neutral.
 137         * gcc-interface/Makefile.in (PowerPC/Linux): Simplify.
 138
 139 2016-10-10  Eric Botcazou  <ebotcazou@adacore.com>
 140
 141         * gcc-interface/utils2.c (find_common_type): Do not return the LHS type
 142         if it's an array with non-constant lower bound and the RHS type is an
 143         array with a constant one.
 144
 145 2016-10-10  Eric Botcazou  <ebotcazou@adacore.com>
 146
 147         * gcc-interface/utils.c (convert): For a biased input type, convert the
 148         bias itself to the base type before adding it.
 149
 150 2016-08-22  Release Manager
 151
 152         * GCC 6.2.0 released.
 153
 154 2016-06-13  Eric Botcazou  <ebotcazou@adacore.com>
 155
 156         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with
 157         PLUS_EXPR in the expression of a renaming.
 158
 159 2016-06-11  Eric Botcazou  <ebotcazou@adacore.com>
 160
 161         * gcc-interface/trans.c (Case_Statement_to_gnu): Deal with characters.
 162
 163 2016-06-11  Pierre-Marie de Rodat  <derodat@adacore.com>
 164
 165         * gcc-interface/decl.c (gnat_to_gnu_entity): Do not clobber
 166         gnat_entity_name with temporary names for XUP and XUT types.
 167
 168 2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 169
 170         * gcc-interface/utils.c (gnat_internal_attribute_table): Add support
 171         for noinline and noclone attributes.
 172         (handle_noinline_attribute): New handler.
 173         (handle_noclone_attribute): Likewise.
 174
 175 2016-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 176
 177         * gcc-interface/utils2.c (build_call_alloc_dealloc): Do not substitute
 178         placeholder expressions here but...
 179         * gcc-interface/trans.c (gnat_to_gnu) <N_Free_Statement>: ...here.
 180         Make an exception to the protection of a CALL_EXPR result with an
 181         unconstrained type only in the same cases as Call_to_gnu.
 182
 183 2016-06-01  Simon Wright  <simon@pushface.org>
 184
 185         PR ada/71358
 186         * g-comlin.adb (Display_Section_Help): Do not dereference
 187         Config.Switches if it's null.
 188         (Getopt): Likewise.
 189
 190 2016-05-31  Eric Botcazou  <ebotcazou@adacore.com>
 191
 192         * s-osinte-kfreebsd-gnu.ads (clock_getres): Define.
 193         (Get_Page_Size): Remove duplicate and return int.
 194
 195 2016-05-31  Jan Sommer  <soja-lists@aries.uberspace.de>
 196
 197         PR ada/71317
 198         * s-osinte-rtems.ads (clock_getres): Define.
 199         (Get_Page_Size): Remove duplicate and return int.
 200
 201 2016-05-06  Eric Botcazou  <ebotcazou@adacore.com>
 202
 203         PR ada/70969
 204         * system-darwin-ppc64.ads: Add pragma No_Elaboration_Code_All.
 205         * system-linux-armeb.ads: Likewise.
 206         * system-linux-mips64el.ads: Likewise.
 207         * system-linux-mips.ads: Likewise.
 208         * system-linux-mipsel.ads: Likewise.
 209         * system-linux-ppc64.ads: Likewise.
 210         * system-linux-sparcv9.ads: Likewise.
 211         * system-rtems.ads: Likewise.
 212
 213 2016-05-04  Samuel Thibault  <samuel.thibault@ens-lyon.org>
 214
 215         * s-osinte-gnu.ads (Get_Page_Size): Return int and use getpagesize
 216         instead of __getpagesize.
 217
 218 2016-04-28  Eric Botcazou  <ebotcazou@adacore.com>
 219
 220         PR ada/70900
 221         Backport from mainline
 222         2016-04-18  Ed Schonberg  <schonberg@adacore.com>
 223
 224         * sem_ch6.adb (Process_Formals): Do not set a delay freeze on
 225         a subprogram that returns a class-wide type, if the subprogram
 226         is a compilation unit, because otherwise gigi will treat the
 227         subprogram as external, leading to link errors.
 228
 229 2016-05-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 230
 231         * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.
 232         Honor DESTDIR.
 233
 234 2016-04-28  Eric Botcazou  <ebotcazou@adacore.com>
 235
 236         PR ada/70786
 237         * a-textio.adb (Get_Immediate): Add missing 'not' in expression.
 238
 239 2016-04-28  Eric Botcazou  <ebotcazou@adacore.com>
 240
 241         Backport from mainline
 242         2016-04-27  Eric Botcazou  <ebotcazou@adacore.com>
 243
 244         * gcc-interface/misc.c (gnat_init): Do not call
 245         internal_reference_types.
 246
 247 2016-04-27  Release Manager
 248
 249         * GCC 6.1.0 released.
 250
 251 2016-04-27  Svante Signell  <svante.signell@gmail.com>
 252
 253         * gcc-interface/Makefile.in (x86 GNU/Hurd): Use s-osinte-gnu.adb.
 254         * s-osinte-gnu.ads: Small tweaks.
 255         * s-osinte-gnu.adb: New file.
 256
 257 2016-04-02  Eric Botcazou  <ebotcazou@adacore.com>
 258
 259         * gcc-interface/decl.c (components_to_record): Restrict the previous
 260         change to fields with variable size.
 261
 262 2016-03-27  Eric Botcazou  <ebotcazou@adacore.com>
 263
 264         * gcc-interface/decl.c (components_to_record): Add special case for
 265         single field with representation clause at offset 0.
 266
 267 2016-03-16  Svante Signell  <svante.signell@gmail.com>
 268
 269         * gcc-interface/Makefile.in: Add support for x86 GNU/Hurd.
 270         * s-osinte-gnu.ads: New file.
 271
 272 2016-03-13  Eric Botcazou  <ebotcazou@adacore.com>
 273
 274         * system-vxworks-m68k.ads (Stack_Check_Probes): Set to True.
 275         (Stack_Check_Limits): Set to False.
 276         * system-vxworks-mips.ads (Stack_Check_Probes): Set to True.
 277         (Stack_Check_Limits): Set to False.
 278         * system-vxworks-ppc.ads (Stack_Check_Probes): Set to True.
 279         (Stack_Check_Limits): Set to False.
 280         * system-vxworks-sparcv9.ads (Stack_Check_Probes): Set to True.
 281         (Stack_Check_Limits): Set to False.
 282         * system-vxworks-x86.ads (Stack_Check_Probes): Set to True.
 283         (Stack_Check_Limits): Set to False.
 284
 285 2016-03-07  Eric Botcazou  <ebotcazou@adacore.com>
 286
 287         * gcc-interface/trans.c (statement_node_p): New predicate.
 288         (gnat_to_gnu): Invoke it to detect statement nodes.  In ASIS mode, do
 289         not return dummy results for expressions attached to packed array
 290         implementation types.
 291
 292 2016-03-07  Eric Botcazou  <ebotcazou@adacore.com>
 293
 294         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Always mark
 295         the expression of a renaming manually in case #3.
 296
 297 2016-03-02  Dominik Vogt  <vogt@linux.vnet.ibm.com>
 298
 299         * system-linux-s390.ads: Enable Stack_Check_Probes.
 300         * system-linux-s390.ads: Likewise.
 301
 302 2016-02-29  Martin Liska  <mliska@suse.cz>
 303
 304         * gcc-interface/utils.c (set_reverse_storage_order_on_pad_type):
 305         Replace ENABLE_CHECKING macro with flag_checking.
 306
 307 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 308
 309         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Access_Type>: Retrofit
 310         handling of unconstrained array types as designated types into common
 311         processing.  Also handle array types as incomplete designated types.
 312
 313 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 314
 315         * gcc-interface/decl.c (gnat_to_gnu_entity) <Concurrent types>: In
 316         ASIS mode, fully lay out the minimal record type.
 317
 318 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 319
 320         * gcc-interface/trans.c (finalize_nrv_r): Remove obsolete code.
 321         (build_return_expr): Likewise.
 322         (Call_to_gnu): If this is a function call and there is no target,
 323         create a temporary for the return value for all aggregate types,
 324         but never create it for a return statement.  Push a binding level
 325         around the call in more cases.  Remove obsolete code.
 326
 327 2016-02-29  Eric Botcazou  <ebotcazou@adacore.com>
 328
 329         * gcc-interface/ada-tree.h (DECL_RETURN_VALUE_P): New macro.
 330         * gcc-interface/gigi.h (gigi): Remove useless attribute.
 331         (gnat_gimplify_expr): Likewise.
 332         (gnat_to_gnu_external): Declare.
 333         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Factor out
 334         code dealing with the expression of external constants into...
 335         Invoke gnat_to_gnu_external instead.
 336         <E_Variable>: Invoke gnat_to_gnu_external to translate renamed objects
 337         when not for a definition.  Deal with COMPOUND_EXPR and variables with
 338         DECL_RETURN_VALUE_P set for renamings and with the case of a dangling
 339         'reference to a function call in a renaming.  Remove obsolete test and
 340         adjust associated comment.
 341         * gcc-interface/trans.c (Call_to_gnu): Set DECL_RETURN_VALUE_P on the
 342         temporaries created to hold the return value, if any.
 343         (gnat_to_gnu_external): ...this.  New function.
 344         * gcc-interface/utils.c (create_var_decl): Detect a constant created
 345         to hold 'reference to function call.
 346         * gcc-interface/utils2.c (build_unary_op) <ADDR_EXPR>: Add folding
 347         for COMPOUND_EXPR in the DECL_RETURN_VALUE_P case.
 348
 349 2016-02-17  Eric Botcazou  <ebotcazou@adacore.com>
 350
 351         * exp_ch4.adb (Expand_N_Indexed_Component): Activate synchronization if
 352         the prefix denotes an entity which Has_Atomic_Components.
 353         * gcc-interface/trans.c (node_is_atomic): Return true if the prefix
 354         denotes an entity which Has_Atomic_Components.
 355
 356 2016-02-17  Eric Botcazou  <ebotcazou@adacore.com>
 357
 358         * gcc-interface/utils2.c (gnat_protect_expr): Make a SAVE_EXPR only
 359         for fat pointer or scalar types.
 360
 361 2016-02-16  Eric Botcazou  <ebotcazou@adacore.com>
 362
 363         * gcc-interface/gigi.h (maybe_debug_type): New inline function.
 364         * gcc-interface/misc.c (gnat_get_array_descr_info): Use it.
 365         Call maybe_character_value on the array bounds.  Get to the base type
 366         of the index type and call maybe_debug_type on it.
 367         * gcc-interface/utils.c (finish_character_type): Add special treatment
 368         for char_type_node.
 369
 370 2016-02-16  Eric Botcazou  <ebotcazou@adacore.com>
 371
 372         * gcc-interface/misc.c (gnat_enum_underlying_base_type): New function.
 373         (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define to above.
 374
 375 2016-02-12  Jakub Jelinek  <jakub@redhat.com>
 376
 377         * prj-tree.ads: Spelling fixes - behaviour -> behavior and
 378         neighbour -> neighbor.
 379         * prep.adb: Likewise.
 380         * prj.ads: Likewise.
 381         * prepcomp.adb: Likewise.
 382         * g-socket.ads: Likewise.
 383         * s-imgrea.adb: Likewise.
 384         * a-calend.adb: Likewise.
 385         * exp_disp.adb: Likewise.
 386         * doc/gnat_ugn/gnat_utility_programs.rst: Likewise.
 387         * g-socket.adb: Likewise.
 388         * sem_ch12.adb: Likewise.
 389         * terminals.c: Likewise.
 390
 391 2016-02-08  Bernd Schmidt  <bschmidt@redhat.com>
 392
 393         * gcc-interface/misc.c (gnat_init): Remove second argument in call to
 394         build_common_tree_nodes.
 395
 396 2016-02-08  Eric Botcazou  <ebotcazou@adacore.com>
 397
 398         * gcc-interface/utils.c (create_var_decl): Set again DECL_COMMON and
 399         DECL_IGNORED_P last.
 400
 401 2016-01-28  Eric Botcazou  <ebotcazou@adacore.com>
 402
 403         * gcc-interface/gigi.h (enum attr_type): Rename into...
 404         (enum attrib_type): ...this.
 405         (struct attrib): Adjust.
 406         * gcc-interface/decl.c (prepend_one_attribute): Likewise.
 407
 408 2016-01-20  Eric Botcazou  <ebotcazou@adacore.com>
 409
 410         * exp_ch2.adb (Expand_Current_Value): Make an appropriate character
 411         literal if the entity is of a character type.
 412         * gcc-interface/lang.opt (fsigned-char): New option.
 413         * gcc-interface/misc.c (gnat_handle_option): Accept it.
 414         (gnat_init): Adjust comment.
 415         * gcc-interface/gigi.h (finish_character_type): New prototype.
 416         (maybe_character_type): New inline function.
 417         (maybe_character_value): Likewise.
 418         * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Enumeration_Type>: For
 419         a character of CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
 420         Set TYPE_ARTIFICIAL early and call finish_character_type on the type.
 421         <E_Enumeration_Subtype>: For a subtype of character with RM_Size and
 422         Esize equal to CHAR_TYPE_SIZE, make a signed type if flag_signed_char.
 423         Copy TYPE_STRING_FLAG from type to subtype.
 424         <E_Array_Type>: Deal with character index types.
 425         <E_Array_Subtype>: Likewise.
 426         * gcc-interface/trans.c (gigi): Replace unsigned_char_type_node with
 427         char_type_node throughout.
 428         (build_raise_check): Likewise.
 429         (get_type_length): Deal with character types.
 430         (Attribute_to_gnu) <Attr_Pos>: Likewise.  Remove obsolete range check
 431         code.  Minor tweak.
 432         <Attr_Pred>: Likewise.
 433         (Loop_Statement_to_gnu): Likewise.
 434         (Raise_Error_to_gnu): Likewise.
 435         <N_Indexed_Component>: Deal with character index types.  Remove
 436         obsolete code.
 437         <N_Slice>: Likewise.
 438         <N_Type_Conversion>: Deal with character types.  Minor tweak.
 439         <N_Unchecked_Type_Conversion>: Likewise.
 440         <N_In>: Likewise.
 441         <N_Op_Eq>: Likewise.
 442         (emit_index_check): Delete.
 443         * gcc-interface/utils.c (finish_character_type): New function.
 444         (gnat_signed_or_unsigned_type_for): Deal with built-in character types.
 445         * gcc-interface/utils2.c (expand_sloc): Replace unsigned_char_type_node
 446         with char_type_node.
 447         (build_call_raise): Likewise.
 448         (build_call_raise_column): Likewise.
 449         (build_call_raise_range): Likewise.
 450
 451 2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 452
 453         * gcc-interface/gigi.h (build_call_raise_column): Adjust prototype.
 454         (build_call_raise_range): Likewise.
 455         (gnat_unsigned_type): Delete.
 456         (gnat_signed_type): Likewise.
 457         (gnat_signed_or_unsigned_type_for): New prototype.
 458         (gnat_unsigned_type_for): New inline function.
 459         (gnat_signed_type_for): Likewise.
 460         * gcc-interface/cuintp.c (build_cst_from_int): Call build_int_cst.
 461         * gcc-interface/decl.c (gnat_to_gnu_entity): Likewise.
 462         (gnat_to_gnu_entity) <E_Array_Type>: Always translate the index types
 463         and compute their base type from that.
 464         <E_Array_Subtype>: Remove duplicate declaration.
 465         * gcc-interface/misc.c (get_array_bit_stride): Call build_int_cst.
 466         * gcc-interface/trans.c (get_type_length): Likewise.
 467         (Attribute_to_gnu): Likewise.
 468         (Loop_Statement_to_gnu): Likewise.
 469         (Call_to_gnu): Likewise.
 470         (gnat_to_gnu): Call build_real, build_int_cst, gnat_unsigned_type_for
 471         and gnat_signed_type_for.  Minor tweaks.
 472         (build_binary_op_trapv): Likewise.
 473         (emit_check): Likewise.
 474         (convert_with_check): Likewise.
 475         (Raise_Error_to_gnu): Adjust calls to the build_call_raise family of
 476         functions.  Minor tweaks.
 477         (Case_Statement_to_gnu): Remove dead code.
 478         (gnat_to_gnu): Call gnat_unsigned_type_for and gnat_signed_type_for.
 479         (init_code_table): Minor reordering.
 480         * gcc-interface/utils.c (gnat_unsigned_type): Delete.
 481         (gnat_signed_type): Likewise.
 482         (gnat_signed_or_unsigned_type_for): New function.
 483         (unchecked_convert): Use directly the size in the test for precision
 484         vs size adjustments.
 485         (install_builtin_elementary_types): Call gnat_signed_type_for.
 486         * gcc-interface/utils2.c (nonbinary_modular_operation): Call
 487         build_int_cst.
 488         (build_goto_raise): New function taken from...
 489         (build_call_raise): ...here.  Call it.
 490         (build_call_raise_column): Add KIND parameter and call it.
 491         (build_call_raise_range): Likewise.
 492
 493 2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 494
 495         * gcc-interface/ada-tree.h (TYPE_IMPLEMENTS_PACKED_ARRAY_P): Rename to
 496         (TYPE_IMPL_PACKED_ARRAY_P): ...this.
 497         (TYPE_CAN_HAVE_DEBUG_TYPE_P): Do not test TYPE_DEBUG_TYPE.
 498         * gcc-interface/decl.c (gnat_to_gnu_entity): Simplify NULL_TREE tests
 499         and tweak gnat_encodings tests throughout.
 500         (initial_value_needs_conversion): Likewise.
 501         (intrin_arglists_compatible_p): Likewise.
 502         * gcc-interface/misc.c (gnat_print_type): Likewise.
 503         (gnat_get_debug_type): Likewise.
 504         (gnat_get_fixed_point_type_info): Likewise.
 505         (gnat_get_array_descr_info): Likewise.
 506         (get_array_bit_stride): Likewise.
 507         (gnat_get_type_bias): Fix formatting.
 508         (enumerate_modes): Likewise.
 509         * gcc-interface/trans.c (gnat_to_gnu): Likewise.
 510         (add_decl_expr): Simplify NULL_TREE test.
 511         (end_stmt_group): Likewise.
 512         (build_binary_op_trapv): Fix formatting.
 513         (get_exception_label): Use switch statement.
 514         (init_code_table): Move around.
 515         * gcc-interface/utils.c (global_bindings_p): Simplify NULL_TREE test.
 516         (gnat_poplevel): Likewise.
 517         (gnat_set_type_context): Likewise.
 518         (defer_or_set_type_context): Fix formatting.
 519         (gnat_pushdecl): Simplify NULL_TREE test.
 520         (maybe_pad_type): Likewise.
 521         (add_parallel_type): Likewise.
 522         (create_range_type): Likewise.
 523         (process_deferred_decl_context): Likewise.
 524         (convert): Likewise.
 525         (def_builtin_1): Likewise.
 526         * gcc-interface/utils2.c (find_common_type): Likewise.
 527         (build_binary_op): Likewise.
 528         (gnat_rewrite_reference): Likewise.
 529         (get_inner_constant_reference): Likewise.
 530
 531 2016-01-18  Eric Botcazou  <ebotcazou@adacore.com>
 532
 533         PR ada/69219
 534         * gcc-interface/trans.c (check_inlining_for_nested_subprog): Consider
 535         the parent function instead of the current function in order to issue
 536         the warning or the error.  Add guard for ignored functions.
 537
 538 2016-01-17  Jakub Jelinek  <jakub@redhat.com>
 539
 540         * adaint.c (__gnat_killprocesstree): Avoid -Wparentheses warning.
 541
 542 2016-01-15  Jakub Jelinek  <jakub@redhat.com>
 543
 544         * adaint.c (__gnat_locate_exec_on_path): Use const char * instead
 545         of char * for path_val to avoid warnings.
 546
 547 2016-01-06  Pierre-Marie de Rodat  <derodat@adacore.com>
 548
 549         * gcc-interface/utils.c: Bump copyright year.
 550         (rest_of_record_type_compilation): Add XVE/XVU parallel types to
 551         the current lexical scope.
 552
 553 2016-01-04  Jakub Jelinek  <jakub@redhat.com>
 554
 555         * gnat_ugn.texi: Bump @copying's copyright year.
 556         * gnat_rm.texi: Likewise.
 557
 558 2016-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 559
 560         * gnatvsn.ads: Bump copyright year.
 561
 562 \f
 563 Copyright (C) 2016 Free Software Foundation, Inc.
 564
 565 Copying and distribution of this file, with or without modification,
 566 are permitted in any medium without royalty provided the copyright
 567 notice and this notice are preserved.