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