gcc/ada/ChangeLog

   1 2018-04-04  Hristian Kirtchev  <kirtchev@adacore.com>
   2
   3         * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not
   4         delegate the secondary stack management when there is no suitable
   5         transient context, and the transient scope was intended to manage the
   6         secondary stack because this causes premature reclamation. Change the
   7         transient scope creation logic by special casing assignment statements
   8         of controlled components for type initialization procedures.
   9         (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update
  10         the comment on usage.
  11         (Find_Transient_Context): Change the initinte loop into a while loop.
  12         Iterations schemes and iterator specifications are not valid transient
  13         contexts because they rely on special processing. Assignment statements
  14         are now treated as a normal transient context, special cases are
  15         handled by the caller. Add special processing for pragma Check.
  16         (Is_OK_Construct): Removed. Its functionality has been merged in
  17         routine Find_Transient_Context.
  18         * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly
  19         retrieve the subprogram being invoked. Use a more accurate predicate
  20         (Requires_Transient_Scope) to determine that the function will emply
  21         the secondary stack.
  22
  23 2018-04-04  Piotr Trojanek  <trojanek@adacore.com>
  24
  25         * ada_get_targ.adb: Fix subprogram body headers.
  26         * adabkend.adb: Likewise.
  27         * checks.adb: Likewise.
  28         * exp_ch3.adb: Likewise.
  29         * exp_ch5.adb: Likewise.
  30         * exp_ch9.adb: Likewise.
  31         * exp_dist.adb: Likewise.
  32         * exp_tss.adb: Likewise.
  33         * inline.adb: Likewise.
  34         * lib-writ.adb: Likewise.
  35         * lib-xref-spark_specific.adb: Likewise.
  36         * libgnarl/s-osinte__darwin.adb: Likewise.
  37         * libgnarl/s-stusta.adb: Likewise.
  38         * libgnarl/s-taprop__solaris.adb: Likewise.
  39         * libgnarl/s-tposen.adb: Likewise.
  40         * libgnarl/s-vxwext__kernel-smp.adb: Likewise.
  41         * libgnarl/s-vxwext__kernel.adb: Likewise.
  42         * libgnat/a-btgbso.adb: Likewise.
  43         * libgnat/a-cfdlli.adb: Likewise.
  44         * libgnat/a-cfhama.adb: Likewise.
  45         * libgnat/a-cfinve.adb: Likewise.
  46         * libgnat/a-cimutr.adb: Likewise.
  47         * libgnat/a-coboho.adb: Likewise.
  48         * libgnat/a-cofove.adb: Likewise.
  49         * libgnat/a-cofuve.adb: Likewise.
  50         * libgnat/a-comutr.adb: Likewise.
  51         * libgnat/a-exexda.adb: Likewise.
  52         * libgnat/a-tags.adb: Likewise.
  53         * libgnat/a-tideau.adb: Likewise.
  54         * libgnat/a-wtdeau.adb: Likewise.
  55         * libgnat/a-ztdeau.adb: Likewise.
  56         * libgnat/g-alleve.adb: Likewise.
  57         * libgnat/s-excdeb.adb: Likewise.
  58         * libgnat/s-parint.adb: Likewise.
  59         * libgnat/s-shasto.adb: Likewise.
  60         * libgnat/s-traceb__hpux.adb: Likewise.
  61         * prepcomp.adb: Likewise.
  62         * sem_ch4.adb: Likewise.
  63         * sem_ch6.adb: Likewise.
  64         * sem_dist.adb: Likewise.
  65         * sem_prag.adb: Likewise.
  66         * sem_util.adb: Likewise.
  67         * sinfo.adb: Likewise.
  68         * switch.adb: Likewise.
  69
  70 2018-05-04  John Marino  <gnugcc@marino.st>
  71
  72         PR ada/85635
  73         * link.c (BSD platforms): Add missing backslash.
  74
  75 2018-04-27  Eric Botcazou  <ebotcazou@adacore.com>
  76
  77         PR ada/85540
  78         * init.c (__gnat_handle_vms_condition): Add missing parentheses.
  79
  80 2018-04-25  Eric Botcazou  <ebotcazou@adacore.com>
  81
  82         PR ada/85007
  83         * gnat_ugn.texi: Regenerate.
  84
  85 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
  86
  87         PR ada/85007
  88         * gnatlink.adb (Gnatlink): Remove handling of -b switch.
  89         * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink):
  90         Remove documentation of -b switch.
  91
  92 2018-03-23  Eric Botcazou  <ebotcazou@adacore.com>
  93
  94         PR ada/85036
  95         * gnatlink.adb (Process_Args): Drop existing link switches if multiple
  96         switches are passed for --LINK.
  97
  98 2018-03-12  Eric Botcazou  <ebotcazou@adacore.com>
  99
 100         PR ada/82813
 101         * gcc-interface/misc.c (gnat_post_options): Disable string overflow
 102         warnings.
 103
 104 2018-03-10  Eric Botcazou  <ebotcazou@adacore.com>
 105
 106         * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>:
 107         Consider only entities for objects.
 108
 109 2018-03-07  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 110
 111         * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant
 112         $(GNATLIBCFLAGS).
 113         (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C).
 114
 115 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 116
 117         * gcc-interface/trans.c (convert_with_check): Fix typo in the condition
 118         guarding the overflow check emitted for the upper bound of a floating-
 119         point conversion.
 120
 121 2018-03-06  Eric Botcazou  <ebotcazou@adacore.com>
 122
 123         * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node.
 124
 125 2018-02-28  Eric Botcazou  <ebotcazou@adacore.com>
 126
 127         * libgnat/i-cexten.ads (Float_128): New type.
 128
 129 2018-02-02  Eric Botcazou  <ebotcazou@adacore.com>
 130
 131         * gcc-interface/decl.c (array_type_has_nonaliased_component): Return
 132         false if the component type is a pointer.
 133
 134 2018-01-11  Gary Dismukes  <dismukes@adacore.com>
 135
 136         * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the
 137         result of Get_Simple_Init_Value and pass the source location of the
 138         object declaration's object_definition.
 139
 140 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 141
 142         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle
 143         properly object declarations with initializations that are
 144         build-in-place function calls, when there is an address specification,
 145         either as an aspect specification or an explicit attribute
 146         specification clause, for the initialized object.
 147         * freeze.adb (Check_Address_Clause): Do not remove side-effects from
 148         initial expressions in the case of a build-in-place call.
 149
 150 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 151
 152         * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
 153         private (sub)type; refactor to avoid early return statement.
 154         (Not_Null_Range): Same as above.
 155
 156 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 157
 158         * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not
 159         concurrent, nor effectively volatile.
 160         * ghost.adb (Check_Ghost_Type): New routine.
 161         * ghost.ads (Check_Ghost_Type): New routine.
 162         * sem_util.adb (Is_Declaration): Reimplemented. The routine can now
 163         consider specific subsets of declarations.
 164         (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is
 165         replicated by Is_Declaration.
 166         * sem_util.ads (Is_Declaration): New parameter profile. Update the
 167         comment on usage.
 168         (Is_Declaration_Other_Than_Renaming): Removed.
 169
 170 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 171
 172         * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act
 173         as Part_Of consituents of single protected types are illegal when they
 174         take place inside a protected function.
 175         (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an
 176         enclosing function.
 177         (Is_Protected_Part_Of_Constituent): New routine.
 178         (Within_Function): New routine.
 179
 180 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 181
 182         Bump copyright notices to 2018.
 183
 184 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 185
 186         * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb:
 187         Minor reformatting.
 188
 189 2018-01-11  Justin Squirek  <squirek@adacore.com>
 190
 191         * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check
 192         to make sure a given expression function is properly parenthesized.
 193
 194 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 195
 196         * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the
 197         categorization of a subprogram body which does not complete a previous
 198         declaration.
 199
 200 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 201
 202         * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing
 203         scope of package Ada is Standard.
 204
 205 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 206
 207         * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a
 208         subcomponent of the current entity when building the body for a dynamic
 209         predicate function for a record with composite subcomponents.
 210
 211 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 212
 213         * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to
 214         Establish_Transient_Scope.
 215         (Convert_To_Assignments): Update the call to Establish_Transient_Scope.
 216         (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope.
 217         * exp_ch6.adb (Expand_Call_Helper): Update the call to
 218         Establish_Transient_Scope.
 219         (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to
 220         Establish_Transient_Scope.
 221         * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the
 222         management of the secondary stack to an enclosing scope if there is no
 223         suitable construct to wrap, and the transient scope was intended to
 224         manage the secondary stack.
 225         (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative
 226         is a valid boundary for a transient expression which comes from the
 227         statements of the alternative, otherwise alternatives cannot be
 228         wrapped. Assignments of controlled objects which have controlled
 229         actions suppressed now stop the traversal as there is no point in
 230         looking for an enclosing construct. Add several N_xxx_Body choices to
 231         the termination conditions for completeness.
 232         * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile
 233         and the associated comment on usage.
 234         * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to
 235         Establish_Transient_Scope.
 236         (Add_Write_After): Update the call to Establish_Transient_Scope.
 237         * sem_res.adb (Check_Initialization_Call): Removed.
 238         (Resolve_Actuals): Account for additional cases where finalization
 239         actions are required by utilizing predicate Needs_Finalization rather
 240         than Is_Controlled.
 241         (Resolve_Call): Type initialization procedures can now utilize
 242         transient scopes to manage the secondary stack, thus preventing leaks
 243         during initialization.  Remove the previous kludgy algorithm which
 244         attempts to manage the secondary stack at the object creation site.
 245
 246 2018-01-11  Jerome Lambourg  <lambourg@adacore.com>
 247
 248         * libgnat/g-soliop__qnx.ads: New.
 249         * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update
 250         for QNX.
 251
 252 2018-01-11  Bob Duff  <duff@adacore.com>
 253
 254         * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if
 255         a null procedure occurs in a protected definition.
 256
 257 2018-01-11  Bob Duff  <duff@adacore.com>
 258
 259         * binderr.ads, namet.ads: Minor reformatting.
 260
 261 2018-01-11  Bob Duff  <duff@adacore.com>
 262
 263         * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of
 264         xml2gnat.
 265
 266 2018-01-11  Bob Duff  <duff@adacore.com>
 267
 268         * binde.adb (Force_Elab_Order): Give an error if there are duplicate
 269         unit names.
 270
 271 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 272
 273         * sem_ch6.adb (Freeze_Expr_Types): If an access value is the
 274         controlling argument of a dispatching call. freeze the corresponding
 275         designated type.
 276
 277 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 278
 279         * doc/Makefile: Add Sphinx option -W to treat warnings as errors.
 280
 281 2018-01-11  Ben Brosgol  <brosgol@adacore.com>
 282
 283         * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
 284         corrections.
 285         * gnat_rm.texi: Regenerate.
 286
 287 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 288
 289         * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the
 290         formsl type corresponding to the actual fixed point type is private,
 291         because in this case there can be no suspicious arithmetic operations
 292         in the generic unless they reference a formal subprogram.  Clarify
 293         warning.
 294
 295 2018-01-11  Javier Miranda  <miranda@adacore.com>
 296
 297         * exp_util.adb (Remove_Side_Effects): No action done for functions
 298         returning class-wide types since it requires generating code using
 299         'reference and the CCG target has no secondary stack.
 300         * gnat1drv.adb: Disable building static dispatch tables when generating
 301         C code.
 302
 303 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 304
 305         * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads,
 306         libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads
 307         (File_Type): Add Default_Initial_Condition aspect.
 308
 309 2018-01-11  Pascal Obry  <obry@adacore.com>
 310
 311         * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation.
 312
 313 2018-01-11  Bob Duff  <duff@adacore.com>
 314
 315         * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation
 316         to match what the Libadalang-based version does.
 317         * doc/gnat_ugn/about_this_guide.rst: Update reference.
 318
 319 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 320
 321         * sem_res.adb (Uses_SS): A controlled type requires the secondary stack
 322         if it contains at least one component declaration employing a function
 323         call returning on the secondary stack.
 324
 325 2018-01-11  Yannick Moy  <moy@adacore.com>
 326
 327         * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
 328         Update description of restriction SPARK_05 with SPARK 2014.
 329         * gnat_rm.texi: Regenerate.
 330
 331 2018-01-11  Vasiliy Fofanov  <fofanov@adacore.com>
 332
 333         * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout.
 334
 335 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 336
 337         * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb,
 338         sem_res.adb, sem_util.adb: Minor reformatting.
 339
 340 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 341
 342         * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type
 343         has a delayed aspect which must be processed at the point the type is
 344         frozen. This mimics what is done when the predicate is provided by a
 345         source aspect.
 346
 347 2018-01-11  Doug Rupp  <rupp@adacore.com>
 348
 349         * init.c (vxworks): Add macro checks for __aarch64__.
 350
 351 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 352
 353         * exp_util.adb (Add_Failure_Expression): New routine.
 354         (Make_Predicate_Check): Reimplement the handling of Predicate_Failure.
 355         * sem_util.adb (Is_Current_Instance): Code cleanup.
 356
 357 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 358
 359         * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded
 360         Default_Sec_Stack_Size.
 361         * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack
 362         limit check so that the integer index does not overflow. Check the
 363         dynamic stack allocation does not cause the secondary stack pointer to
 364         overflow.
 365         (SS_Info): Align colons.
 366         (SS_Init): Cover the case when bootstraping with an old compiler that
 367         does not set Default_SS_Size.
 368
 369 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 370
 371         * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the
 372         legality of an inherited operation that may require overriding, ignore
 373         primitive_wrappers that correspond to explicit operations that override
 374         an interface primitive.
 375         * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the
 376         operation to which the class-wide expression applies is a protected op.
 377         with a primitive_wrapper, verify that the updated inherited expression
 378         does not contain an internal call to a protected function.  This
 379         completes the implementation of AI12-0166.
 380
 381 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 382
 383         * ali.adb: Document the remaining letters available for ALI lines.
 384         (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line.
 385         * ali.ads: Update type With_Record. Field
 386         Implicit_With_From_Instantiation is no longer in use. Add field
 387         Implicit_With.
 388         * csinfo.adb (CSinfo): Remove the setup for attribute
 389         Implicit_With_From_Instantiation.
 390         * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as
 391         either implicitly or explicitly withed.
 392         (Is_Implicit_With_Clause): New routine.
 393         (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid
 394         confusion with the with clause attribute by the same name.
 395         (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers.
 396         * rtsfind.adb (Maybe_Add_With): Code cleanup.
 397         * sem_ch8.adb (Present_System_Aux): Code cleanup.
 398         * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated
 399         for a parent unit.
 400         (Implicit_With_On_Parent): Mark the with clause as generated for a
 401         parent unit.
 402         * sem_ch12.adb (Inherit_Context): With clauses inherited by an
 403         instantiation are no longer marked as Implicit_With_From_Instantiation
 404         because they are already marked as implicit.
 405         * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge
 406         which marks implicit with clauses as related to an instantiation.
 407         * sinfo.adb (Implicit_With_From_Instantiation): Removed.
 408         (Parent_With): New routine.
 409         (Set_Implicit_With_From_Instantiation): Removed.
 410         (Set_Parent_With): New routine.
 411         * sinfo.ads: Update the documentation of attribute Implicit_With.
 412         Remove attribute Implicit_With_From_Instantiation along with
 413         occurrences in nodes.  Add attribute Parent_With along with occurrences
 414         in nodes.
 415         (Implicit_With_From_Instantiation): Removed along with pragma Inline.
 416         (Parent_With): New routine along with pragma Inline.
 417         (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline.
 418         (Set_Parent_With): New routine along with pragma Inline.
 419
 420 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 421
 422         * sem_util.adb (Find_Enclosing_Scope): Return the unique defining
 423         entity when the enclosing construct is a body.
 424
 425 2018-01-11  Patrick Bernardi  <bernardi@adacore.com>
 426
 427         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified
 428         Secondary_Stack_Size handling as a pragma is now generated for the
 429         corresponding aspect instead of an attribute.  Pragma expression is
 430         relocated instead of evaluated. Discriminant of the corresponding
 431         record type is referenced rather than the type discriminant.
 432         (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update
 433         Secondary_Stack_Size rep item checks to only look for the pragma rep.
 434         * sem_ch13.adb (Analyze_One_Aspect): Transform
 435         Aspect_Secondary_Stack_Size into a pragma instead of an attribute
 436         because the attribute does not have visibility on a task type's
 437         discriminants when the type's definition is expanded.
 438         (Analyze_Attribute_Definition_Clause): Remove handling of
 439         Attribute_Secondary_Stack_Size.
 440         * snames.adb-tmpl, snames.ads-tmpl: Remove
 441         Attribute_Secondary_Stack_Size, no longer used.
 442
 443 2018-01-11  Justin Squirek  <squirek@adacore.com>
 444
 445         * sem_ch8.adb: Minor comment fix.
 446
 447 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 448
 449         * exp_ch4.adb (Process_Action): Do not abandon the inspection of an
 450         individual action because the action may denote a complex expression,
 451         such as a case statement, which in turn may contain additional
 452         transient objects.
 453
 454 2018-01-11  Ed Schonberg  <schonberg@adacore.com>
 455
 456         * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform
 457         analysis on a copy of the expression with a copy of the index variable,
 458         because full expansion will rewrite construct into a loop with the
 459         original loop variable.
 460         * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the
 461         expression is an iterated component association. Full analysis takes
 462         place when construct is rewritten as a loop.
 463         (In_Place_Assign_OK, Safe_Component): An iterated_component_association
 464         is not safe for in-place assignment.
 465         * sem_util.adb (Remove_Entity): Handle properly the case of an isolated
 466         entity with no homonym and no other entity in the scope.
 467
 468 2018-01-11  Justin Squirek  <squirek@adacore.com>
 469
 470         * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error
 471         message to be printed on the pragma argument identifier.
 472
 473 2018-01-11  Hristian Kirtchev  <kirtchev@adacore.com>
 474
 475         * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last
 476         entity of the generated invariant procedure in order to construct a
 477         proper entity chain.
 478
 479 2018-01-11  Piotr Trojanek  <trojanek@adacore.com>
 480
 481         * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in
 482         comment.
 483
 484 2018-01-11  Arnaud Charlet  <charlet@adacore.com>
 485
 486         * einfo.ads, einfo.adb (Activation_Record_Component,
 487         Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity):
 488         Allow E_Discriminant.
 489
 490 2018-01-10  Eric Botcazou  <ebotcazou@adacore.com>
 491
 492         * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check
 493         for atomic access once the component size is taken into account and
 494         also do it if the component type is Atomic or Volatile_Full_Access.
 495
 496 2018-01-04  Eric Botcazou  <ebotcazou@adacore.com>
 497
 498         * gnatvsn.ads: Bump copyright year.
 499
 500 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 501             Alan Hayward  <alan.hayward@arm.com>
 502             David Sherwood  <david.sherwood@arm.com>
 503
 504         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE
 505         as polynomial.
 506
 507 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 508             Alan Hayward  <alan.hayward@arm.com>
 509             David Sherwood  <david.sherwood@arm.com>
 510
 511         * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION
 512         as polynomial.
 513
 514 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 515             Alan Hayward  <alan.hayward@arm.com>
 516             David Sherwood  <david.sherwood@arm.com>
 517
 518         * gcc-interface/utils.c (gnat_types_compatible_p): Handle
 519         polynomial TYPE_VECTOR_SUBPARTS.
 520
 521 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 522             Alan Hayward  <alan.hayward@arm.com>
 523             David Sherwood  <david.sherwood@arm.com>
 524
 525         * gcc-interface/misc.c (enumerate_modes): Handle polynomial
 526         GET_MODE_NUNITS.
 527
 528 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 529
 530         Update copyright years.
 531
 532         * gnat_ugn.texi: Bump @copying's copyright year.
 533         * gnat_rm.texi: Likewise.
 534 \f
 535 Copyright (C) 2018 Free Software Foundation, Inc.
 536
 537 Copying and distribution of this file, with or without modification,
 538 are permitted in any medium without royalty provided the copyright
 539 notice and this notice are preserved.