12019-02-22 Release Manager 2 3 * GCC 8.3.0 released. 4 52019-02-08 Eric Botcazou <ebotcazou@adacore.com> 6 7 * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an 8 operand with VOID_TYPE. 9 102019-02-08 Eric Botcazou <ebotcazou@adacore.com> 11 12 * gcc-interface/trans.c (Loop_Statement_to_gnu): Replace tests on 13 individual flag_unswitch_loops and flag_tree_loop_vectorize switches 14 with test on global optimize switch. 15 (Raise_Error_to_gnu): Likewise. 16 172019-02-07 Eric Botcazou <ebotcazou@adacore.com> 18 19 * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value. 20 212019-01-27 Eric Botcazou <ebotcazou@adacore.com> 22 23 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return 24 the same value for every dimension of a multidimensional array type. 25 262019-01-26 Eric Botcazou <ebotcazou@adacore.com> 27 28 * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use 29 DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned 30 by a call to memset if the LHS is a DECL. 31 322019-01-26 Eric Botcazou <ebotcazou@adacore.com> 33 34 * gcc-interface/trans.c (struct loop_info_d): Remove artificial field. 35 (Loop_Statement_to_gnu): Do not set it. 36 372019-01-26 Eric Botcazou <ebotcazou@adacore.com> 38 39 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on 40 the sign bit instead of on the sign of the value. 41 <PLUS_EXPR>: Turn addition of negative constant into subtraction. 42 <MULT_EXPR>: Add test for degenerate case. 43 <BIT_AND_EXPR>: Simplify. 44 452018-12-23 Iain Sandoe <iain@sandoe.co.uk> 46 47 * adaint.c [__APPLE__] (__gnat_lwp_self): Ensure that the system 48 interface used is available on the target. 49 502018-11-15 Eric Botcazou <ebotcazou@adacore.com> 51 52 * gcc-interface/misc.c (gnat_init_gcc_eh): Do not override the switch 53 -fnon-call-exceptions passed on the command line in -gnatp mode. 54 552018-11-13 Eric Botcazou <ebotcazou@adacore.com> 56 57 * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions 58 for the runtime on platforms where System.Machine_Overflow is true. 59 602018-11-08 Eric Botcazou <ebotcazou@adacore.com> 61 62 * fe.h (Suppress_Checks): Declare. 63 * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions 64 only if checks are not suppressed and -faggressive-loop-optimizations 65 only if they are. 66 * gcc-interface/trans.c (struct loop_info_d): Remove has_checks and 67 warned_aggressive_loop_optimizations fields. 68 (gigi): Do not clear warn_aggressive_loop_optimizations here. 69 (Raise_Error_to_gnu): Do not set has_checks. 70 (gnat_to_gnu) <N_Indexed_Component>: Remove support for aggressive 71 loop optimizations. 72 732018-10-22 Eric Botcazou <ebotcazou@adacore.com> 74 75 * gcc-interface/utils.c (unchecked_convert): Use local variables for 76 the biased and reverse SSO attributes of both types. 77 Further extend the processing of integral types in the presence of 78 reverse SSO to all scalar types. 79 802018-10-22 Eric Botcazou <ebotcazou@adacore.com> 81 82 * gcc-interface/trans.c (Pragma_to_gnu) <Pragma_Inspection_Point>: Use 83 a simple memory constraint in all cases. 84 852018-09-13 Eric Botcazou <ebotcazou@adacore.com> 86 87 Backport from mainline 88 2018-07-31 Eric Botcazou <ebotcazou@adacore.com> 89 90 * libgnarl/s-osinte__solaris.ads (upad64_t): New private type. 91 (mutex_t): Use it for 'lock' and 'data' components. 92 (cond_t): Likewise for 'data' and use single 'flags' component. 93 942018-07-26 Release Manager 95 96 * GCC 8.2.0 released. 97 982018-07-17 Eric Botcazou <ebotcazou@adacore.com> 99 100 * gcc-interface/decl.c (choices_to_gnu): Rename parameters. Deal with 101 an operand of Character type. Factor out range generation to the end. 102 Check that the bounds are literals and convert them to the type of the 103 operand before building the ranges. 104 * gcc-interface/utils.c (make_dummy_type): Minor tweak. 105 (make_packable_type): Propagate TYPE_DEBUG_TYPE. 106 (maybe_pad_type): Likewise. 107 1082018-07-17 Eric Botcazou <ebotcazou@adacore.com> 109 110 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with 111 more rvalues in the expression of a renaming. 112 1132018-07-06 Sebastian Huber <sebastian.huber@embedded-brains.de> 114 115 * libgnat/system-rtems.ads (Frontend_Exceptions): Set to False. 116 (ZCX_By_Default): Set to True. 117 1182018-06-12 Eric Botcazou <ebotcazou@adacore.com> 119 120 * gcc-interface/ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from 121 using TYPE_LANG_FLAG_4 to using TYPE_LANG_FLAG_0. 122 (TYPE_ALIGN_OK): Move around. 123 (TYPE_PADDING_FOR_COMPONENT): Remove superfluous parentheses. 124 * gcc-interface/decl.c (change_qualified_type): Move to... 125 (gnat_to_gnu_entity): Adjust comment. 126 * gcc-interface/gigi.h (change_qualified_type): ...here; make inline. 127 (ceil_pow2): Use ceil_log2. 128 * gcc-interface/utils.c (finish_subprog_decl): Add couple of comments 129 and do not set TREE_SIDE_EFFECTS. 130 (handle_noreturn_attribute): Use change_qualified_type. 131 1322018-06-12 Eric Botcazou <ebotcazou@adacore.com> 133 134 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Do not get 135 the expression of a dispatch table that is not being defined. 136 <E_Record_Subtype>: Remove obsolete kludge. 137 1382018-06-12 Eric Botcazou <ebotcazou@adacore.com> 139 140 * gcc-interface/decl.c (warn_on_field_placement): Use specific wording 141 for discriminants. 142 (warn_on_list_placement): New static function. 143 (components_to_record): Use it to warn on multiple fields in list. 144 1452018-06-12 Eric Botcazou <ebotcazou@adacore.com> 146 147 Backport from mainline 148 2018-06-11 Eric Botcazou <ebotcazou@adacore.com> 149 150 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Reuse the 151 existing fields of a dummy fat pointer type, if any. Clear the 152 TYPE_DECL_SUPPRESS_DEBUG on the fat pointer type after completing it. 153 1542018-06-02 Eric Botcazou <ebotcazou@adacore.com> 155 156 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If this is 157 not a definition, retrieve the expression only if it's a compile-time 158 known value if we are just annotating types. 159 160 * gcc-interface/utils.c (convert): Do not try to upcast properly for a 161 conversion between tagged types in type_annotate_only mode. 162 1632018-06-02 Eric Botcazou <ebotcazou@adacore.com> 164 165 Backport from mainline 166 2018-05-31 Eric Botcazou <ebotcazou@adacore.com> 167 168 * gcc-interface/trans.c (Call_to_gnu): In the by-reference case, if 169 the type of the parameter is an unconstrained array type, convert 170 to the type of the actual before the type of the formal only if the 171 conversion was suppressed earlier. Use in_param and gnu_actual_type 172 local variables throughout, and uniform spelling for In Out or Out. 173 Also remove dead code in the component-by-reference case. 174 1752018-06-02 Eric Botcazou <ebotcazou@adacore.com> 176 177 * gcc-interface/ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro. 178 * gcc-interface/decl.c (gnat_to_gnu_component_type): Cache the padding 179 type built for an aliased component with variable size. 180 1812018-06-02 Eric Botcazou <ebotcazou@adacore.com> 182 183 Backport from mainline 184 2018-05-31 Eric Botcazou <ebotcazou@adacore.com> 185 186 * gcc-interface/trans.c (Call_to_gnu): If this is a function call and 187 there is no target, also create a temporary for the return value for 188 an allocator if the type is an unconstrained record type with default 189 discriminant. 190 1912018-05-04 John Marino <gnugcc@marino.st> 192 193 PR ada/85635 194 * link.c (BSD platforms): Add missing backslash. 195 1962018-05-04 Eric Botcazou <ebotcazou@adacore.com> 197 198 PR ada/85540 199 * init.c (__gnat_handle_vms_condition): Add missing parentheses. 200 2012018-05-02 Release Manager 202 203 * GCC 8.1.0 released. 204 2052018-04-25 Eric Botcazou <ebotcazou@adacore.com> 206 207 PR ada/85007 208 * gnat_ugn.texi: Regenerate. 209 2102018-03-23 Eric Botcazou <ebotcazou@adacore.com> 211 212 PR ada/85007 213 * gnatlink.adb (Gnatlink): Remove handling of -b switch. 214 * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink): 215 Remove documentation of -b switch. 216 2172018-03-23 Eric Botcazou <ebotcazou@adacore.com> 218 219 PR ada/85036 220 * gnatlink.adb (Process_Args): Drop existing link switches if multiple 221 switches are passed for --LINK. 222 2232018-03-12 Eric Botcazou <ebotcazou@adacore.com> 224 225 PR ada/82813 226 * gcc-interface/misc.c (gnat_post_options): Disable string overflow 227 warnings. 228 2292018-03-10 Eric Botcazou <ebotcazou@adacore.com> 230 231 * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>: 232 Consider only entities for objects. 233 2342018-03-07 Sebastian Huber <sebastian.huber@embedded-brains.de> 235 236 * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant 237 $(GNATLIBCFLAGS). 238 (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C). 239 2402018-03-06 Eric Botcazou <ebotcazou@adacore.com> 241 242 * gcc-interface/trans.c (convert_with_check): Fix typo in the condition 243 guarding the overflow check emitted for the upper bound of a floating- 244 point conversion. 245 2462018-03-06 Eric Botcazou <ebotcazou@adacore.com> 247 248 * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node. 249 2502018-02-28 Eric Botcazou <ebotcazou@adacore.com> 251 252 * libgnat/i-cexten.ads (Float_128): New type. 253 2542018-02-02 Eric Botcazou <ebotcazou@adacore.com> 255 256 * gcc-interface/decl.c (array_type_has_nonaliased_component): Return 257 false if the component type is a pointer. 258 2592018-01-11 Gary Dismukes <dismukes@adacore.com> 260 261 * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the 262 result of Get_Simple_Init_Value and pass the source location of the 263 object declaration's object_definition. 264 2652018-01-11 Ed Schonberg <schonberg@adacore.com> 266 267 * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle 268 properly object declarations with initializations that are 269 build-in-place function calls, when there is an address specification, 270 either as an aspect specification or an explicit attribute 271 specification clause, for the initialized object. 272 * freeze.adb (Check_Address_Clause): Do not remove side-effects from 273 initial expressions in the case of a build-in-place call. 274 2752018-01-11 Piotr Trojanek <trojanek@adacore.com> 276 277 * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a 278 private (sub)type; refactor to avoid early return statement. 279 (Not_Null_Range): Same as above. 280 2812018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 282 283 * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not 284 concurrent, nor effectively volatile. 285 * ghost.adb (Check_Ghost_Type): New routine. 286 * ghost.ads (Check_Ghost_Type): New routine. 287 * sem_util.adb (Is_Declaration): Reimplemented. The routine can now 288 consider specific subsets of declarations. 289 (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is 290 replicated by Is_Declaration. 291 * sem_util.ads (Is_Declaration): New parameter profile. Update the 292 comment on usage. 293 (Is_Declaration_Other_Than_Renaming): Removed. 294 2952018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 296 297 * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act 298 as Part_Of consituents of single protected types are illegal when they 299 take place inside a protected function. 300 (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an 301 enclosing function. 302 (Is_Protected_Part_Of_Constituent): New routine. 303 (Within_Function): New routine. 304 3052018-01-11 Arnaud Charlet <charlet@adacore.com> 306 307 Bump copyright notices to 2018. 308 3092018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 310 311 * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb: 312 Minor reformatting. 313 3142018-01-11 Justin Squirek <squirek@adacore.com> 315 316 * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check 317 to make sure a given expression function is properly parenthesized. 318 3192018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 320 321 * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the 322 categorization of a subprogram body which does not complete a previous 323 declaration. 324 3252018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 326 327 * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing 328 scope of package Ada is Standard. 329 3302018-01-11 Ed Schonberg <schonberg@adacore.com> 331 332 * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a 333 subcomponent of the current entity when building the body for a dynamic 334 predicate function for a record with composite subcomponents. 335 3362018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 337 338 * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to 339 Establish_Transient_Scope. 340 (Convert_To_Assignments): Update the call to Establish_Transient_Scope. 341 (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope. 342 * exp_ch6.adb (Expand_Call_Helper): Update the call to 343 Establish_Transient_Scope. 344 (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to 345 Establish_Transient_Scope. 346 * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the 347 management of the secondary stack to an enclosing scope if there is no 348 suitable construct to wrap, and the transient scope was intended to 349 manage the secondary stack. 350 (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative 351 is a valid boundary for a transient expression which comes from the 352 statements of the alternative, otherwise alternatives cannot be 353 wrapped. Assignments of controlled objects which have controlled 354 actions suppressed now stop the traversal as there is no point in 355 looking for an enclosing construct. Add several N_xxx_Body choices to 356 the termination conditions for completeness. 357 * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile 358 and the associated comment on usage. 359 * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to 360 Establish_Transient_Scope. 361 (Add_Write_After): Update the call to Establish_Transient_Scope. 362 * sem_res.adb (Check_Initialization_Call): Removed. 363 (Resolve_Actuals): Account for additional cases where finalization 364 actions are required by utilizing predicate Needs_Finalization rather 365 than Is_Controlled. 366 (Resolve_Call): Type initialization procedures can now utilize 367 transient scopes to manage the secondary stack, thus preventing leaks 368 during initialization. Remove the previous kludgy algorithm which 369 attempts to manage the secondary stack at the object creation site. 370 3712018-01-11 Jerome Lambourg <lambourg@adacore.com> 372 373 * libgnat/g-soliop__qnx.ads: New. 374 * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update 375 for QNX. 376 3772018-01-11 Bob Duff <duff@adacore.com> 378 379 * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if 380 a null procedure occurs in a protected definition. 381 3822018-01-11 Bob Duff <duff@adacore.com> 383 384 * binderr.ads, namet.ads: Minor reformatting. 385 3862018-01-11 Bob Duff <duff@adacore.com> 387 388 * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of 389 xml2gnat. 390 3912018-01-11 Bob Duff <duff@adacore.com> 392 393 * binde.adb (Force_Elab_Order): Give an error if there are duplicate 394 unit names. 395 3962018-01-11 Ed Schonberg <schonberg@adacore.com> 397 398 * sem_ch6.adb (Freeze_Expr_Types): If an access value is the 399 controlling argument of a dispatching call. freeze the corresponding 400 designated type. 401 4022018-01-11 Ben Brosgol <brosgol@adacore.com> 403 404 * doc/Makefile: Add Sphinx option -W to treat warnings as errors. 405 4062018-01-11 Ben Brosgol <brosgol@adacore.com> 407 408 * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording 409 corrections. 410 * gnat_rm.texi: Regenerate. 411 4122018-01-11 Ed Schonberg <schonberg@adacore.com> 413 414 * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the 415 formsl type corresponding to the actual fixed point type is private, 416 because in this case there can be no suspicious arithmetic operations 417 in the generic unless they reference a formal subprogram. Clarify 418 warning. 419 4202018-01-11 Javier Miranda <miranda@adacore.com> 421 422 * exp_util.adb (Remove_Side_Effects): No action done for functions 423 returning class-wide types since it requires generating code using 424 'reference and the CCG target has no secondary stack. 425 * gnat1drv.adb: Disable building static dispatch tables when generating 426 C code. 427 4282018-01-11 Piotr Trojanek <trojanek@adacore.com> 429 430 * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads, 431 libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads 432 (File_Type): Add Default_Initial_Condition aspect. 433 4342018-01-11 Pascal Obry <obry@adacore.com> 435 436 * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation. 437 4382018-01-11 Bob Duff <duff@adacore.com> 439 440 * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation 441 to match what the Libadalang-based version does. 442 * doc/gnat_ugn/about_this_guide.rst: Update reference. 443 4442018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 445 446 * sem_res.adb (Uses_SS): A controlled type requires the secondary stack 447 if it contains at least one component declaration employing a function 448 call returning on the secondary stack. 449 4502018-01-11 Yannick Moy <moy@adacore.com> 451 452 * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: 453 Update description of restriction SPARK_05 with SPARK 2014. 454 * gnat_rm.texi: Regenerate. 455 4562018-01-11 Vasiliy Fofanov <fofanov@adacore.com> 457 458 * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. 459 4602018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 461 462 * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, 463 sem_res.adb, sem_util.adb: Minor reformatting. 464 4652018-01-11 Ed Schonberg <schonberg@adacore.com> 466 467 * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type 468 has a delayed aspect which must be processed at the point the type is 469 frozen. This mimics what is done when the predicate is provided by a 470 source aspect. 471 4722018-01-11 Doug Rupp <rupp@adacore.com> 473 474 * init.c (vxworks): Add macro checks for __aarch64__. 475 4762018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 477 478 * exp_util.adb (Add_Failure_Expression): New routine. 479 (Make_Predicate_Check): Reimplement the handling of Predicate_Failure. 480 * sem_util.adb (Is_Current_Instance): Code cleanup. 481 4822018-01-11 Patrick Bernardi <bernardi@adacore.com> 483 484 * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded 485 Default_Sec_Stack_Size. 486 * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack 487 limit check so that the integer index does not overflow. Check the 488 dynamic stack allocation does not cause the secondary stack pointer to 489 overflow. 490 (SS_Info): Align colons. 491 (SS_Init): Cover the case when bootstraping with an old compiler that 492 does not set Default_SS_Size. 493 4942018-01-11 Ed Schonberg <schonberg@adacore.com> 495 496 * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the 497 legality of an inherited operation that may require overriding, ignore 498 primitive_wrappers that correspond to explicit operations that override 499 an interface primitive. 500 * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the 501 operation to which the class-wide expression applies is a protected op. 502 with a primitive_wrapper, verify that the updated inherited expression 503 does not contain an internal call to a protected function. This 504 completes the implementation of AI12-0166. 505 5062018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 507 508 * ali.adb: Document the remaining letters available for ALI lines. 509 (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line. 510 * ali.ads: Update type With_Record. Field 511 Implicit_With_From_Instantiation is no longer in use. Add field 512 Implicit_With. 513 * csinfo.adb (CSinfo): Remove the setup for attribute 514 Implicit_With_From_Instantiation. 515 * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as 516 either implicitly or explicitly withed. 517 (Is_Implicit_With_Clause): New routine. 518 (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid 519 confusion with the with clause attribute by the same name. 520 (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers. 521 * rtsfind.adb (Maybe_Add_With): Code cleanup. 522 * sem_ch8.adb (Present_System_Aux): Code cleanup. 523 * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated 524 for a parent unit. 525 (Implicit_With_On_Parent): Mark the with clause as generated for a 526 parent unit. 527 * sem_ch12.adb (Inherit_Context): With clauses inherited by an 528 instantiation are no longer marked as Implicit_With_From_Instantiation 529 because they are already marked as implicit. 530 * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge 531 which marks implicit with clauses as related to an instantiation. 532 * sinfo.adb (Implicit_With_From_Instantiation): Removed. 533 (Parent_With): New routine. 534 (Set_Implicit_With_From_Instantiation): Removed. 535 (Set_Parent_With): New routine. 536 * sinfo.ads: Update the documentation of attribute Implicit_With. 537 Remove attribute Implicit_With_From_Instantiation along with 538 occurrences in nodes. Add attribute Parent_With along with occurrences 539 in nodes. 540 (Implicit_With_From_Instantiation): Removed along with pragma Inline. 541 (Parent_With): New routine along with pragma Inline. 542 (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline. 543 (Set_Parent_With): New routine along with pragma Inline. 544 5452018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 546 547 * sem_util.adb (Find_Enclosing_Scope): Return the unique defining 548 entity when the enclosing construct is a body. 549 5502018-01-11 Patrick Bernardi <bernardi@adacore.com> 551 552 * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified 553 Secondary_Stack_Size handling as a pragma is now generated for the 554 corresponding aspect instead of an attribute. Pragma expression is 555 relocated instead of evaluated. Discriminant of the corresponding 556 record type is referenced rather than the type discriminant. 557 (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update 558 Secondary_Stack_Size rep item checks to only look for the pragma rep. 559 * sem_ch13.adb (Analyze_One_Aspect): Transform 560 Aspect_Secondary_Stack_Size into a pragma instead of an attribute 561 because the attribute does not have visibility on a task type's 562 discriminants when the type's definition is expanded. 563 (Analyze_Attribute_Definition_Clause): Remove handling of 564 Attribute_Secondary_Stack_Size. 565 * snames.adb-tmpl, snames.ads-tmpl: Remove 566 Attribute_Secondary_Stack_Size, no longer used. 567 5682018-01-11 Justin Squirek <squirek@adacore.com> 569 570 * sem_ch8.adb: Minor comment fix. 571 5722018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 573 574 * exp_ch4.adb (Process_Action): Do not abandon the inspection of an 575 individual action because the action may denote a complex expression, 576 such as a case statement, which in turn may contain additional 577 transient objects. 578 5792018-01-11 Ed Schonberg <schonberg@adacore.com> 580 581 * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform 582 analysis on a copy of the expression with a copy of the index variable, 583 because full expansion will rewrite construct into a loop with the 584 original loop variable. 585 * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the 586 expression is an iterated component association. Full analysis takes 587 place when construct is rewritten as a loop. 588 (In_Place_Assign_OK, Safe_Component): An iterated_component_association 589 is not safe for in-place assignment. 590 * sem_util.adb (Remove_Entity): Handle properly the case of an isolated 591 entity with no homonym and no other entity in the scope. 592 5932018-01-11 Justin Squirek <squirek@adacore.com> 594 595 * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error 596 message to be printed on the pragma argument identifier. 597 5982018-01-11 Hristian Kirtchev <kirtchev@adacore.com> 599 600 * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last 601 entity of the generated invariant procedure in order to construct a 602 proper entity chain. 603 6042018-01-11 Piotr Trojanek <trojanek@adacore.com> 605 606 * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in 607 comment. 608 6092018-01-11 Arnaud Charlet <charlet@adacore.com> 610 611 * einfo.ads, einfo.adb (Activation_Record_Component, 612 Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity): 613 Allow E_Discriminant. 614 6152018-01-10 Eric Botcazou <ebotcazou@adacore.com> 616 617 * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check 618 for atomic access once the component size is taken into account and 619 also do it if the component type is Atomic or Volatile_Full_Access. 620 6212018-01-04 Eric Botcazou <ebotcazou@adacore.com> 622 623 * gnatvsn.ads: Bump copyright year. 624 6252018-01-03 Richard Sandiford <richard.sandiford@linaro.org> 626 Alan Hayward <alan.hayward@arm.com> 627 David Sherwood <david.sherwood@arm.com> 628 629 * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE 630 as polynomial. 631 6322018-01-03 Richard Sandiford <richard.sandiford@linaro.org> 633 Alan Hayward <alan.hayward@arm.com> 634 David Sherwood <david.sherwood@arm.com> 635 636 * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION 637 as polynomial. 638 6392018-01-03 Richard Sandiford <richard.sandiford@linaro.org> 640 Alan Hayward <alan.hayward@arm.com> 641 David Sherwood <david.sherwood@arm.com> 642 643 * gcc-interface/utils.c (gnat_types_compatible_p): Handle 644 polynomial TYPE_VECTOR_SUBPARTS. 645 6462018-01-03 Richard Sandiford <richard.sandiford@linaro.org> 647 Alan Hayward <alan.hayward@arm.com> 648 David Sherwood <david.sherwood@arm.com> 649 650 * gcc-interface/misc.c (enumerate_modes): Handle polynomial 651 GET_MODE_NUNITS. 652 6532018-01-03 Jakub Jelinek <jakub@redhat.com> 654 655 Update copyright years. 656 657 * gnat_ugn.texi: Bump @copying's copyright year. 658 * gnat_rm.texi: Likewise. 659 660Copyright (C) 2018 Free Software Foundation, Inc. 661 662Copying and distribution of this file, with or without modification, 663are permitted in any medium without royalty provided the copyright 664notice and this notice are preserved. 665