gcc/ada/ChangeLog

   1 2017-01-06  Patrick Bernardi  <bernardi@adacore.com>
   2
   3         * aspect.adb, aspect.ads: Added new aspect Secondary_Stack_Size.
   4         * exp_ch3.adb (Build_Init_Statements): As part of initialising
   5         the value record of a task, set its _Secondary_Stack_Size field
   6         if present.
   7         * exp_ch9.adb (Expand_N_Task_Type_Declaration): Create
   8         a _Secondary_Stack_Size field in the value record of
   9         the task if a Secondary_Stack_Size rep item is present.
  10         (Make_Task_Create_Call): Include secondary stack size
  11         parameter. If No_Secondary_Stack restriction is in place, passes
  12         stack size of 0.
  13         * par-prag.adb, sem_prag.adb, sem_prag.ads: Added new pragma
  14         Secondary_Stack_Size.
  15         * s-secsta.adb, s-secsta.ads (Minimum_Secondary_Stack_Size): New
  16         function to define the overhead of the secondary stack.
  17         * s-tarest.adb (Create_Restricted_Task,
  18         Create_Restricted_Task_Sequential): Functions now include
  19         Secondary_Stack_Size parameter to pass to Initialize_ATCB.
  20         * s-tarest.adb (Create_Restricted_Task,
  21         Create_Restricted_Task_Sequential): Calls to Initialize_ATCB
  22         now include Secondary_Stack_Size parameter.
  23         (Task_Wrapper):
  24         Secondary stack now allocated to the size specified by the
  25         Secondary_Stack_Size parameter in the task's ATCB.
  26         * s-taskin.adb, s-taskin.adb (Common_ATCB, Initialise_ATCB): New
  27         Secondary_Stack_Size component.
  28         * s-tassta.adb, s-tassta.ads (Create_Restricted_Task,
  29         Create_Restricted_Task_Sequential): Function now include
  30         Secondary_Stack_Size parameter.
  31         (Task_Wrapper): Secondary stack
  32         now allocated to the size specified by the Secondary_Stack_Size
  33         parameter in the task's ATCB.
  34         * sem_ch13.adb (Analyze_Aspect_Specification): Add support
  35         for Secondary_Stack_Size aspect, turning the aspect into its
  36         corresponding internal attribute.
  37         (Analyze_Attribute_Definition):
  38         Process Secondary_Stack_Size attribute.
  39         * snames.adb-tmpl, snames.ads-tmpl: Added names
  40         Name_Secondary_Stack_Size, Name_uSecondary_Stack_Size,
  41         Attribute_Secondary_Stack_Size and Pragma_Secondary_Stack_Size.
  42
  43 2017-01-06  Pascal Obry  <obry@adacore.com>
  44
  45         * a-direio.adb, a-direio.ads, a-sequio.adb, a-sequio.ads: Add Flush to
  46         Sequential_IO and Direct_IO.
  47
  48 2017-01-06  Bob Duff  <duff@adacore.com>
  49
  50         * snames.ads-tmpl (Renamed): New name for the pragma argument.
  51         * par-ch2.adb: Allow the new pragma (with analysis deferred
  52         to Sem_Prag).
  53         * sinfo.ads, sinfo.adb (Map_Pragma_Name, Pragma_Name_Mapped):
  54         Keep a mapping from new pragma names to old names.
  55         * sem_prag.adb: Check legality of pragma Rename_Pragma, and
  56         implement it by calling Map_Pragma_Name.
  57         * checks.adb, contracts.adb, einfo.adb, errout.adb,
  58         * exp_attr.adb, exp_ch3.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
  59         * exp_prag.adb, exp_util.adb, freeze.adb, frontend.adb, ghost.adb,
  60         * inline.adb, lib-writ.adb, scans.adb, scans.ads, sem_attr.adb,
  61         * sem_aux.adb, sem_ch10.adb, sem_ch13.adb, sem_ch6.adb, sem_ch9.adb,
  62         * sem_elab.adb, sem_res.adb, sem_util.adb, sem_util.ads,
  63         * sem_warn.adb: Call Pragma_Name_Mapped instead of Pragma_Name
  64         as appropriate.
  65
  66 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
  67
  68         * exp_ch9.adb: Minor reformatting.
  69
  70 2017-01-06  Tristan Gingold  <gingold@adacore.com>
  71
  72         * exp_ch9.ads, exp_ch9.adb (Build_Entry_Names): Remove (unused).
  73         * rtsfind.ads (RE_Task_Entry_Names_Array, RO_ST_Set_Entry_Names)
  74         (RE_Protected_Entry_Names_Array, RO_PE_Set_Entry_Names): Remove
  75         (unused).
  76         * s-taskin.ads, s-taskin.adb (Set_Entry_Names,
  77         Task_Entry_Names_Array, Task_Entry_Names_Access): Remove.
  78         * s-tpoben.ads, s-tpoben.adb (Set_Entry_Names,
  79         Protected_Entry_Names_Array, Protected_Entry_Names_Access): Remove.
  80
  81 2017-01-06  Bob Duff  <duff@adacore.com>
  82
  83         * sinfo.ads, sinfo.adb (Map_Pragma_Name): Preparation work,
  84         dummy implementation of Map_Pragma_Name.
  85
  86 2017-01-06  Tristan Gingold  <gingold@adacore.com>
  87
  88         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Make the
  89         entry_body variable constant.
  90         * s-taprob.ads (Entry_Body_Access): Move to s-tposen.
  91         * s-tpoben.ads (Protected_Entry_Body_Access): Now access
  92         to constant.
  93         * s-tposen.ads (Entry_Body_Access): Moved from s-taprob,
  94         now access to constant.
  95
  96 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
  97
  98         * einfo.ads, sem_res.adb, sem_attr.adb, sem_ch6.adb: Minor
  99         reformatting and typo fixes.
 100
 101 2017-01-06  Bob Duff  <duff@adacore.com>
 102
 103         * snames.ads-tmpl: New names for pragma renaming.
 104         * snames.adb-tmpl (Is_Configuration_Pragma_Name): Minor cleanup.
 105         * par-prag.adb: Add new pragma name to case statement.
 106         * sem_prag.adb (Rename_Pragma): Initial cut at semantic analysis
 107         of the pragma.
 108         * sinfo.ads, sinfo.adb (Pragma_Name_Mapped): Preparation work,
 109         Dummy implementation of Pragma_Name_Mapped.
 110
 111 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 112
 113         * exp_ch6.adb (Expand_Protected_Subprogram_Call): Add guard to
 114         better detect call within an entry_wrapper.
 115         * sem_res.adb (Resolve_Call): A protected call within an
 116         entity_wrapper is analyzed in the context of the protected
 117         object but corresponds to a pre-analysis and is not an access
 118         before elaboration.
 119         * sem_attr.adb: Minor reformatting.
 120
 121 2017-01-06  Justin Squirek  <squirek@adacore.com>
 122
 123         * sem_attr.adb (Analyze_Attribute): Modify semantic checks for
 124         Finalization_Size to allow a prefix of any non-class-wide type.
 125         * sem_attr.ads Modify comment for Finalization_Size to include
 126         definite type use case.
 127
 128 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 129
 130         * einfo.ads, einfo.adb (Is_Entry_Wrapper): New flag, defined
 131         on procedures that are wrappers created for entries that have
 132         preconditions.
 133         * sem_ch6.adb (Analyze_Subrogram_Body_Helper): If the subprogram
 134         body is an entry_wrapper, compile it in the context of the
 135         synchronized type, because a precondition may refer to funtions
 136         of the type.
 137         * exp_ch9.adb (Build_Contract_Wrapper): Set Is_Entry_Wrapper on
 138         body entity.
 139         * exp_ch6.adb (Expand_Protected_Subprogram_Call): if the call is
 140         within an Entry_Wrapper this is an external call whose target
 141         is the synchronized object that is the actual in the call to
 142         the wrapper.
 143
 144 2017-01-06  Yannick Moy  <moy@adacore.com>
 145
 146         * sem_attr.adb (Analyze_Attribute/Attribute_Loop_Entry): Analyze node
 147         in tree, which means not analyzing the previous prefix if the node has
 148         been rewritten into its prefix.
 149
 150 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
 151
 152         * s-tpobop.adb: Minor reformatting.
 153
 154 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 155
 156         * checks.adb (Ensure_Valid): Do not generate a validity check
 157         within a generated predicate function, validity checks will have
 158         been applied earlier when required.
 159
 160 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 161
 162         * s-tpoben.ads (Protection_Entries): Add comment and reorder
 163         components for performances.
 164         * s-tpobop.adb (PO_Do_Or_Queue): Implement Max_Queue_Length runtime
 165         semantic.
 166
 167 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 168
 169         * sem_eval.adb (Check_Expression_Against_Static_Predicate):
 170         If expression is compile-time known and obeys a static predicate
 171         it must be labelled as static, to prevent spurious warnings and
 172         run-time errors, e.g. in case statements. This is relevant when
 173         the expression is the result of constant-folding a type conversion
 174         whose expression is a variable with a known static value.
 175
 176 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 177
 178         * exp_attr.adb, sem_attr.ads: Minor reformatting.
 179
 180 2017-01-06  Justin Squirek  <squirek@adacore.com>
 181
 182         * exp_attr.adb (Expand_N_Attribute_Reference): Add entry for
 183         expansion of Finalization_Size attribute.
 184         * sem_attr.adb (Analyze_Attribute): Add entry to check the
 185         semantics of Finalization_Size.
 186         (Eval_Attribute): Add null entry for Finalization_Size.
 187         * sem_attr.ads: Add Finalization_Size to the implementation
 188         dependent attribute list.
 189         * snames.ads-tmpl: Add name entry for Finalization_Size attribute.
 190
 191 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 192
 193         * sem_ch5.adb (Analyze_Loop_Statement): If the loop includes an
 194         iterator specification with a serious syntactic error, transform
 195         construct into an infinite loop in order to continue analysis
 196         and prevent a compiler abort.
 197
 198 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 199
 200         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Do not generate
 201         max_queue_lengths_array if unused.
 202
 203 2017-01-06  Bob Duff  <duff@adacore.com>
 204
 205         * errout.adb (Set_Msg_Text): Protect against out-of-bounds
 206         array access, in case "\" is at the end of Text.
 207         * stylesw.adb (Set_Style_Check_Options): Don't include input
 208         characters in the error message template, because they could
 209         be control characters such as "\", which Errout will try to
 210         interpret.
 211
 212 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 213
 214         * sem_ch4.adb (Find_Indexing_Operations, Inspect_Declarations):
 215         For a private type examine the visible declarations that follow
 216         the partial view, not just the private declarations that follow
 217         the full view.
 218
 219 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 220
 221         * exp_ch5.adb, sem_ch3.adb, checks.adb: Minor reformatting and
 222         code cleanup.
 223
 224 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 225
 226         * exp_ch5.adb (Get_Default_Iterator): For a derived type, the
 227         alias of the inherited op is the parent iterator, no need to
 228         examine dispatch table positions which might not be established
 229         yet if type is not frozen.
 230         * sem_disp.adb (Check_Controlling_Formals): The formal of a
 231         predicate function may be a subtype of a tagged type.
 232         * sem_ch3.adb (Complete_Private_Subtype): Adjust inheritance
 233         of representation items for the completion of a type extension
 234         where a predicate applies to the partial view.
 235         * checks.ads, checks.adb (Apply_Predicate_Check): Add optional
 236         parameter that designates function whose actual receives a
 237         predicate check, to improve warning message when the check will
 238         lead to infinite recursion.
 239         * sem_res.adb (Resolve_Actuals): Pass additional parameter to
 240         Apply_Predicate_Check.
 241
 242 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 243
 244         * s-rident.ads (Profile_Info): Remove No_Entry_Queue from
 245         Gnat_Extended_Ravenscar.
 246         * exp_ch9.adb, s-tpoben.adb, s-tpoben.ads: Fix spelling.
 247
 248 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
 249
 250         * sem_util.ads: Minor typo fix and reformatting.
 251
 252 2017-01-06  Yannick Moy  <moy@adacore.com>
 253
 254         * ghost.adb Minor fixing of references to SPARK RM.
 255         (Check_Ghost_Context): Check whether reference is to a lvalue
 256         before issuing an error about violation of SPARK RM 6.9(13)
 257         when declaration has Ghost policy Check and reference has Ghost
 258         policy Ignore.
 259         * sem_util.adb Minor indentation.
 260         * sem_ch10.adb (Analyze_Package_Body_Stub, Analyze_Protected_Body_Stub,
 261         Analyze_Task_Body_Stub): Set Ekind of the defining identifier.
 262         * sem_util.ads (Unique_Defining_Entity): Document the result
 263         for package body stubs.
 264
 265 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 266
 267         * raise-gcc.c (abort): Macro to call Abort_Propagation.
 268         * s-tpoben.ads (Protected_Entry_Queue_Max_Access): Make it access
 269         constant.
 270         * exp_ch9.adb (Expand_N_Protected_Type_Declaration):
 271         Do not generate the Entry_Max_Queue_Lengths_Array if all default
 272         values.
 273         * exp_util.adb (Corresponding_Runtime_Package): Consider
 274         Max_Queue_Length pragma.
 275
 276 2017-01-06  Justin Squirek  <squirek@adacore.com>
 277
 278         * exp_ch9.adb (Expand_N_Protected_Type_Declaration):
 279         Remove declaration generation in the case of
 280         System_Tasking_Protected_Objects_Single_Entry being used,
 281         and add a warning message when this is detected to occur.
 282         (Make_Initialize_Protection): Remove reference pass in the case
 283         of System_Tasking_Protected_Objects_Single_Entry.
 284         * rtsfind.ads: Remove RE_Protected_Entry_Queue_Max
 285         * s-tposen.adb (Initialize_Protection_Entry): Remove
 286         Entry_Queue_Max parameter.
 287         * s-tposen.ads: Remove the types use to store the entry queue
 288         maximum.
 289         * sem_prag.adb (Analyze_Pragma): Remove entry families restriction
 290
 291 2017-01-06  Yannick Moy  <moy@adacore.com>
 292
 293         * sem_util.adb, sem_util.ads (Get_Enum_Lit_From_Pos): Strengthen
 294         behavior of function, to also accept out of range positions
 295         and raise Constraint_Error in such case, and to copy sloc from
 296         literal if No_Location passed as location.
 297         * uintp.adb, uintp.ads (UI_To_Int, UI_To_CC): Strengthen behavior
 298         of functions to raise Constraint_Error in case of value not in
 299         appropriate range.
 300
 301 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 302
 303         * sem_util.adb, s-taprop-linux.adb (Finalize_TCB): Remove call to
 304         Invalidate_Stack_Cache.
 305
 306 2017-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 307
 308         * s-os_lib.adb: Minor fix to the signature of Readlink.
 309
 310 2017-01-06  Javier Miranda  <miranda@adacore.com>
 311
 312         * sem_ch6.adb (Conforming_Types): Handle another
 313         confusion between views in a nested instance with an actual
 314         private type whose full view is not in scope.
 315
 316 2017-01-06  Arnaud Charlet  <charlet@adacore.com>
 317
 318         * exp_ch5.adb (Expand_N_If_Statement): Obey existing comment and
 319         mark a rewritten if statement as explicit (Comes_From_Source).
 320
 321 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
 322
 323         * sem_prag.adb, rtsfind.adb, sem_util.adb: Minor typo fixes.
 324
 325 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 326
 327         * ada.ads, a-unccon.ads: Add pragma No_Elaboration_Code_All.
 328
 329 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 330
 331         * sem_case.adb: Minor reformatting.
 332
 333 2017-01-06  Thomas Quinot  <quinot@adacore.com>
 334
 335         * g-socthi-mingw.adb: Remove now extraneous USE TYPE clause
 336
 337 2017-01-06  Justin Squirek  <squirek@adacore.com>
 338
 339         * aspects.adb: Register aspect in Canonical_Aspect.
 340         * aspects.ads: Associate qualities of Aspect_Max_Queue_Length
 341         into respective tables.
 342         * einfo.ads, einfo.adb: Add a new attribute for
 343         handling the parameters for Pragma_Max_Entry_Queue
 344         (Entry_Max_Queue_Lengths_Array) in E_Protected_Type. Subprograms
 345         for accessing and setting were added as well.
 346         * par-prag.adb (Prag): Register Pramga_Max_Entry_Queue.
 347         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Emit
 348         declaration for pramga arguments and store them in the protected
 349         type node.
 350         (Make_Initialize_Protection): Pass a reference to
 351         the Entry_Max_Queue_Lengths_Array in the protected type node to
 352         the runtime.
 353         * rtsfind.adb: Minor grammar fix.
 354         * rtsfind.ads: Register new types taken from the
 355         runtime libraries RE_Protected_Entry_Queue_Max and
 356         RE_Protected_Entry_Queue_Max_Array
 357         * s-tposen.adb, s-tpoben.adb
 358         (Initialize_Protection_Entry/Initialize_Protection_Entries):
 359         Add extra parameter and add assignment to local object.
 360         * s-tposen.ads, s-tpoben.ads: Add new types to
 361         store entry queue maximums and a field to the entry object record.
 362         * sem_ch13.adb (Analyze_Aspect_Specifications): Add case statement
 363         for Aspect_Max_Queue_Length.
 364         (Check_Aspect_At_Freeze_Point):
 365         Add aspect to list of aspects that don't require delayed analysis.
 366         * sem_prag.adb (Analyze_Pragma): Add case statement for
 367         Pragma_Max_Queue_Length, check semantics, and register arugments
 368         in the respective entry nodes.
 369         * sem_util.adb, sem_util.ads Add functions Get_Max_Queue_Length
 370         and Has_Max_Queue_Length
 371         * snames.ads-tmpl: Add constant for the new aspect-name
 372         Name_Max_Queue_Length and corrasponding pragma.
 373
 374 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 375
 376         * exp_util.adb (Is_Controlled_Function_Call):
 377         Reimplemented. Consider any node which has an entity as the
 378         function call may appear in various ways.
 379
 380 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 381
 382         * exp_attr.adb (Rewrite_Stream_Proc_Call): Use
 383         an unchecked type conversion when performing a view conversion
 384         to/from a private type. In all other cases use a regular type
 385         conversion to ensure that any relevant checks are properly
 386         installed.
 387
 388 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 389
 390         * sem_prag.adb, sem_ch8.adb: Minor reformatting.
 391
 392 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 393
 394         * sem_case.adb (Explain_Non_Static_Bound): Suppress cascaded
 395         error on case expression that is an entity, when coverage is
 396         incomplete and entity has a static value obtained by local
 397         propagation.
 398         (Handle_Static_Predicate): New procedure, subsidiary of
 399         Check_Choices, to handle case alternatives that are either
 400         subtype names or subtype indications involving subtypes that
 401         have static predicates.
 402
 403 2017-01-06  Thomas Quinot  <quinot@adacore.com>
 404
 405         * s-oscons-tmplt.c, g-socket.adb, g-socket.ads, g-sothco.ads:
 406         (GNAT.Socket): Add support for Busy_Polling and Generic_Option
 407
 408 2017-01-06  Bob Duff  <duff@adacore.com>
 409
 410         * sem_elab.adb (Activate_Elaborate_All_Desirable): Don't add
 411         Elaborate_All(P) to P itself. That could happen in obscure cases,
 412         and always introduced a cycle (P body must be elaborated before
 413         P body).
 414         * lib-writ.ads: Comment clarification.
 415         * ali-util.ads: Minor comment fix.
 416         * ali.adb: Minor reformatting.
 417
 418 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 419
 420         * a-exexpr-gcc.adb: Improve comment.
 421
 422 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
 423
 424         * s-linux-mips.ads: Use correct signal and errno constants.
 425         (sa_handler_pos, sa_mask_pos): Fix offsets for 64-bit MIPS.
 426
 427 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
 428
 429         * s-linux-mips.ads: Rename from s-linux-mipsel.ads.
 430         * gcc-interface/Makefile.in (MIPS/Linux): Merge mips and mipsel
 431         sections.
 432
 433 2017-01-01  Eric Botcazou  <ebotcazou@adacore.com>
 434
 435         * gnatvsn.ads: Bump copyright year.
 436
 437 2017-01-01  Jakub Jelinek  <jakub@redhat.com>
 438
 439         * gnat_ugn.texi: Bump @copying's copyright year.
 440         * gnat_rm.texi: Likewise.
 441 \f
 442 Copyright (C) 2017 Free Software Foundation, Inc.
 443
 444 Copying and distribution of this file, with or without modification,
 445 are permitted in any medium without royalty provided the copyright
 446 notice and this notice are preserved.