gcc/ada/ChangeLog

   1 2012-01-23  Matthew Heaney  <heaney@adacore.com>
   2
   3         * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
   4         a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
   5         a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
   6         a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
   7         Cursor'Write): Declare in private part.
   8         (Reference_Type'Read, Reference_Type'Write): Ditto.
   9         (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
  10
  11 2012-01-23  Robert Dewar  <dewar@adacore.com>
  12
  13         * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
  14         reformatting.
  15
  16 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
  17
  18         * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
  19         Corresponding_Body on a defaulted null formal subprogram.
  20         * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
  21         on a defaulted formal subprogram that is a null procedure.
  22
  23 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
  24
  25         * exp_ch9.adb: Update the comments involving pragma Implemented.
  26         * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
  27         constant Subp_Alias and local variable Impl_Subp. Properly
  28         handle aliases of synchronized wrappers. Code cleanup.
  29         (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
  30         Name_Optional as part of the condition.
  31         * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
  32         valid choices of implementation kind.
  33         (Check_Arg_Is_One_Of): New routine.
  34         * snames.ads-tmlp: Add Name_Optional.
  35
  36 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
  37
  38         * par-ch13.adb: Better error recovery in illegal aspect
  39         specification.
  40
  41 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
  42
  43         * a-calend.adb: Add with clause for Interfaces.C. Add constant
  44         Unix_Max.
  45         (Day_Of_Week): Call the internal UTC_Time_Offset.
  46         (Split): Call the internal UTC_Time_Offset.
  47         (Time_Of): Call the internal UTC_Time_Offset.
  48         (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
  49         (UTC_Time_Offset): New library-level routine.
  50         * a-calend.ads (UTC_Time_Offset): Remove parameter
  51         Is_Historic. Update related comment on usage.
  52         * a-catizo.adb (UTC_Time_Offset): Removed.
  53         (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
  54         * a-caltizo.ads (UTC_Time_Offset): Removed.
  55         (UTC_Time_Offset (Time)): Add back the default expression of parameter
  56         Date.
  57
  58 2012-01-23  Robert Dewar  <dewar@adacore.com>
  59
  60         * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
  61         (pg,po,ps): Make sure each entry starts on new line.
  62
  63 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
  64
  65         * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
  66         the parameter profile of procedure localtime_tzoff and its associated
  67         comment.
  68         (Day_Of_Week): Do not treat the input date as historical
  69         with respect to time zones.
  70         (Split): Do not treat the input
  71         date as historical with respect to time zones.  (Time_Of): Do
  72         not treat the input constituents as forming a historical date
  73         with respect to time zones.
  74         (UTC_Time_Offset): Add new formal
  75         parameter Is_Historic. Add local variable Flag. Update the call
  76         to localtime_tzoff.
  77         * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
  78         (UTC_Time_Offset (Time)): Update the call to
  79         Time_Zone_Operations.UTC_Time_Offset.
  80         * sysdep.c (__gnat_localtime_tzoff): Update parameter
  81         profile. Split the processing of offsets on Windows into two - one
  82         part of historic time stamps and the other for the current time.
  83
  84 2012-01-23  Robert Dewar  <dewar@adacore.com>
  85
  86         * a-calend.adb: Minor reformatting.
  87
  88 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
  89
  90         * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
  91         interface in requeue statement.
  92
  93 2012-01-23  Cyrille Comar  <comar@adacore.com>
  94
  95         * projects.texi: Remove references to main units and replace
  96         with references to main programs to be coherent with the
  97         documentation.
  98
  99 2012-01-23  Robert Dewar  <dewar@adacore.com>
 100
 101         * s-utf_32.adb: Minor reformatting.
 102
 103 2012-01-23  Vincent Celier  <celier@adacore.com>
 104
 105         * snames.ads-tmpl: Minor comment addition Indicate that
 106         Name_Library_Encapsulated_Options is only used in gprbuild.
 107
 108 2012-01-23  Robert Dewar  <dewar@adacore.com>
 109
 110         * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
 111         restrictions.
 112
 113 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 114
 115         * snames.ads-tmpl: Add Name_Synchronization.
 116         * aspects.ads, aspects.adb: Add Aspect_Synchronization to
 117         enumeration type and related maps.
 118         * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
 119         Synchronization, build corresponding pragma Implemented.
 120         * sem_util.adb (Implementation_Kind): Handle both explicit and
 121         implicit pragma_argument association to retrieve the given
 122         synchronization mode.
 123
 124 2012-01-23  Robert Dewar  <dewar@adacore.com>
 125
 126         * sem_ch10.adb, errout.adb: Minor reformatting.
 127
 128 2012-01-23  Ed Schonberg  <schonberg@adacore.com>
 129
 130         * sem_res.adb (Resolve_Actuals): An actual in a call to an
 131         Ada 2012 Reference function does not lead to a dangerous order
 132         dependence.
 133
 134 2012-01-23  Gary Dismukes  <dismukes@adacore.com>
 135
 136         * exp_util.adb (Is_Iterated_Container): Test
 137         Is_Entity_Name when searching for calls to the default iterator,
 138         to avoid blowing up on indirect calls which have an explicit
 139         dereference as the call name.
 140
 141 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 142
 143         * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
 144         the complete expanded name, rather than just its Selector_Name.
 145
 146 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 147
 148         * a-textio.adb (Put): Rewrite one-parameter Character version to
 149         just call the two-parameter one with Current_Out.
 150
 151 2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>
 152
 153         * freeze.adb (Check_Current_Instance): Issue an
 154         error when the prefix of 'Unchecked_Access or 'Access does not
 155         denote a legal aliased view of a type.
 156         (Freeze_Record_Type): Do not halt the processing of record components
 157         once the Has_Controlled_Component is set as this bypasses the remaining
 158         checks.
 159         (Is_Aliased_View_Of_Type): New routine.
 160
 161 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 162
 163         * errout.ads, freeze.adb: Minor reformatting.
 164
 165 2012-01-23  Thomas Quinot  <quinot@adacore.com>
 166
 167         * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
 168         messages.
 169
 170 2012-01-23  Olivier Hainque  <hainque@adacore.com>
 171
 172         * adadecode.c (__gnat_decode): Deal with empty input early,
 173         preventing potential erroneous memory access later on.
 174
 175 2012-01-21  Eric Botcazou  <ebotcazou@adacore.com>
 176
 177         PR ada/46192
 178         * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: In the case of a
 179         renaming, preserve the volatileness through the indirection, if any.
 180
 181 2012-01-14  Andreas Schwab  <schwab@linux-m68k.org>
 182
 183         * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
 184         $(GNATLIBCFLAGS).
 185
 186 2012-01-10  Pascal Obry  <obry@adacore.com>
 187
 188         * prj-nmsc.adb (Check_Library_Attributes):
 189         Kill check for object/source directories for aggregate libraries.
 190
 191 2012-01-10  Matthew Heaney  <heaney@adacore.com>
 192
 193         * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
 194         a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
 195         a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
 196         a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
 197         a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
 198         a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
 199         a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
 200         a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
 201         a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
 202         container parameter as aliased in/in out.
 203         Code clean ups.
 204
 205 2012-01-10  Bob Duff  <duff@adacore.com>
 206
 207         * s-os_lib.ads: Improve comment.
 208
 209 2012-01-10  Geert Bosch  <bosch@adacore.com>
 210
 211         * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
 212         for complex Scalar.
 213
 214 2012-01-10  Bob Duff  <duff@adacore.com>
 215
 216         * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
 217         checking that the 'Size is correct. If the type is "mod 2**12",
 218         for example, it's illegal, but Esize is the 'Object_Size, which
 219         will be something like 16 or 32, so the error ('Size = 12) was
 220         not detected.
 221         * gnat_rm.texi: Improve documentation of shift
 222         and rotate intrinsics.
 223
 224 2012-01-10  Pascal Obry  <obry@adacore.com>
 225
 226         * prj.adb (For_Every_Project_Imported): Fix
 227         implementation to make sure we return each project only once
 228         for aggragte libraries. It is fine to return a project twice for
 229         aggregate projects, this was the case as a Project_Id is different
 230         in each project tree. The new implementation use a table based on
 231         the project name to ensure proper detection of duplicate project
 232         in aggregate library. A new context is then created to continue
 233         retrurning duplicate project for aggregate libraries.
 234
 235 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
 236
 237         * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
 238         return value in the variable-sized return type case if the target is
 239         an array with fixed size.  However, do not create it if this is the
 240         expression of an object declaration.
 241
 242 2012-01-09  Eric Botcazou  <ebotcazou@adacore.com>
 243
 244         * gcc-interface/trans.c (addressable_p) <COMPONENT_REF>: Fix thinko.
 245
 246 2012-01-06  Robert Dewar  <dewar@adacore.com>
 247
 248         * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
 249         s-utf_32.ads: Add pragma Pure
 250         * s-utf_32.adb: Suppress warnings on non-static constants (now
 251         that this is Pure).
 252
 253 2012-01-06  Bob Duff  <duff@adacore.com>
 254
 255         * s-rpc.ads (Read, Write): Add overriding indicators.
 256
 257 2012-01-06  Robert Dewar  <dewar@adacore.com>
 258
 259         * gnat_rm.texi: Add documentation for conventions
 260         Ada_Pass_By_Copy and Ada_Pass_By_Reference.
 261
 262 2012-01-06  Gary Dismukes  <dismukes@adacore.com>
 263
 264         * a-tienio.adb (Put): Add exception message on
 265         raise statements. Remove unneeded blocks and object declarations.
 266
 267 2012-01-06  Robert Dewar  <dewar@adacore.com>
 268
 269         * sem_prag.adb: Minor reformatting.
 270
 271 2012-01-06  Ed Schonberg  <schonberg@adacore.com>
 272
 273         * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
 274         that a selected component within a generic unit has been resolved
 275         as a prefixed call with local references.
 276         * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
 277         component is always visible.
 278         * sem_ch4.adb (Analyze_Selected_Component): If the node is a
 279         prefixed call in an instance, do not look for visible components
 280         of the type.
 281         * sem_ch12.adb (Reset_Entity): If a selected component has resolved
 282         to a prefixed call, mark the node accordingly when prefix and
 283         selector are local references.
 284
 285 2012-01-02  Eric Botcazou  <ebotcazou@adacore.com>
 286
 287         * gnatvsn.ads (Current_Year): Bump to 2012.
 288 \f
 289 Copyright (C) 2012 Free Software Foundation, Inc.
 290
 291 Copying and distribution of this file, with or without modification,
 292 are permitted in any medium without royalty provided the copyright
 293 notice and this notice are preserved.