gcc/ada/ChangeLog

   1 2017-01-06  Justin Squirek  <squirek@adacore.com>
   2
   3         * exp_attr.adb (Expand_N_Attribute_Reference): Add entry for
   4         expansion of Finalization_Size attribute.
   5         * sem_attr.adb (Analyze_Attribute): Add entry to check the
   6         semantics of Finalization_Size.
   7         (Eval_Attribute): Add null entry for Finalization_Size.
   8         * sem_attr.ads: Add Finalization_Size to the implementation
   9         dependent attribute list.
  10         * snames.ads-tmpl: Add name entry for Finalization_Size attribute.
  11
  12 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
  13
  14         * sem_ch5.adb (Analyze_Loop_Statement): If the loop includes an
  15         iterator specification with a serious syntactic error, transform
  16         construct into an infinite loop in order to continue analysis
  17         and prevent a compiler abort.
  18
  19 2017-01-06  Tristan Gingold  <gingold@adacore.com>
  20
  21         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Do not generate
  22         max_queue_lengths_array if unused.
  23
  24 2017-01-06  Bob Duff  <duff@adacore.com>
  25
  26         * errout.adb (Set_Msg_Text): Protect against out-of-bounds
  27         array access, in case "\" is at the end of Text.
  28         * stylesw.adb (Set_Style_Check_Options): Don't include input
  29         characters in the error message template, because they could
  30         be control characters such as "\", which Errout will try to
  31         interpret.
  32
  33 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
  34
  35         * sem_ch4.adb (Find_Indexing_Operations, Inspect_Declarations):
  36         For a private type examine the visible declarations that follow
  37         the partial view, not just the private declarations that follow
  38         the full view.
  39
  40 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
  41
  42         * exp_ch5.adb, sem_ch3.adb, checks.adb: Minor reformatting and
  43         code cleanup.
  44
  45 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
  46
  47         * exp_ch5.adb (Get_Default_Iterator): For a derived type, the
  48         alias of the inherited op is the parent iterator, no need to
  49         examine dispatch table positions which might not be established
  50         yet if type is not frozen.
  51         * sem_disp.adb (Check_Controlling_Formals): The formal of a
  52         predicate function may be a subtype of a tagged type.
  53         * sem_ch3.adb (Complete_Private_Subtype): Adjust inheritance
  54         of representation items for the completion of a type extension
  55         where a predicate applies to the partial view.
  56         * checks.ads, checks.adb (Apply_Predicate_Check): Add optional
  57         parameter that designates function whose actual receives a
  58         predicate check, to improve warning message when the check will
  59         lead to infinite recursion.
  60         * sem_res.adb (Resolve_Actuals): Pass additional parameter to
  61         Apply_Predicate_Check.
  62
  63 2017-01-06  Tristan Gingold  <gingold@adacore.com>
  64
  65         * s-rident.ads (Profile_Info): Remove No_Entry_Queue from
  66         Gnat_Extended_Ravenscar.
  67         * exp_ch9.adb, s-tpoben.adb, s-tpoben.ads: Fix spelling.
  68
  69 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
  70
  71         * sem_util.ads: Minor typo fix and reformatting.
  72
  73 2017-01-06  Yannick Moy  <moy@adacore.com>
  74
  75         * ghost.adb Minor fixing of references to SPARK RM.
  76         (Check_Ghost_Context): Check whether reference is to a lvalue
  77         before issuing an error about violation of SPARK RM 6.9(13)
  78         when declaration has Ghost policy Check and reference has Ghost
  79         policy Ignore.
  80         * sem_util.adb Minor indentation.
  81         * sem_ch10.adb (Analyze_Package_Body_Stub, Analyze_Protected_Body_Stub,
  82         Analyze_Task_Body_Stub): Set Ekind of the defining identifier.
  83         * sem_util.ads (Unique_Defining_Entity): Document the result
  84         for package body stubs.
  85
  86 2017-01-06  Tristan Gingold  <gingold@adacore.com>
  87
  88         * raise-gcc.c (abort): Macro to call Abort_Propagation.
  89         * s-tpoben.ads (Protected_Entry_Queue_Max_Access): Make it access
  90         constant.
  91         * exp_ch9.adb (Expand_N_Protected_Type_Declaration):
  92         Do not generate the Entry_Max_Queue_Lengths_Array if all default
  93         values.
  94         * exp_util.adb (Corresponding_Runtime_Package): Consider
  95         Max_Queue_Length pragma.
  96
  97 2017-01-06  Justin Squirek  <squirek@adacore.com>
  98
  99         * exp_ch9.adb (Expand_N_Protected_Type_Declaration):
 100         Remove declaration generation in the case of
 101         System_Tasking_Protected_Objects_Single_Entry being used,
 102         and add a warning message when this is detected to occur.
 103         (Make_Initialize_Protection): Remove reference pass in the case
 104         of System_Tasking_Protected_Objects_Single_Entry.
 105         * rtsfind.ads: Remove RE_Protected_Entry_Queue_Max
 106         * s-tposen.adb (Initialize_Protection_Entry): Remove
 107         Entry_Queue_Max parameter.
 108         * s-tposen.ads: Remove the types use to store the entry queue
 109         maximum.
 110         * sem_prag.adb (Analyze_Pragma): Remove entry families restriction
 111
 112 2017-01-06  Yannick Moy  <moy@adacore.com>
 113
 114         * sem_util.adb, sem_util.ads (Get_Enum_Lit_From_Pos): Strengthen
 115         behavior of function, to also accept out of range positions
 116         and raise Constraint_Error in such case, and to copy sloc from
 117         literal if No_Location passed as location.
 118         * uintp.adb, uintp.ads (UI_To_Int, UI_To_CC): Strengthen behavior
 119         of functions to raise Constraint_Error in case of value not in
 120         appropriate range.
 121
 122 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 123
 124         * sem_util.adb, s-taprop-linux.adb (Finalize_TCB): Remove call to
 125         Invalidate_Stack_Cache.
 126
 127 2017-01-06  Eric Botcazou  <ebotcazou@adacore.com>
 128
 129         * s-os_lib.adb: Minor fix to the signature of Readlink.
 130
 131 2017-01-06  Javier Miranda  <miranda@adacore.com>
 132
 133         * sem_ch6.adb (Conforming_Types): Handle another
 134         confusion between views in a nested instance with an actual
 135         private type whose full view is not in scope.
 136
 137 2017-01-06  Arnaud Charlet  <charlet@adacore.com>
 138
 139         * exp_ch5.adb (Expand_N_If_Statement): Obey existing comment and
 140         mark a rewritten if statement as explicit (Comes_From_Source).
 141
 142 2017-01-06  Gary Dismukes  <dismukes@adacore.com>
 143
 144         * sem_prag.adb, rtsfind.adb, sem_util.adb: Minor typo fixes.
 145
 146 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 147
 148         * ada.ads, a-unccon.ads: Add pragma No_Elaboration_Code_All.
 149
 150 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 151
 152         * sem_case.adb: Minor reformatting.
 153
 154 2017-01-06  Thomas Quinot  <quinot@adacore.com>
 155
 156         * g-socthi-mingw.adb: Remove now extraneous USE TYPE clause
 157
 158 2017-01-06  Justin Squirek  <squirek@adacore.com>
 159
 160         * aspects.adb: Register aspect in Canonical_Aspect.
 161         * aspects.ads: Associate qualities of Aspect_Max_Queue_Length
 162         into respective tables.
 163         * einfo.ads, einfo.adb: Add a new attribute for
 164         handling the parameters for Pragma_Max_Entry_Queue
 165         (Entry_Max_Queue_Lengths_Array) in E_Protected_Type. Subprograms
 166         for accessing and setting were added as well.
 167         * par-prag.adb (Prag): Register Pramga_Max_Entry_Queue.
 168         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): Emit
 169         declaration for pramga arguments and store them in the protected
 170         type node.
 171         (Make_Initialize_Protection): Pass a reference to
 172         the Entry_Max_Queue_Lengths_Array in the protected type node to
 173         the runtime.
 174         * rtsfind.adb: Minor grammar fix.
 175         * rtsfind.ads: Register new types taken from the
 176         runtime libraries RE_Protected_Entry_Queue_Max and
 177         RE_Protected_Entry_Queue_Max_Array
 178         * s-tposen.adb, s-tpoben.adb
 179         (Initialize_Protection_Entry/Initialize_Protection_Entries):
 180         Add extra parameter and add assignment to local object.
 181         * s-tposen.ads, s-tpoben.ads: Add new types to
 182         store entry queue maximums and a field to the entry object record.
 183         * sem_ch13.adb (Analyze_Aspect_Specifications): Add case statement
 184         for Aspect_Max_Queue_Length.
 185         (Check_Aspect_At_Freeze_Point):
 186         Add aspect to list of aspects that don't require delayed analysis.
 187         * sem_prag.adb (Analyze_Pragma): Add case statement for
 188         Pragma_Max_Queue_Length, check semantics, and register arugments
 189         in the respective entry nodes.
 190         * sem_util.adb, sem_util.ads Add functions Get_Max_Queue_Length
 191         and Has_Max_Queue_Length
 192         * snames.ads-tmpl: Add constant for the new aspect-name
 193         Name_Max_Queue_Length and corrasponding pragma.
 194
 195 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 196
 197         * exp_util.adb (Is_Controlled_Function_Call):
 198         Reimplemented. Consider any node which has an entity as the
 199         function call may appear in various ways.
 200
 201 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 202
 203         * exp_attr.adb (Rewrite_Stream_Proc_Call): Use
 204         an unchecked type conversion when performing a view conversion
 205         to/from a private type. In all other cases use a regular type
 206         conversion to ensure that any relevant checks are properly
 207         installed.
 208
 209 2017-01-06  Hristian Kirtchev  <kirtchev@adacore.com>
 210
 211         * sem_prag.adb, sem_ch8.adb: Minor reformatting.
 212
 213 2017-01-06  Ed Schonberg  <schonberg@adacore.com>
 214
 215         * sem_case.adb (Explain_Non_Static_Bound): Suppress cascaded
 216         error on case expression that is an entity, when coverage is
 217         incomplete and entity has a static value obtained by local
 218         propagation.
 219         (Handle_Static_Predicate): New procedure, subsidiary of
 220         Check_Choices, to handle case alternatives that are either
 221         subtype names or subtype indications involving subtypes that
 222         have static predicates.
 223
 224 2017-01-06  Thomas Quinot  <quinot@adacore.com>
 225
 226         * s-oscons-tmplt.c, g-socket.adb, g-socket.ads, g-sothco.ads:
 227         (GNAT.Socket): Add support for Busy_Polling and Generic_Option
 228
 229 2017-01-06  Bob Duff  <duff@adacore.com>
 230
 231         * sem_elab.adb (Activate_Elaborate_All_Desirable): Don't add
 232         Elaborate_All(P) to P itself. That could happen in obscure cases,
 233         and always introduced a cycle (P body must be elaborated before
 234         P body).
 235         * lib-writ.ads: Comment clarification.
 236         * ali-util.ads: Minor comment fix.
 237         * ali.adb: Minor reformatting.
 238
 239 2017-01-06  Tristan Gingold  <gingold@adacore.com>
 240
 241         * a-exexpr-gcc.adb: Improve comment.
 242
 243 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
 244
 245         * s-linux-mips.ads: Use correct signal and errno constants.
 246         (sa_handler_pos, sa_mask_pos): Fix offsets for 64-bit MIPS.
 247
 248 2017-01-03  James Cowgill  <James.Cowgill@imgtec.com>
 249
 250         * s-linux-mips.ads: Rename from s-linux-mipsel.ads.
 251         * gcc-interface/Makefile.in (MIPS/Linux): Merge mips and mipsel
 252         sections.
 253
 254 2017-01-01  Eric Botcazou  <ebotcazou@adacore.com>
 255
 256         * gnatvsn.ads: Bump copyright year.
 257
 258 2017-01-01  Jakub Jelinek  <jakub@redhat.com>
 259
 260         * gnat_ugn.texi: Bump @copying's copyright year.
 261         * gnat_rm.texi: Likewise.
 262 \f
 263 Copyright (C) 2017 Free Software Foundation, Inc.
 264
 265 Copying and distribution of this file, with or without modification,
 266 are permitted in any medium without royalty provided the copyright
 267 notice and this notice are preserved.