gcc/ada/ChangeLog

   1 2013-01-03  Emmanuel Briot  <briot@adacore.com>
   2
   3         * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which
   4         have information in the ALI file for both the index and the component
   5         types.
   6
   7 2013-01-03  Emmanuel Briot  <briot@adacore.com>
   8
   9         * projects.texi: Fix error in documenting the project path
  10         computed for an aggregate project.
  11
  12 2013-01-03  Javier Miranda  <miranda@adacore.com>
  13
  14         * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation
  15         plus restricting the functionality of this routine to cover the
  16         cases described in the Ada 2012 reference manual. The previous
  17         extended support is now available under -gnatX.
  18         * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy
  19         variable to call Timed_Sleep.  Required to avoid warning on
  20         overlapping out-mode actuals.
  21         * opt.ads (Extensions_Allowed): Update documentation.
  22
  23 2013-01-03  Tristan Gingold  <gingold@adacore.com>
  24
  25         * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64.
  26         * arit64.c: Removed
  27         * gcc-interface/Makefile.in: Remove reference to arit64.c.
  28
  29 2013-01-03  Thomas Quinot  <quinot@adacore.com>
  30
  31         * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must
  32         be generated at the start of the freeze actions for the entity, not
  33         before (or after) the freeze node.
  34
  35 2013-01-03  Thomas Quinot  <quinot@adacore.com>
  36
  37         * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl):
  38         Reorganize code to capture initialization statements in a block,
  39         so that freeze nodes are excluded from the captured block.
  40
  41 2013-01-03  Thomas Quinot  <quinot@adacore.com>
  42
  43         * exp_ch11.adb: Minor reformatting.
  44
  45 2013-01-03  Thomas Quinot  <quinot@adacore.com>
  46
  47         * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb,
  48         sem_ch13.adb (Einfo.Initialization_Statements,
  49         Einfo.Set_Initialization_Statements): New entity attribute
  50         for objects.
  51         (Exp_Util.Find_Init_Call): Handle case of an object initialized
  52         by an aggregate converted to a block of assignment statements.
  53         (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze
  54         even for objects that require a constant address, because the
  55         address expression might involve entities that have yet to be
  56         elaborated at the point of the object declaration.
  57         (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does
  58         not require a transient scope, capture the assignment statements
  59         in a block so that they can be moved down after elaboration of
  60         an address clause if needed.
  61         (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants,
  62         case N_Unchecked_Conversion): Do not replace operand subtype with
  63         its base type as this violates a GIGI invariant if the operand
  64         is an identifier (in which case the etype of the identifier
  65         is expected to be equal to that of the denoted entity).
  66
  67 2013-01-03  Javier Miranda  <miranda@adacore.com>
  68
  69         * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the
  70         functionality of this routine to cover cases described in the Ada 2012
  71         reference manual.
  72
  73 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
  74
  75         * sem_elab.adb (Set_Elaboration_Constraint): Handle properly
  76         a 'Access attribute reference when the subprogram is called
  77         Initialize.
  78
  79 2013-01-03  Arnaud Charlet  <charlet@adacore.com>
  80
  81         * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a
  82         select statement may be called from a controlled (e.g. Initialize)
  83         operation and have abort always deferred.
  84
  85 2013-01-03  Robert Dewar  <dewar@adacore.com>
  86
  87         * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization.
  88
  89 2013-01-03  Javier Miranda  <miranda@adacore.com>
  90
  91         * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude
  92         internal entities associated with interfaces and add minimum
  93         decoration to the defining entity of the generated wrapper to
  94         allow overriding interface primitives.
  95         * sem_disp.ads (Override_Dispatching_Operation): Addition of a
  96         new formal (Is_Wrapper).
  97         * sem_disp.adb (Override_Dispatching_Operation): When overriding
  98         interface primitives the new formal helps identifying that the
  99         new operation is not fully decorated.
 100
 101 2013-01-03  Thomas Quinot  <quinot@adacore.com>
 102
 103         * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb,
 104         rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb
 105         (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit):
 106         Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and
 107         update spec accordingly (now also applies to root library units).
 108         (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag
 109         on root library units, not only child units.
 110         (Sem_Ch10.Install[_Limited]_Withed_Unit): Same.
 111         (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit
 112         even for root library units.
 113         (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is
 114         Standard is an expanded name for a root library unit.
 115
 116 2013-01-03  Thomas Quinot  <quinot@adacore.com>
 117
 118         * exp_ch3.adb: Minor reformatting.
 119
 120 2013-01-03  Olivier Hainque  <hainque@adacore.com>
 121
 122         * tracebak.c: Reinstate changes to support ppc-lynx178.
 123
 124 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
 125
 126         * atree.ads: Minor reformatting and documentation enhancement.
 127
 128 2013-01-03  Ed Schonberg  <schonberg@adacore.com>
 129
 130         * exp_ch3.adb (Expand_N_Object_Declaration): If the object has
 131         a class-wide type and a renaming declaration is created for it,
 132         preserve entity chain, which already contains generated internal
 133         types. This ensures that freezing actions are properly generated
 134         for all objects declared subsequently in the same scope, and
 135         that debugging information is generated for them.
 136         * sem_util.adb, sem_util.ads (we): New debugging routine, to
 137         display entity chain of a given scope.
 138
 139 2013-01-03  Robert Dewar  <dewar@adacore.com>
 140
 141         * exp_intr.adb: Minor reformatting.
 142
 143 2013-01-03  Robert Dewar  <dewar@adacore.com>
 144
 145         * einfo.adb: Minor reformatting.
 146
 147 2013-01-03  Pascal Obry  <obry@adacore.com>
 148
 149         * adaint.c, adaint.h (__gnat_get_module_name): Removed.
 150         (__gnat_is_module_name_supported): Removed.
 151         * s-win32.ads: Add some needed definitions.
 152         * g-trasym.ads: Update comments.
 153
 154 2013-01-03  Robert Dewar  <dewar@adacore.com>
 155
 156         * layout.adb (Set_Composite_Alignment): Fix problems of
 157         interactions with Optimize_Alignment set to Space.
 158
 159 2013-01-03  Thomas Quinot  <quinot@adacore.com>
 160
 161         * exp_disp.adb: Minor reformatting.
 162
 163 2013-01-02  Richard Biener  <rguenther@suse.de>
 164
 165         PR bootstrap/55784
 166         * gcc-interface/Makefile.in: Add $(GMPINC) to includes.
 167
 168 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 169
 170         * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove
 171         side effects from Tag_Arg early, doing it too late may cause a
 172         crash due to inconsistent Parent link.
 173         * sem_ch8.adb, einfo.ads: Minor reformatting.
 174
 175 2013-01-02  Robert Dewar  <dewar@adacore.com>
 176
 177         * einfo.ads, einfo.adb (Has_Independent_Components): New flag.
 178         * freeze.adb (Size_Known): We do not know the size of a packed
 179         record if it has atomic components, by reference type components,
 180         or independent components.
 181         * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new
 182         flag Has_Independent_Components.
 183
 184 2013-01-02  Yannick Moy  <moy@adacore.com>
 185
 186         * opt.ads (Warn_On_Suspicious_Contract): Set to True by default.
 187         * usage.adb (Usage): Update usage message.
 188
 189 2013-01-02  Pascal Obry  <obry@adacore.com>
 190
 191         * adaint.c (__gnat_is_module_name_supported): New constant.
 192
 193 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 194
 195         * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an
 196         array whose component type does not have a completion.
 197
 198 2013-01-02  Geert Bosch  <bosch@adacore.com>
 199
 200         * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure.
 201
 202 2013-01-02  Robert Dewar  <dewar@adacore.com>
 203
 204         * par_sco.adb: Minor reformatting.
 205
 206 2013-01-02  Javier Miranda  <miranda@adacore.com>
 207
 208         * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code.
 209
 210 2013-01-02  Olivier Hainque  <hainque@adacore.com>
 211
 212         * a-exctra.ads (Get_PC): New function.
 213
 214 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 215
 216         * sem_ch8.adb: Minor reformatting.
 217
 218 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 219
 220         * sem_ch7.adb: Minor reformatting.
 221
 222 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 223
 224         * freeze.adb (Check_Component_Storage_Order): Do not crash on
 225         _Tag component.
 226
 227 2013-01-02  Robert Dewar  <dewar@adacore.com>
 228
 229         * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add
 230         On_Target to Atomic_Sync_Default.
 231
 232 2013-01-02  Robert Dewar  <dewar@adacore.com>
 233
 234         * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for
 235         comparison of attribute result with constant
 236         * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma
 237         Warnings (Off, "..");
 238
 239 2013-01-02  Yannick Moy  <moy@adacore.com>
 240
 241         * sem_prag.ads: Minor correction of comment.
 242
 243 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 244
 245         * par_sco.adb (Traverse_Package_Declaration): The first
 246         declaration in a nested package is dominated by the preceding
 247         declaration in the enclosing scope.
 248
 249 2013-01-02  Pascal Obry  <obry@adacore.com>
 250
 251         * adaint.c, adaint.h (__gnat_get_module_name): Return the actual
 252         module containing a given address.
 253
 254 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 255
 256         * sem_ch3.adb: Minor reformatting.
 257
 258 2013-01-02  Pascal Obry  <obry@adacore.com>
 259
 260         * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on
 261         Win64 and default to ftell on other platforms.
 262         (__gnat_fsek64): Likewise.
 263         * i-cstrea.ads: Add fssek64 and ftell64 specs.
 264         * s-crtl.ads: Likewise.
 265         * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required.
 266         (Set_Position): Likewise.
 267
 268 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 269
 270         * par_sco.adb: Generate X SCOs for default expressions in
 271         subprogram body stubs.  Do not generate any SCO for package,
 272         task, or protected body stubs.
 273
 274 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 275
 276         * sem_ch3.adb: Further improvement to ASIS mode for anonymous
 277         access to protected subprograms.
 278
 279 2013-01-02  Robert Dewar  <dewar@adacore.com>
 280
 281         * par_sco.adb, vms_data.ads: Minor reformatting.
 282
 283 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 284
 285         * par_sco.adb (Traverse_Declarations_Or_Statement): Function
 286         form, returning value of Current_Dominant upon exit, for chaining
 287         purposes.
 288         (Traverse_Declarations_Or_Statement.Traverse_One, case
 289         N_Block_Statement): First statement is dominated by last declaration.
 290         (Traverse_Subprogram_Or_Task_Body): Ditto.
 291         (Traverse_Package_Declaration): First private
 292         declaration is dominated by last visible declaration.
 293         (Traverse_Sync_Definition): Ditto.
 294
 295 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 296
 297         * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order
 298         matching Bit_Order to record types only, since array types do not
 299         have a Bit_Order.
 300
 301 2013-01-02  Vincent Celier  <celier@adacore.com>
 302
 303         * gnat_ugn.texi: Remove documentation of -gnateO, which is an
 304         internal switch.
 305         * usage.adb: Indicate that -gnateO is an internal switch.
 306
 307 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 308
 309         * par_sco.adb: Add SCO generation for task types and single
 310         task declarations.
 311         * get_scos.adb: When adding an instance table entry for a
 312         non-nested instantiation, make sure the Enclosing_Instance is
 313         correctly set to 0.
 314
 315 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
 316
 317         * sem_attr.adb (Analyze_Attribute): Skip the special _Parent
 318         scope generated for subprogram inlining purposes while trying
 319         to locate the enclosing function.
 320         * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean
 321         expression of pragma Postcondition when the pragma comes from
 322         source and appears inside a subprogram body.
 323
 324 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 325
 326         * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation
 327         information in debug info unconditionally when using -fdump-scos,
 328         instead of relying on a separate command line switch -fdebug-instances.
 329         * gcc-interface/Make-lang.in: Update dependencies.
 330
 331 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 332
 333         * sem_ch12.adb: Additional refinement of predicate.
 334
 335 2013-01-02  Vincent Celier  <celier@adacore.com>
 336
 337         * vms_data.ads: Remove incorrect spaces at end of descriptions
 338         of qualifiers for single switch.
 339
 340 2013-01-02  Ben Brosgol  <brosgol@adacore.com>
 341
 342         * gnat_rm.texi: Minor edits / wordsmithing in section on pragma
 343         Check_Float_Overflow.
 344
 345 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 346
 347         * sprint.adb (Sprint_Node_Actual): Do not add extra parens for
 348         a conditional expression (CASE or IF expression) that already
 349         has parens. Also omit ELSE keyword for an IF expression without
 350         an ELSE part.
 351
 352 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 353
 354         * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end
 355         flag_debug_instances here, after front-end switches have been
 356         processed.
 357
 358 2013-01-02  Vincent Celier  <celier@adacore.com>
 359
 360         * usage.adb: Minor reformatting.
 361
 362 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
 363
 364         * opt.ads: Fix typo.
 365
 366 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 367
 368         * par_sco.adb: Generate P decision SCOs for SPARK pragmas
 369         Assume and Loop_Invariant.
 370
 371 2013-01-02  Robert Dewar  <dewar@adacore.com>
 372
 373         * vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
 374         * ug_words: Add entry for Float_Check_Overflow.
 375         * usage.adb: Minor reformatting.
 376         * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).
 377
 378 2013-01-02  Vincent Celier  <celier@adacore.com>
 379
 380         * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated,
 381         -gnateO=, -gnatet and -gnateV.
 382         * ug_words: Add qualifiers equivalent to -gnateA, -gnated,
 383         -gnatet and -gnateV.
 384         * usage.adb: Add lines for -gnatea, -gnateO and -gnatez.
 385         * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK
 386         (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated),
 387         /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO
 388         (-gnatet).
 389
 390 2013-01-02  Robert Dewar  <dewar@adacore.com>
 391
 392         * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
 393         * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
 394         * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
 395         * sem_prag.adb: Implement pragma Check_Float_Overflow.
 396         * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
 397         * switch-c.adb: Recognize -gnateF switch.
 398         * tree_io.ads: Update ASIS version number.
 399         * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
 400
 401 2013-01-02  Robert Dewar  <dewar@adacore.com>
 402
 403         * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
 404         exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb,
 405         freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb,
 406         par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb,
 407         sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb,
 408         sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages.
 409         * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates.
 410
 411 2013-01-02  Robert Dewar  <dewar@adacore.com>
 412
 413         * err_vars.ads: Minor comment fix.
 414
 415 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 416
 417         * sem_ch12.adb: Refine predicate.
 418
 419 2013-01-02  Robert Dewar  <dewar@adacore.com>
 420
 421         * errout.ads: Minor comment fixes.
 422         * opt.ads: Minor comment additions.
 423         * exp_aggr.adb: Add tags to warning messages
 424         * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb,
 425         sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb,
 426         sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb,
 427         sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb,
 428         sem_warn.adb: Add tags to warning messages
 429
 430 2013-01-02  Doug Rupp  <rupp@adacore.com>
 431
 432         * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E.
 433
 434 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 435
 436         * sem_ch12.adb: Recover source name for renamed packagea.
 437
 438 2013-01-02  Robert Dewar  <dewar@adacore.com>
 439
 440         * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing
 441         tests to fail if insertion sequence is at end of message string.
 442         * opt.ads: Minor comment fixes and additions.
 443         * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb,
 444         sem_ch12.adb, sem_ch13.adb: Add tags to warning messages.
 445         * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message
 446         tags. Add tags to warning messages.
 447
 448 2013-01-02  Robert Dewar  <dewar@adacore.com>
 449
 450         * err_vars.ads (Warning_Doc_Switch): New flag.
 451         * errout.adb (Error_Msg_Internal): Implement new warning flag
 452         doc tag stuff (Set_Msg_Insertion_Warning): New procedure.
 453         * errout.ads: Document new insertion sequences ?? ?x? ?.x?
 454         * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc
 455         tag stuff.
 456         * erroutc.ads (Warning_Msg_Char): New variable.
 457         (Warn_Chr): New field in error message object.
 458         * errutil.adb (Error_Msg): Set Warn_Chr in error message object.
 459         * sem_ch13.adb: Minor reformatting.
 460         * warnsw.adb: Add handling for -gnatw.d and -gnatw.D
 461         (Warning_Doc_Switch).
 462         * warnsw.ads: Add handling of -gnatw.d/.D switches (warning
 463         doc tag).
 464
 465 2013-01-02  Robert Dewar  <dewar@adacore.com>
 466
 467         * opt.ads: Minor reformatting.
 468
 469 2013-01-02  Doug Rupp  <rupp@adacore.com>
 470
 471         * init.c: Reorganize VMS section.
 472         (scan_condtions): New function for scanning condition tables.
 473         (__gnat_handle_vms_condtion): Use actual exception name for imported
 474         exceptions vice IMPORTED_EXCEPTION.
 475         Move condition table scanning into separate function. Move formerly
 476         special handled conditions to system condition table. Use SYS$PUTMSG
 477         output to fill exception message field for formally special handled
 478         condtions, in particular HPARITH to provide more clues about cause and
 479         location then raised from the translated image.
 480
 481 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 482
 483         * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post
 484         aspect that applies to a library subprogram, prepend corresponding
 485         pragma to the Pragmas_After list, in order for split AND THEN
 486         sections to be processed in the expected order.
 487
 488 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 489
 490         * exp_prag.adb (Expand_Pragma_Check): The statements generated
 491         for the pragma must have the sloc of the pragma, not the
 492         sloc of the condition, otherwise this creates anomalies in the
 493         generated debug information that confuse coverage analysis tools.
 494
 495 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 496
 497         * sem_ch13.adb: Minor reformatting.
 498
 499 2013-01-02  Arnaud Charlet  <charlet@adacore.com>
 500
 501         * g-excact.ads (Core_Dump): Clarify that this subprogram does
 502         not dump cores under Windows.
 503
 504 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 505
 506         * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed
 507         view of a subprogram has convention Intrnnsic, and a renaming
 508         of a prefixed view cannot be the prefix of an Access attribute.
 509
 510 2013-01-02  Robert Dewar  <dewar@adacore.com>
 511
 512         * restrict.adb: Minor reformatting.
 513
 514 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 515
 516         * exp_prag.adb: Minor reformatting.
 517
 518 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 519
 520         * sem_ch12.adb (Get_Associated_Node): If the node is an
 521         identifier that denotes an unconstrained array in an object
 522         declaration, it is rewritten as the name of an anonymous
 523         subtype whose bounds are given by the initial expression in the
 524         declaration. When checking whether that identifier is global
 525         reference, use the original node, not the local generated subtype.
 526
 527 2013-01-02  Olivier Hainque  <hainque@adacore.com>
 528
 529         * tracebak.c: Revert previous change, incomplete.
 530
 531 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 532
 533         * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect
 534         appears on a subprogram body that acts as a spec, place the
 535         corresponding pragma in the declarations of the body, so that
 536         e.g. pre/postcondition checks can be generated appropriately.
 537
 538 2013-01-02  Robert Dewar  <dewar@adacore.com>
 539
 540         * sem_ch3.adb: Minor reformatting and code reorganization.
 541
 542 2013-01-02  Vincent Celier  <celier@adacore.com>
 543
 544         * switch-m.adb (Normalize_Compiler_Switches): Record the
 545         complete switch -fstack-check=specific instead of its shorter
 546         alias -fstack-check.
 547
 548 2013-01-02  Ed Schonberg  <schonberg@adacore.com>
 549
 550         * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8):
 551         if the derived type is a tagged generic formal type with
 552         unknown discriminants, the inherited operation has convention
 553         Intrinsic. As such, the 'Access attribute cannot be applied to it.
 554
 555 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 556
 557         * sem_attr.adb: Minor reformatting.
 558
 559 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 560
 561         * par_sco.adb: Add SCO generation for S of protected types and
 562         single protected object declarations.
 563
 564 2013-01-02  Robert Dewar  <dewar@adacore.com>
 565
 566         * sem_eval.adb, osint.ads: Minor reformatting.
 567
 568 2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>
 569
 570         * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.
 571
 572 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 573
 574         * sem_eval.adb (Compile_Time_Compare): For static operands, we
 575         can perform a compile time comparison even if in preanalysis mode.
 576
 577 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 578
 579         * par_sco.adb (SCO_Record): Always use
 580         Traverse_Declarations_Or_Statements to process the library level
 581         declaration, so that SCOs are properly generated for its aspects.
 582
 583 2013-01-02  Thomas Quinot  <quinot@adacore.com>
 584
 585         * scos.ads (In_Decision): Add missing entry for 'a'.
 586         * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
 587         call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
 588         * sem_ch13.adb: Minor comment update.
 589 \f
 590 Copyright (C) 2013 Free Software Foundation, Inc.
 591
 592 Copying and distribution of this file, with or without modification,
 593 are permitted in any medium without royalty provided the copyright
 594 notice and this notice are preserved.