gcc/ada/ChangeLog

   1 2009-04-17  Robert Dewar  <dewar@adacore.com>
   2
   3         * sem_ch3.adb: Minor reformatting
   4
   5 2009-04-17  Pascal Obry  <obry@adacore.com>
   6
   7         * adaint.c: Add __gnat_use_acl global variable to control use of ACL.
   8
   9 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
  10
  11         * sem_ch3.adb (Build_Derived_Enumeration_Type): Diagnose properly
  12         illegal constraints on type derived from formal discrete types.
  13
  14 2009-04-17  Thomas Quinot  <quinot@adacore.com>
  15
  16         PR ada/35953
  17
  18         * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
  19         g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads,
  20         g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb,
  21         g-socket.ads (GNAT.Sockets.Thin.C_Send,
  22         GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms.
  23         Replace calls to send(2) with equivalent sendto(2) calls.
  24         (GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram.
  25         (GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not
  26         report an error in that case. Factor code common to the two versions
  27         (datagram and stream) in common routine Stream_Write.
  28
  29 2009-04-17  Robert Dewar  <dewar@adacore.com>
  30
  31         * exp_disp.adb: Minor reformatting
  32         Minor code reorganization (use Nkind_In)
  33
  34         * prepcomp.adb: Minor reformatting
  35
  36         * sem_ch3.adb: Minor reformatting
  37
  38         * sem_res.adb: Minor comment addition
  39
  40         * exp_ch5.adb (Expand_Assign_Array): Use Has_Address_Clause to test
  41         for address clause
  42
  43         * lib-xref.adb (Generate_Reference): Exclude recursive calls from
  44         setting Is_Referenced
  45
  46         * types.ads: Minor reformatting
  47
  48 2009-04-17  Arnaud Charlet  <charlet@adacore.com>
  49
  50         * gnat_ugn.texi: Initial documentation on binding generator.
  51
  52 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
  53
  54         * einfo.ads, einfo.adb: New attribute Underlying_Record_View, to handle
  55         type extensions whose parent is a type with unknown discriminants.
  56
  57         * exp_aggr.adb (Expand_Record_Aggregate): If the type of an extension
  58         aggregate has unknown discriminants, use the Underlying_Record_View to
  59         obtain the discriminants of the ancestor part.
  60
  61         * exp_disp.adb (Build_Dispatch_Tables): Types that are
  62         Underlying_Record_Views share the dispatching information of the
  63         original record extension.
  64
  65         * exp_ch3.adb (Expand_Record_Extension): If the type inherits unknown
  66         discriminants, propagate dispach table information to the
  67         Underlying_Record_View.
  68
  69         * sem_ch3.adb (Build_Derived_Private_Type): If parent type has unknown
  70         discriminants and declaration is not a completion, generate
  71         Underlying_Record_View to provide proper discriminant information to
  72         the front-end and to gigi.
  73
  74 2009-04-17  Robert Dewar  <dewar@adacore.com>
  75
  76         * s-conca5.adb, g-sercom.adb, s-conca5.ads, s-conca7.adb, exp_imgv.adb,
  77         s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads,
  78         s-addope.adb, i-cstrin.ads, s-addope.ads, s-carun8.adb, s-carun8.ads,
  79         g-htable.ads, g-hesora.adb, g-hesora.ads, s-htable.adb, s-htable.ads,
  80         s-conca2.adb, s-conca2.ads, a-except.adb, s-conca4.adb, a-except.ads,
  81         s-conca4.ads, s-except.adb, s-except.ads, s-conca6.adb, s-conca6.ads,
  82         g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, s-conca8.adb,
  83         s-conca8.ads, g-byorma.adb, g-byorma.ads, s-memory.adb, s-memory.ads,
  84         g-speche.adb, g-speche.ads, g-stsifd-sockets.adb, exp_dist.adb,
  85         s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-exctab.adb,
  86         s-exctab.ads, s-imenne.adb, s-imenne.ads, s-casuti.adb, osint.adb,
  87         s-assert.adb, s-casuti.ads, s-assert.ads, s-os_lib.adb, s-conca3.adb,
  88         s-conca3.ads: Remove unneeded pragma Warnings
  89
  90 2009-04-17  Robert Dewar  <dewar@adacore.com>
  91
  92         * g-moreex.adb: Add comments.
  93
  94         * s-auxdec.ads: Add ??? comment for uncommented pragma Warnings (Off)
  95
  96         * s-auxdec-vms_64.ads: Add ??? comment for uncommented pragma
  97         Warnings (Off)
  98
  99         * prepcomp.adb: Add ??? comment
 100
 101         * a-tasatt.adb: Minor reformatting
 102
 103         * g-trasym-vms-alpha.adb: Add ??? comment
 104
 105         * g-trasym-vms-ia64.adb: Add ??? comment
 106
 107         * xoscons.adb: Minor reformatting
 108
 109         * s-tassta.adb: Minor reformatting
 110
 111         * s-scaval.adb: Add ??? comment
 112
 113         * stand.ads: Minor code clean up (remove junk with of Namet)
 114
 115         * s-strcom.adb, s-strcom.ads, s-string.adb, s-string.ads, s-sopco3.adb,
 116         s-sopco3.ads, s-strops.adb, s-strops.ads, s-sopco5.adb, s-sopco5.ads,
 117         s-wchcnv.adb, s-wchcnv.ads, s-ststop.adb, s-ststop.ads, s-soflin.adb,
 118         s-soflin.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads,
 119         s-secsta.adb, s-secsta.ads, s-utf_32.adb, s-utf_32.ads, s-wchcon.adb,
 120         s-wchjis.adb, s-wchcon.ads, s-wchjis.ads, s-sopco4.adb, s-sopco4.ads,
 121         s-stache.adb, s-stache.ads, s-stoele.adb, s-stoele.ads, s-stalib.adb,
 122         s-stalib.ads, s-os_lib.ads, s-purexc.ads: Remove no longer needed
 123         Warnings off pragmas.
 124
 125 2009-04-17  Pascal Obry  <obry@adacore.com>
 126
 127         * initialize.c: Fix test for reallocating the arguments array.
 128
 129 2009-04-17  Geert Bosch  <bosch@adacore.com>
 130
 131         * exp_fixd.adb (Expand_Convert_Float_To_Fixed): Have float to fixed
 132         conversion truncate only for decimal fixed point types.
 133
 134 2009-04-17  Jerome Lambourg  <lambourg@adacore.com>
 135
 136         * g-comlin.adb (Initialize_Scan_Option): Make sure the sections are
 137         reinitialized.
 138
 139 2009-04-17  Robert Dewar  <dewar@adacore.com>
 140
 141         * exp_ch5.adb (Expand_Assign_Array): Do not set Forwards_OK and
 142         Backwards_OK if either operand has an address clause.
 143
 144 2009-04-17  Pascal Obry  <obry@adacore.com>
 145
 146         * initialize.c: Code clean up, use realloc.
 147
 148 2009-04-17  Pascal Obry  <obry@adacore.com>
 149
 150         * initialize.c: Do not get Unicode command line if Unicode support not
 151         activated.
 152         Add support for wildcard expansion for Unicode parameters on Win32.
 153
 154         * mingw32.h: Add missing macros when Unicode support not activated.
 155
 156 2009-04-17  Javier Miranda  <miranda@adacore.com>
 157
 158         * sem_ch6.adb (Check_Anonymous_Return): Add missing checks to
 159         avoid generating code that references the Current_Master
 160         when compiling without tasks.
 161
 162 2009-04-17  Vincent Celier  <celier@adacore.com>
 163
 164         * prj-attr.adb: New project level attribute Target
 165
 166         * prj-nmsc.adb (Process_Project_Level_Simple_Attributes): Process
 167         attribute Target
 168
 169         * prj.ads (Project_Configuration): New component Target
 170
 171 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 172
 173         * exp_ch7.adb (Expand_Ctrl_Function_Call): Remove incorrect special
 174         case for the case of an aggregate component, the attach call for the
 175         result is actually needed.
 176
 177         * exp_aggr.adb (Backend_Processing_Possible): Backend processing for
 178         an array aggregate must be disabled if the component type requires
 179         controlled actions.
 180
 181         * exp_ch3.adb: Minor reformatting
 182
 183 2009-04-17  Bob Duff  <duff@adacore.com>
 184
 185         * output.ads (Indent,Outdent): New procedures for indenting the output.
 186         (Write_Char): Correct comment -- LF _is_ allowed.
 187
 188         * output.adb (Indent,Outdent): New procedures for indenting the output.
 189         Keep track of the indentation level, and make sure it doesn't get too
 190         high.
 191         (Flush_Buffer): Insert spaces at the beginning of each line, if
 192         indentation level is nonzero.
 193         (Save_Output_Buffer,Restore_Output_Buffer): Save and restore the current
 194         indentation level.
 195         (Set_Standard_Error,Set_Standard_Output): Remove superfluous
 196         "Next_Col := 1;".  Flush_Buffer does that.
 197
 198         * sem_ch6.adb, sem_ch7.adb (Debug_Flag_C): Reorganize the output
 199         controlled by the -gnatdc switch. It now occurs on entry/exit to the
 200         relevant analysis routines, and calls Indent/Outdent to make the
 201         indentation reflect the nesting level.  Add "helper" routines, since
 202         otherwise lots of "return;" statements would skip the debugging output.
 203
 204 2009-04-17  Arnaud Charlet  <charlet@adacore.com>
 205
 206         * s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-linux.adb,
 207         s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop-hpux-dce.adb,
 208         s-taprop-posix.adb (Suspend_Until_True): Protect against early wakeup.
 209
 210 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 211
 212         * exp_aggr.adb: Minor code reorganization, no behaviour change.
 213
 214 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 215
 216         * sem_ch8.adb (Use_One_Type): Handle properly a redundant use type
 217         clause in a unit that is a package body or a subunit, when the previous
 218         clause appears in a spec or a parent.
 219
 220 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 221
 222         * sinfo.ads, exp_aggr.adb, exp_aggr.ads: Minor reformatting
 223
 224         * exp_ch7.adb: Minor reformatting
 225
 226 2009-04-17  Bob Duff  <duff@adacore.com>
 227
 228         * exp_ch4.adb (Expand_Allocator_Expression): In an initialized
 229         allocator, check that the expression of the qualified expression obeys
 230         the constraints of the subtype of the qualified expression.
 231
 232 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 233
 234         * sprint.adb (Write_Itype): Add handling of enumeration subtypes.
 235
 236 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 237
 238         * exp_ch4.adb (Expand_Allocator_Expression): Apply constraint check to
 239         aggregate, using context imposed by subtype mark in allocator.
 240
 241 2009-04-17  Pascal Obry  <obry@adacore.com>
 242
 243         * gnat_rm.texi: Document GNAT_CODE_PAGE environment variable
 244
 245 2009-04-17  Nicolas Roche  <roche@adacore.com>
 246
 247         * initialize.c (__gnat_initialize): remove MAX_PATH limitation on each
 248         argument length.
 249
 250 2009-04-17  Gary Dismukes  <dismukes@adacore.com>
 251
 252         * sem_elim.adb (Eliminate_Error_Msg): Minor change to error message to
 253         cover both calls and attribute references ("call" => "reference").
 254
 255 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 256
 257         * sem_ch3.adb (Analyze_Subtype_Declaration): A subtype of an access
 258         type for which Storage_Size is set to 0 is legal in a pure unit.
 259
 260 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 261
 262         * exp_ch7.adb: Minor reformatting
 263
 264 2009-04-17  Robert Dewar  <dewar@adacore.com>
 265
 266         * restrict.adb (Check_Restriction_No_Dependence): Don't check
 267         restriction if outside main extended source unit.
 268
 269         * sem_ch10.adb (Analyze_With_Clause): Check No_Dependence restriction
 270         for parents of child units as well as the child unit itself.
 271
 272 2009-04-17  Bob Duff  <duff@adacore.com>
 273
 274         * checks.ads: Minor comment fix
 275
 276         * exp_aggr.ads: Minor comment fix
 277
 278 2009-04-17  Nicolas Roche  <roche@adacore.com>
 279
 280         * adaint.c: Improve cross compiler detection and handling.
 281
 282 2009-04-17  Eric Botcazou  <ebotcazou@adacore.com>
 283
 284         * exp_ch4.adb (Expand_Concatenation): Do not use calls at -Os.
 285
 286 2009-04-17  Pascal Obry  <obry@adacore.com>
 287
 288         * mingw32.h: Add S2WSC and WS2SC macros to convert to/from
 289         CurrentCodePage.
 290
 291         * adaint.h: Encoding_Unspecified is now defined. Corresponds to the
 292         value when no encoding form paramter is set on Text_IO services.
 293
 294         * adaint.c: CurrentCodePage new variable on Windows.
 295         Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
 296         ones.
 297
 298         * mkdir.c: Use new macros S2WSC and WS2SC instead of the UTF-8 oriented
 299         ones.
 300
 301         * initialize.c: Initialize CurrentCodePage depending on GNAT_CODE_PAGE
 302         environment variable value. Default is UTF-8.
 303
 304         * s-crtl.ads: Filename_Encoding add Unspecified in the enumeration type.
 305         fopen and freopen encoding parameter is now set to Unspecified.
 306         The default value is in this case UTF-8 (as it was before) but
 307         use the new macros that convert to/from the code page set
 308         at runtime (CurrentCodePage).
 309
 310         * s-fileio.adb: When no encoding specified use Unspecified value.
 311
 312 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 313
 314         * atree.adb, atree.ads: Remove dead code.
 315
 316 2009-04-17  Arnaud Charlet  <charlet@adacore.com>
 317
 318         * gcc-interface/Make-lang.in: Update dependencies.
 319
 320 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 321
 322         * sem_ch3.adb (Access_Subprogram_Definition): Additional checks on
 323         illegal uses of incomplete types in formal parts and return types.
 324
 325         * sem_ch6.adb (Process_Formals): Taft-amendment types are legal in
 326         access to subprograms.
 327
 328         * sem_ch7.adb (Uninstall_Declarations): diagnose attempts to use
 329         Taft-amendment types as the return type of an access_to_function type.
 330
 331         * freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
 332         type for access_to_subprograms. The check is performed on package exit.
 333
 334 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 335
 336         * atree.ads, atree.adb: Move New_Copy_Tree.to sem_util.
 337
 338         * nlists.ads, nlists.adb: Move New_Copy_List to sem_util.
 339
 340         * lib-load.adb: Use Copy_Separate_Tree rather than New_Copy_Tree
 341
 342         * sem_util.ads, sem_util.adb: New_Copy_Tree and New_Copy_List belong in
 343         semantic units, because the handling of itypes in the copied tree
 344         requires semantic information that does not belong in atree.
 345
 346 2009-04-17  Robert Dewar  <dewar@adacore.com>
 347
 348         * par-ch6.adb: Minor reformatting
 349
 350         * prj.adb: Minor reformatting
 351
 352 2009-04-17  Gary Dismukes  <dismukes@adacore.com>
 353
 354         * par-ch6.adb (P_Subprogram): Overriding indicators should be allowed
 355         on protected subprogram bodies, so exclude the case where Pf_Flags is
 356         Pf_Decl_Pbod from the error check.
 357
 358         * par-ch9.adb (P_Protected_Operation_Items): Permit overriding
 359         indicators on subprograms in protected bodies, and proceed with parsing
 360         the subprogram.
 361
 362         * sem_ch6.adb (Verify_Overriding_Indicator): Exclude protected
 363         subprograms from the check for primitiveness on subprograms with
 364         overriding indicators.
 365         (Check_Overriding_Indicator): Include protected subprograms in the
 366         style check for missing overriding indicators.
 367
 368 2009-04-17  Tristan Gingold  <gingold@adacore.com>
 369
 370         * init.c: Fix stack checking for x86 Darwin.
 371
 372 2009-04-17  Vincent Celier  <celier@adacore.com>
 373
 374         * prj-attr.adb: New project level attribute Object_File_Suffix
 375         (<language>).
 376
 377         * prj-nmsc.adb (Add_Source): Use the object file suffix to get the
 378         object file name
 379         (Process_Compiler): Process attribute Object_File_Suffix
 380
 381         * prj.adb (Object_Name): Use suffix Object_File_Suffix instead of
 382         platform suffix, when specified.
 383
 384         * prj.ads (Language_Config): New component Object_File_Suffix,
 385         defaulted to No_Name.
 386         (Object_Name): New parameter Object_File_Suffix, defaulted to No_Name
 387
 388         * snames.ads-tmpl: New standard name Object_File_Suffix
 389
 390 2009-04-17  Robert Dewar  <dewar@adacore.com>
 391
 392         * gnat_rm.texi: Add documentation about No_Streams restriction
 393
 394         * sem_attr.adb (Check_Stream_Attribute): Exclude implicit stream
 395         attributes when checking No_Streams restriction.
 396
 397 2009-04-17  Thomas Quinot  <quinot@adacore.com>
 398
 399         * rtsfind.ads (RE_Request_Destroy): New PolyORB s-parint entity.
 400
 401         * exp_dist.adb (PolyORB_Support.Build_General_Calling_Stubs): Add
 402         missing calls to RE_Request_Destroy to deallocate request objects after
 403         use.
 404
 405 2009-04-17  Nicolas Setton  <setton@adacore.com>
 406
 407         * link.c: Fix support for passing a response file under Darwin.
 408
 409 2009-04-17  Emmanuel Briot  <briot@adacore.com>
 410
 411         * prj.adb (Free): new subprogram.
 412
 413 2009-04-17  Ed Schonberg  <schonberg@adacore.com>
 414
 415         * sem_ch3.adb: additional initialization on incomplete subtypes.
 416
 417         * sem_ch6.adb (Process_Formals): if the subprogram is in the private
 418         part and one of the formals is an incomplete tagged type, attach to
 419         list of private dependends of the type for later validation.
 420
 421         * sem_ch7.adb (Uninstall_Declarations): diagnose attempts to declare
 422         primitive operations of a Taft-amendmment type.
 423
 424         * freeze.adb (Freeze_Entity): Remove tests on formals of an incomplete
 425         type. The check is performed on package exit, possibly after the
 426         subprogram is frozen.
 427
 428 2009-04-17  Vincent Celier  <celier@adacore.com>
 429
 430         * prj-nmsc.adb (Get_Directories): Get the object and exec directory
 431         before looking for source directories, but make sure that there are nil
 432         if they are not explicitely declared and there is explicitely no
 433         sources in the project.
 434
 435 2009-04-17  Pascal Obry  <obry@adacore.com>
 436
 437         * initialize.c: Set gnat_argv with UTF-8 encoded strings on Windows.
 438
 439         * init.c: Fix minor typo and style fix.
 440
 441 2009-04-17  Robert Dewar  <dewar@adacore.com>
 442
 443         * a-except.adb, a-except-2005.adb: Add PE_Address_Of_Intrinsic
 444
 445         * sem_attr.adb (Analyze_Attribute, case Address): Use
 446         PE_Address_Of_Intrinsic.
 447
 448         * types.ads: Add PE_Address_Of_Intrinsic
 449
 450         * types.h: Add PE_Address_Of_Intrinsic
 451
 452 2009-04-17  Nicolas Setton  <setton@adacore.com>
 453
 454         * gcc-interface/Makefile.in: Under darwin, build shared libraries
 455         with install_name starting with "@rpath/".
 456
 457 2009-04-17  Nicolas Setton  <setton@adacore.com>
 458
 459         * link.c: Add darwin section
 460
 461 2009-04-16  Robert Dewar  <dewar@adacore.com>
 462
 463         * g-pehage.adb: Minor reformatting
 464
 465         * sem_ch12.adb: Minor reformatting
 466
 467         * exp_dist.adb: Minor reformatting
 468
 469         * bindgen.adb: Minor style fixes.
 470
 471 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 472
 473         * sem_eval.adb (Eval_Indexed_Component): Extend constant-folding of
 474         indexed components to the case where the prefix is a static string
 475         literal.
 476
 477 2009-04-16  Javier Miranda  <miranda@adacore.com>
 478
 479         * exp_ch3.adb (Expand_N_Object_Declaration): In case of build-in-place
 480         objects avoid any further expansion of the expression initializing the
 481         object.
 482
 483 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 484
 485         * sem_ch12.adb (Preanalyze_Actuals): If the instance is a child unit
 486         that hides an outer homograph, make that homograph invisible when
 487         analyzing the actuals, to to prevent illegal direct visibility on it.
 488
 489 2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 490
 491         * g-pehage.adb (Initialize): Fix off-by-one error.
 492
 493 2009-04-16  Tristan Gingold  <gingold@adacore.com>
 494
 495         * init.c: Detect real stack overflow on Darwin.
 496
 497         * system-darwin-x86.ads: Use stack probing on darwin x86.
 498
 499 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 500
 501         * sem_attr.adb (Analyze_Attribute, case 'Address): It is illegal to
 502         take the address of an intrinsic subprogram.
 503
 504 2009-04-16  Arnaud Charlet  <charlet@adacore.com>
 505
 506         * gcc-interface/Makefile.in: Change g-trasym to g-trasym-unimplemented
 507         for the targets where GNAT.Traceback.Symbolic is not supported.
 508
 509 2009-04-16  Vincent Celier  <celier@adacore.com>
 510
 511         * g-trasym-unimplemented.ads, g-trasym-unimplemented.adb: New file.
 512
 513         * g-trasym.ads: Update comments.
 514
 515 2009-04-16  Vasiliy Fofanov  <fofanov@adacore.com>
 516
 517         * tracebak.c (STOP_FRAME): Verify validity of the current address
 518         before dereferencing.
 519
 520 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 521
 522         * sprint.adb (Write_Itype): If the itype is an array subtype, preserve
 523         the original location of the index expressions and the index subtypes,
 524         to prevent spurious out-of-scope references in gigi.
 525
 526 2009-04-16  Tristan Gingold  <gingold@adacore.com>
 527
 528         * init.c, s-osinte-darwin.ads, system-darwin-x86_64.ads:
 529         Add support for stack checking on darwin.
 530
 531 2009-04-16  Vincent Celier  <celier@adacore.com>
 532
 533         * prj-attr.adb: New attribute Runtime_Source_Dir
 534
 535         * prj-nmsc.adb (Process_Project_Level_Array_Attributes): Process
 536         attribute Runtime_Source_Dir.
 537         (Check_Naming_Schemes): Give default values to out parameters to avoid
 538         invalid data.
 539
 540         * prj.ads (Language_Config): New component Runtime_Source_Dir
 541
 542         * snames.ads-tmpl: New standard name Runtime_Source_Dir
 543
 544 2009-04-16  Pascal Obry  <obry@adacore.com>
 545
 546         * adaint.h, adaint.c (__gnat_rmdir): New routine.
 547         Simple wrapper routines used to convert to proper encoding on
 548         Windows.
 549
 550         * s-crtl.ads: Use __gnat_rmdir instead of direct call to the C library.
 551
 552         * g-dirope.adb (Remove_Dir): Fix a bug, the root directory was removed
 553         twice.
 554
 555 2009-04-16  Pascal Obry  <obry@adacore.com>
 556
 557         * s-crtl.ads, s-os_lib.adb: Minor code clean-up.
 558
 559 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 560
 561         * snames.ads-tmpl (Name_Defined): New predefined name for use by the
 562         integrated preprocessor.
 563
 564         * prep.ads, prep.adb (Setup_Hooks): New subprogram.
 565         (Initialize): Split into two subprograms, Initialize (to be called
 566         prior to compiler command line processing) and Setup_Hooks (to be called
 567         later on when the first source file is loaded).
 568
 569         * gprep.adb: Change call to Prep.Initialize to call to Prep.Setup_Hooks.
 570         Add call to Prep.Initialize.
 571
 572         * sinput-l.adb, prepcomp.adb: Change call to Prep.Initialize to call
 573         to Prep.Setup_Hooks.
 574
 575 2009-04-16  Pascal Obry  <obry@adacore.com>
 576
 577         * adaint.h, adaint.c (__gnat_chdir): New routine.
 578         Simple wrapper routines used to convert to proper encoding on
 579         Windows.
 580
 581         * s-crtl.ads: Use __gnat_chdir instead of direct call to the C library.
 582
 583         * a-direct.adb, g-dirope.adb: Use chdir from System.CRTL.
 584
 585 2009-04-16  Quentin Ochem  <ochem@adacore.com>
 586
 587         * sinput-p.adb (Clear_Source_File_Table): Use Sinput.Initialize instead
 588         of Source.Init.
 589
 590 2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 591
 592         * a-convec.ads (Is_Empty): Mark inline.
 593
 594 2009-04-16  Nicolas Roche  <roche@adacore.com>
 595
 596         * init.c (__gnat_init_float): Initialize FPU on x86_64 windows
 597
 598 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 599
 600         * prepcomp.adb: Minor reformatting
 601
 602 2009-04-16  Jerome Lambourg  <lambourg@adacore.com>
 603
 604         * sem_prag.adb (Process_Import_Or_Interface): With .NET,
 605         Access_Subprogram types can also be imported.
 606         (Check_Form_Of_Interface_Name): Accept '/' character in entity CIL
 607         names.
 608
 609 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 610
 611         * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
 612         preserve homonym chain when the declaration is rewritten into a
 613         renaming declaration, in order to preserve visibility structure.
 614
 615 2009-04-16  Jerome Lambourg  <lambourg@adacore.com>
 616
 617         * sem_prag.adb (Analyze_Pragma): Make sure that pragma pack is not
 618         taken into account for VM targets.
 619
 620 2009-04-16  Hristian Kirtchev  <kirtchev@adacore.com>
 621
 622         * g-calend.ads, g-calend.adb (Week_In_Year): Now calls
 623         Year_Week_In_Year.
 624         (Year_Week_In_Year): New routine which contains the original code from
 625         Week_In_Year. Add the missing special case for January 1st falling on
 626         a Monday.
 627
 628 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 629
 630         * exp_dist.adb (Build_From_Any_Call): For a subtype that is a generic
 631         actual type, use the base type to build the To_Any function.
 632         (Build_From_Any_Function): Remove junk, useless subtype conversion.
 633
 634 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 635
 636         * exp_ch9.adb, exp_code.adb, tbuild.adb, sem_case.adb,
 637         restrict.adb: Minor code reorganization (use
 638         Add_{Char,Str}_To_Name_Buffer instead of inlining it by hand).
 639
 640 2009-04-16  Bob Duff  <duff@adacore.com>
 641
 642         * exp_ch6.ads, exp_ch6.adb (Is_Build_In_Place_Function_Return): Remove,
 643         unused.
 644
 645 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 646
 647         * sem_ch4.adb: Minor reformatting
 648
 649         * adaint.c: Remove junk duplicated code.
 650
 651         * sem_ch3.adb: Minor reformatting
 652
 653         * exp_dist.adb: Minor comment rewording
 654
 655 2009-04-16  Robert Dewar  <dewar@adacore.com>
 656
 657         * gnat_rm.texi: Document effect of Assume_No_Invalid_Values and -gnatVa
 658         used together.
 659
 660 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 661
 662         * sem_ch4.adb (Find_Equality_Types): Filter out types that are not
 663         usable before calling Add_One_Interp, to resolve spurious ambiguities.
 664
 665 2009-04-16  Robert Dewar  <dewar@adacore.com>
 666
 667         * Make-lang.in: Add entries for s-conca?.o
 668
 669         * Makefile.rtl: Add entries for s-conca?
 670
 671         * debug.adb: Add debug flags -gnatd.c and -gnatd.C to control behavior
 672         of concatenation expansion
 673
 674         * exp_ch4.adb (Expand_Concatenation): Generate calls for certain
 675         string cases instead of expanding assignments inline.
 676
 677         * opt.ads (Optimize_Size): New flag
 678
 679         * s-conca2.ads, s-conca2.adb, s-conca3.adb, s-conca3.ads,
 680         s-conca4.adb, s-conca4.ads, s-conca5.adb, s-conca5.ads, s-conca6.adb,
 681         s-conca6.ads, s-conca7.ads, s-conca7.adb, s-conca8.adb, s-conca8.ads,
 682         s-conca9.adb, s-conca9.ads: New file.
 683
 684 2009-04-16  Robert Dewar  <dewar@adacore.com>
 685
 686         * exp_ch6.adb: Add comments
 687
 688         * rtsfind.ads: Add entries for s-conca? routines
 689
 690 2009-04-16  Arnaud Charlet  <charlet@adacore.com>
 691
 692         * gcc-interface/Make-lang.in: Update dependencies.
 693
 694         * gcc-interface/Makefile.in: Update translation for vms.
 695
 696 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 697
 698         * sem_ch12.adb (Map_Formal_Package_Entities): renamed from Map_Entities
 699         and made global, to be used when installing parents of a child
 700         instance, to provide mappings for entities declared in formal packages
 701         of ancestor units. Now called from Install_Formal_Packages.
 702
 703 2009-04-16  Doug Rupp  <rupp@adacore.com>
 704
 705         * s-taskin.adb (Initialize_ATCB): Initialize Debug_Events with others
 706         notation for clarity.
 707
 708         * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb,
 709         s-taprop-mingw.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
 710         s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-posix.adb
 711         (Initialize): Initialize Known_Tasks with Environment task.
 712
 713         * s-taskin.ads (Task_States): Move new states to end for the sake of
 714         GDB compatibility.
 715
 716         * s-tassta.adb (Task_Wrapper): Fix comment about Enter_Task.
 717
 718 2009-04-16  Ed Schonberg  <schonberg@adacore.com>
 719
 720         * exp_ch9.adb (Expand_N_Protected_Type_Declaration): If a protected
 721         operation has an inline pragma, propagate the flag to the internal
 722         unprotected subprogram.
 723
 724 2009-04-16  Doug Rupp  <rupp@adacore.com>
 725
 726         * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-mingw.adb,
 727         s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-irix.adb,
 728         s-taprop-hpux-dce.adb, s-taprop-posix.adb
 729         (Enter_Task): Move Known_Tasks initialization to s-tassta.adb
 730
 731         * s-taprop-vms.adb (Enter_Task): Likewise.
 732         (Initialize): Import DBEXT, Debug_Register. Register DBGEXT callback.
 733
 734         * s-tassta.adb (Activate_Tasks): After task creation set state to
 735         Activating, vice Runnable. Initialize Known_Tasks, moved here from
 736         s-taprop.adb (Enter_Task). Set Debug_Event_Activating for debugger.
 737         Set state to Runnable after above.
 738         (Task_Wrapper): Set Debug_Event_Run. In exception block set
 739         Debug_Event_Terminated.
 740
 741         * s-taskin.ads (Task_States): Add new states Activiting and
 742         Activator_Delay_Sleep.
 743         (Bit_Array, Debug_Event_Array): New types.
 744         (Global_Task_Debug_Event_Set: New flag.
 745         (Common_ATCB): New field Debug_Events.
 746
 747         * s-taskin.adb (Initialize_ATCB): Initialize Debug_Events.
 748
 749         * s-tasren.adb (Timed_Selective_Wait): Set Activator_Delay_Sleep vice
 750         Activator_Sleep.
 751
 752         * s-tasini.adb (Locked_Abort_To_Level): Add case alternatives for when
 753         Activating and when Acceptor_Delay_Sleep.
 754
 755         * s-tasdeb.ads: Add constants for Debug_Events.
 756         (Debug_Event_Kind_Type): New subtype.
 757         (Signal_Debug_Event): New subprogram.
 758
 759         * s-tasdeb.adb (Signal_Debug_Event): New null subprogram.
 760
 761 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 762
 763         * sem_elim.adb: Minor reformatting
 764
 765         * freeze.adb: Minor reformatting
 766
 767         * exp_ch4.adb: Minor reformatting
 768
 769 2009-04-16  Emmanuel Briot  <briot@adacore.com>
 770
 771         * prj-nmsc.adb (Path_Name_Of): fix memory leak
 772
 773 2009-04-16  Robert Dewar  <dewar@adacore.com>
 774
 775         * sinfo.ads (Backwards_OK, Forwards_OK): Clarify documentation
 776
 777 2009-04-16  Vincent Celier  <celier@adacore.com>
 778
 779         * fmap.adb (Initialize): Show the current line when the mapping file
 780         is detected as "incorrectly formatted".
 781
 782 2009-04-16  Robert Dewar  <dewar@adacore.com>
 783
 784         * sem_ch12.adb: Minor reformatting
 785
 786         * sem_ch5.adb: Minor comment addition
 787
 788         * sem_util.adb: Minor reformatting
 789
 790         * sinput-p.adb: Minor reformatting
 791         Add missing pragma Warnings (On)
 792
 793 2009-04-16  Ed Falis  <falis@adacore.com>
 794
 795         * s-vxwext-kernel.adb: (ERROR): deleted unused constant
 796
 797 2009-04-16  Vincent Celier  <celier@adacore.com>
 798
 799         * ali-util.adb: Minor comment spelling error fix
 800
 801 2009-04-16  Eric Botcazou  <ebotcazou@adacore.com>
 802
 803         * exp_ch5.adb (Expand_Assign_Array): For the GCC back-end, do not
 804         generate an assignment loop in case of overlap.
 805
 806 2009-04-16  Olivier Hainque  <hainque@adacore.com>
 807
 808         * gnat_ugn.texi (gnatmem description): Make it explicit that
 809         gnatmem is designed to work in association with static runtime
 810         library only.
 811
 812 2009-04-16  Thomas Quinot  <quinot@adacore.com>
 813
 814         * sem_type.adb: Minor reformatting
 815
 816 2009-04-16  Hristian Kirtchev  <kirtchev@adacore.com>
 817
 818         * s-osprim-darwin.adb, s-osprim-posix.adb (Clock): Add comment
 819         concerning return codes of gettimeofday and return value check.
 820
 821 2009-04-16  Ed Falis  <falis@adacore.com>
 822
 823         * s-vxwext-kernel.ads (Int_Lock, Int_Unlock): set to convention C so
 824         body can be renaming of imported routines.
 825
 826 2009-04-16  Vasiliy Fofanov  <fofanov@adacore.com>
 827
 828         * s-asthan-vms-alpha.adb: Disable warnings on alignment in a more
 829         targeted fashion.
 830
 831 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
 832
 833         * exp_ch9.adb: Comment improvements.
 834         (Build_Entry_Family_Name): Add parentheses around the index of a entry
 835         family member.
 836
 837 2009-04-15  Bob Duff  <duff@adacore.com>
 838
 839         * sem_warn.adb (Check_Infinite_Loop_Warning): Catch cases like
 840         "while X /= null loop" where X is unchanged inside the loop. We were
 841         not warning in this case, because of the pointers -- we feared that the
 842         loop variable could be updated via a pointer, if there are any pointers
 843         around the place. But that is impossible in this case.
 844
 845         * sem_util.adb (May_Be_Lvalue): This routine was overly pessimistic in
 846         the case of dereferences. In X.all, X cannot be an l-value. We now
 847         catch that case (and implicit dereferences, too).
 848
 849 2009-04-15  Vincent Celier  <celier@adacore.com>
 850
 851         * sinput-p.ads, sinput-p.adb (Clear_Source_File_Table): New procedure
 852
 853 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
 854
 855         * sem_ch12.adb (Is_Actual_Of_Previous_Formal): Make fully recursive.
 856         From code reading.
 857         (Analyze_Package_Instantiation): If generic unit in child instance is
 858         the same as generic unit in parent instance, look for an outer homonym
 859         to locate the desired generic.
 860
 861 2009-04-15  Bob Duff  <duff@adacore.com>
 862
 863         * sem_ch5.adb (Analyze_Loop_Statement): Don't check for infinite loop
 864         warnings unless the loop comes from source, because checking generated
 865         loops is a waste of time, and makes it harder to debug
 866         Check_Infinite_Loop_Warning.
 867
 868         * sem_warn.adb (Check_Infinite_Loop_Warning): If the local variable
 869         tested in the while loop is a renaming, do not warn. Otherwise, we get
 870         false alarms, because it's usually renaming something that we can't
 871         deal with (an indexed component, a global variable, ...).
 872
 873         * gnat_rm.texi: Fix typo
 874
 875 2009-04-15  Thomas Quinot  <quinot@adacore.com>
 876
 877         * sem_ch6.adb: Minor reformatting
 878
 879 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
 880
 881         * exp_ch7.adb (Expand_Ctrl_Function_Call): Check for the case where the
 882         immediate parent of the controlled function call is a component
 883         association.
 884
 885 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
 886
 887         * sem_ch8.adb (Use_One_Type): If the type is tagged, indicate that the
 888         corresponding class-wide type is also in use.
 889
 890 2009-04-15  Thomas Quinot  <quinot@adacore.com>
 891
 892         * frontend.adb: Minor comment fix
 893
 894 2009-04-15  Robert Dewar  <dewar@adacore.com>
 895
 896         * gnatchop.adb (BOM_Length): New global variable
 897         (Write_Unit): Add new parameter Write_BOM
 898         (Write_Chopped_Files): Check for BOM and set Write_BOM for call
 899         to Write_Unit
 900
 901         * gnat_ugn.texi: Add note on propagation of BOM by gnatchop
 902
 903 2009-04-15  Geert Bosch  <bosch@adacore.com>
 904
 905         * system-mingw-x86_64.ads, system-darwin-x86_64.ads
 906         (Backend_Overflow_Checks): Set to True.
 907
 908 2009-04-15  Gary Dismukes  <dismukes@adacore.com>
 909
 910         * par-ch3.adb (P_Type_Declaration): Issue an error if the synchronized
 911         keyword is given in a record extension.
 912
 913 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
 914
 915         * exp_ch7.adb (Expand_Ctrl_Function_Call): Procede with the expansion
 916         of a controlled function call in the context of a record aggregate.
 917         This does not apply to array aggregates since the call will be expanded
 918         into assignments.
 919
 920 2009-04-15  Ed Falis  <falis@adacore.com>
 921
 922         * s-osinte-vxworks-kernel.adb, s-osinte-vxworks.adb,
 923         s-osinte-vxworks.ads s-vxwext.ads, s-vxwext-kernel.adb,
 924         s-vxwext-kernel.ads, s-vxwext-rtp.ads, s-vxwext-rtp.adb: Reorganize
 925         s-osinte-vxworks* and s-vxwext*.
 926
 927 2009-04-15  Arnaud Charlet  <charlet@adacore.com>
 928
 929         * gcc-interface/Make-lang.in: Update dependencies.
 930
 931         * gcc-interface/Makefile.in: Reorganization of s-osinte-vxworks*
 932         and s-vxwext*.
 933
 934 2009-04-15  Robert Dewar  <dewar@adacore.com>
 935
 936         * sem_ch13.adb (Unchecked_Conversions): Store source location instead
 937         of node for location for warning messages.
 938
 939         * gnatchop.adb: Minor reformatting
 940
 941 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
 942
 943         * exp_ch6.adb: additional guard for renaming declarations for in
 944         parameters of an array type.
 945
 946 2009-04-15  Robert Dewar  <dewar@adacore.com>
 947
 948         * sem_eval.adb (Get_Static_Length): Go to origin node for array bounds
 949         in case they were rewritten by expander (Force_Evaluation).
 950
 951         * targparm.adb (Get_Target_Parameters): Correct check for
 952         Suppress_Exception_Locations.
 953
 954 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
 955
 956         * exp_ch6.adb (Expand_Inlined_Call): If an in-parameter in a call to be
 957         inlined  is of an array type that is not bit-packed, use a renaming
 958         declaration to capture its value, rather than a constant declaration.
 959
 960 2009-04-15  Robert Dewar  <dewar@adacore.com>
 961
 962         * rtsfind.adb: Minor reformatting.
 963
 964 2009-04-15  Emmanuel Briot  <briot@adacore.com>
 965
 966         * prj-part.adb, prj-tree.adb, prj-tree.ads (Restore_And_Free): renames
 967         Restore, and free the saved context.
 968
 969 2009-04-15  Gary Dismukes  <dismukes@adacore.com>
 970
 971         * sem_ch3.adb (Analyze_Private_Extension_Declaration): Move error check
 972         for illegal private extension from a synchronized interface parent in
 973         front of check for illegal limited extension so that limited extension
 974         from a synchronized interface will be rejected.
 975         (Check_Ifaces): Check that a private extension that has a synchronized
 976         interface as a progenitor must be explicitly declared synchronized.
 977         Also check that a record extension cannot derive from a synchronized
 978         interface.
 979
 980 2009-04-15  Pascal Obry  <obry@adacore.com>
 981
 982         * adaint.h (__gnat_unlink): Add spec.
 983         (__gnat_rename): Likewise.
 984
 985 2009-04-15  Vincent Celier  <celier@adacore.com>
 986
 987         * prj-nmsc.adb: Minor spelling error corrections in error messages
 988
 989 2009-04-15  Robert Dewar  <dewar@adacore.com>
 990
 991         * sinfo.ads: Minor comment update
 992
 993         * opt.ads: Minor comment updates
 994
 995         * checks.adb (Enable_Overflow_Check): Do not set Do_Overflow_Check for
 996         modular type.
 997
 998 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
 999
1000         * exp_disp.ads, exp_disp.adb (Register_Primitive): Is now a function
1001         that generates the code needed to update a dispatch table when a
1002         primitive operation is declared with a subprogram body without previous
1003         spec. Insertion of the generated code is responsibility of the caller.
1004         (Make_DT): When building static tables, append the code created by
1005         Register_Primitive to update a secondary table after it has been
1006         constructed.
1007
1008         * exp_ch3.adb, exp_ch6.adb: use new version of Register_Primitive.
1009
1010         * sem_disp.adb (Check_Dispatching_Operation): Call Register_Primitive
1011         on an overriding operation that implements an interface operation only
1012         if not building static dispatch tables.
1013
1014 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
1015
1016         * a-caldel-vms.adb (To_Duration): Declare a "safe" end of time which
1017         does not cause overflow when converted to Duration. Use the safe value
1018         as the maximum allowable time delay..
1019
1020 2009-04-15  Jerome Lambourg  <lambourg@adacore.com>
1021
1022         * g-comlin.adb (Set_Command_Line): When adding a switch with attached
1023         parameter, specify that the delimiter is NUL, otherwise "-j2" will be
1024         translated to "-j 2".
1025
1026 2009-04-15  Bob Duff  <duff@adacore.com>
1027
1028         * rtsfind.adb (Maybe_Add_With): Split out procedure to add implicit
1029         with_clauses, to avoid code duplication. Change this processing so we
1030         always add a with_clause on the main unit if needed.
1031
1032 2009-04-15  Pascal Obry  <obry@adacore.com>
1033
1034         Add support for Win32 native encoding for delete/rename routines.
1035
1036         * adaint.c (__gnat_unlink): New routine.
1037         (__gnat_rename): New routine.
1038         Simple wrapper routines used to convert to proper encoding on
1039         Windows.
1040
1041         * s-os_lib.adb: Use __gnat_unlink and __gnat_rename instead of direct
1042         call to the C library.
1043
1044         * g-sercom-mingw.adb, s-win32.ads: Update Win32 binding.
1045
1046 2009-04-15  Robert Dewar  <dewar@adacore.com>
1047
1048         * s-tassta.adb: Minor reformatting
1049
1050 2009-04-15  Robert Dewar  <dewar@adacore.com>
1051
1052         * frontend.adb (Frontend): Set proper default for
1053         Warn_On_Non_Local_Exception.
1054
1055         * opt.ads (Exception_Handler_Encountered): New flag
1056         (No_Warn_On_Non_Local_Exception): New flag
1057
1058         * par-ch11.adb (P_Exception_Handler): Set Exception_Handler_Encountered
1059
1060         * sem_warn.adb (Set_Warning_Switch): Set No_Warn_On_Non_Local_Exception
1061         (Set_Dot_Warning_Switch): Set No_Warn_On_Non_Local_Exception
1062
1063 2009-04-15  Cyrille Comar  <comar@adacore.com>
1064
1065         * s-tassta.adb, a-exextr.adb, a-elchha.adb
1066         (Ada.Exception.Last_Chance_Handler): Do not print unhandled exception
1067         message when exception traces are active since it would generate
1068         redundant information.
1069         (Exception_Traces.Notify_Exception): put message output by a critical
1070         section to avoid unsynchronized output.
1071         (Trace_Unhandled_Exception_In_Task): put message output by a critical
1072         section to avoid unsynchronized output.
1073
1074 2009-04-15  Emmanuel Briot  <briot@adacore.com>
1075
1076         * g-comlin.adb, prj-tree.adb, prj-tree.ads, prj.adb, prj.ads
1077         (Free): New subprogram.
1078
1079 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
1080
1081         * a-calend.adb: Add new constant Nanos_In_Four_Years.
1082         (Formatting_Operations.Time_Of): Change the way four year chunks of
1083         nanoseconds are added to the intermediate result.
1084
1085 2009-04-15  Nicolas Setton  <setton@adacore.com>
1086
1087         * sysdep.c: Add __APPLE__ in the list of systems where get_immediate
1088         does not need to wait for a carriage return.
1089
1090 2009-04-15  Tristan Gingold  <gingold@adacore.com>
1091
1092         * bindgen.adb: Do not generate adafinal if No_Finalization restriction
1093         is set.
1094
1095 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1096
1097         * freeze.adb (Freeze_Entity): improve error message for improper use of
1098         incomplete types.
1099         Diagnose additional illegal uses of incomplete types in formal parts.
1100         appearing in formal parts.
1101
1102         * sem_ch6.adb (Process_Formals, Analyze_Return_Type): ditto.
1103
1104 2009-04-15  Robert Dewar  <dewar@adacore.com>
1105
1106         * exp_ch4.adb (Expand_N_Allocator): Install test for object too large.
1107
1108 2009-04-15  Nicolas Roche  <roche@adacore.com>
1109
1110         * adaint.c: Add function __gnat_lwp_self that retrieves the LWP of the
1111         current thread.
1112
1113         * s-osinte-linux.ads: Import the __gnat_lwp_self function as lwp_self
1114
1115         * s-taprop-linux.adb (Enter_Task): Store the LWP in the TCB
1116
1117 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1118
1119         * sem_ch4.adb: improve error message on exponentiation.
1120
1121 2009-04-15  Hristian Kirtchev  <kirtchev@adacore.com>
1122
1123         * a-calend.adb: Move constant Epoch_Offset from package
1124         Conversion_Operations to top level.
1125         (Delay_Operations.To_Duration): Define a constant which represents
1126         "end of time" and use it as a guard against very distant delay dates.
1127         Protect the code against overflow when performing the origin shift to
1128         Unix time.
1129
1130 2009-04-15  Robert Dewar  <dewar@adacore.com>
1131
1132         * sem_prag.adb: Minor reformatting.
1133
1134         * sem_type.adb: Minor reformatting
1135
1136 2009-04-15  Javier Miranda  <miranda@adacore.com>
1137
1138         * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Add missing
1139         support to check eliminated subprograms.
1140
1141         * sem_elim.ads (Eliminate_Error_Msg): Update documentation.
1142
1143         * sem_elim.adb (Set_Eliminated): Add support for elimination of
1144         dispatching subprograms.
1145
1146         * exp_disp.adb (Make_DT): Minor code cleanup when freezing primitive
1147         operations. Initialize with "null" the slots of eliminated dispaching
1148         primitives.
1149         (Write_DT): Add output for eliminated primitives.
1150
1151         * sem_disp.adb (Check_Dispatching_Call): Check eliminated primitives.
1152
1153 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1154
1155         * sem_ch8.adb (Use_One_Type): If both clauses appear on the same unit,
1156         the second is redundant, regardless of scopes.
1157
1158 2009-04-15  Vincent Celier  <celier@adacore.com>
1159
1160         * prj-nmsc.adb (Get_Directories): Check for sources before checking
1161         the object directory as when there are no sources, they may not be any
1162         object directory.
1163
1164         * make.adb (Gnatmake): Do not attempt to get the path name of the exec
1165         directory, when there are no exec directory.
1166
1167 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1168
1169         * sem_type.adb (Remove_Conversions): In order to resolve spurious
1170         ambiguities, refine removal of universal interpretations from complex
1171         expressions with literal arguments, when some numeric operators have
1172         been declared abstract.
1173
1174 2009-04-15  Ed Falis  <falis@adacore.com>
1175
1176         * init.c: Map SIGSEGV to Storage_Error for all targets for uniformity
1177         and backward compatibility for targets using probing for stack overflow
1178
1179 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1180
1181         * sem_prag.adb (Analyze_Pragma, case 'Obsolescent): Pragma is legal
1182         after any declaration, including renaming declarations.
1183
1184 2009-04-15  Arnaud Charlet  <charlet@adacore.com>
1185
1186         * gcc-interface/Make-lang.in: Update dependencies.
1187
1188         * gcc-interface/Makefile.in: Fix VxWorks target pairs.
1189         Update xenomai target pairs.
1190
1191 2009-04-15  Javier Miranda  <miranda@adacore.com>
1192
1193         * exp_ch4.adb (Expand_N_Allocator): Code cleanup.
1194
1195         * sem_ch6.adb (Check_Anonymous_Return): Add missing support for
1196         functions returning anonymous access to class-wide limited types. Mark
1197         also the containing scope as a task master.
1198
1199         * sem_ch8.adb (Restore_Scope_Stack): Add missing management for
1200         limited-withed packages. Required to restore their visibility after
1201         processing packages associated with implicit with-clauses.
1202
1203         * exp_ch3.adb (Build_Class_Wide_Master): Avoid marking masters
1204         associated with return statements because this work is now done by
1205         Check_Anonymous_Return.
1206         (Build_Master): Code cleanup.
1207
1208 2009-04-15  Thomas Quinot  <quinot@adacore.com>
1209
1210         * sem_warn.ads: Minor reformatting
1211
1212 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1213
1214         * sem_ch3.adb: better error message for illegal interfaces
1215
1216         * sem_ch6.adb (Possible_Freeze): Delay freezing a subprogram if a
1217         formal is an incomplete type from a limited_with clause.
1218
1219 2009-04-15  Vincent Celier  <celier@adacore.com>
1220
1221         * prj-nmsc.adb (Locate_Directory): New Boolean parameter
1222         Externally_Built indicating if the project is externally built. If it
1223         is, and --subdirs is specified, but the subdir does not exist, look
1224         for the specified directory, without the subdir.
1225
1226 2009-04-15  Gary Dismukes  <dismukes@adacore.com>
1227
1228         * a-tasatt.adb: Fix typo, plus minor reformatting
1229
1230         * sem_ch3.ads: Add missing hyphen ("class wide" => "class-wide").
1231
1232         * sem_ch10.adb: Add missing hyphen ("use visible" => "use-visible").
1233
1234 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1235
1236         * sem_ch3.adb (Analyze_Private_Extension_Declaration): Verify that a
1237         private extension whose parent is a synchronized interface carries an
1238         explicit synchronized keyword.
1239
1240 2009-04-15  Thomas Quinot  <quinot@adacore.com>
1241
1242         * exp_smem.adb (Make_Shared_Var_Procs): For a protected type,
1243         instantiate generic shared object package with the corresponding
1244         record type.
1245
1246 2009-04-15  Arnaud Charlet  <charlet@adacore.com>
1247
1248         * system-linux-sparc.ads: Remove obsolete entries.
1249
1250 2009-04-15  Thomas Quinot  <quinot@adacore.com>
1251
1252         * s-tasuti.ads: Add ??? comment
1253
1254 2009-04-15  Ed Schonberg  <schonberg@adacore.com>
1255
1256         * sem_ch3.adb (Analyze_Type_Declaration): Create freeze node for access
1257         type even if the designated type comes from a limited_with clause, to
1258         ensure that the symbol for the finalization list of the access type is
1259         created.
1260
1261 2009-04-10  Robert Dewar  <dewar@adacore.com>
1262
1263         * sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): Catch more cases
1264         for warning suppression.
1265
1266 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1267
1268         * sem_ch8.adb (Use_One_Type): If the two use_type clauses are
1269         identical, there is no redudancy to check.
1270
1271 2009-04-10  Gary Dismukes  <dismukes@adacore.com>
1272
1273         * exp_ch5.adb (Expand_N_Extended_Return_Statement): Delete redundant
1274         calls initializing SS_Allocator (which is initialized in following
1275         code).
1276         (Expand_Simple_Function_Return): Add comment about False value for
1277         Comes_From_Source on secondary-stack allocator.
1278
1279         * exp_ch9.adb (Build_Entry_Family_Name): Add comment.
1280         (Build_Entry_Name): Add comment.
1281
1282 2009-04-10  Robert Dewar  <dewar@adacore.com>
1283
1284         * einfo.ads, einfo.adb (Low_Bound_Tested): New name for Low_Bound_Known
1285
1286         * sem_prag.adb (Analyze_Pragma, case Check): Remove check for lower
1287         bound tested, since this is now done more generally in Sem_Res.
1288
1289         * sem_res.adb (Resolve_Comparison_Op): Add call to
1290         Check_Lower_Bound_Tested.
1291         (Resolve_Equality_Op): Add call to Check_Lower_Bound_Tested
1292
1293         * sem_warn.ads, sem_warn.adb (Check_Low_Bound_Tested): New procedure
1294         (Low_Bound_Tested): New name for Low_Bound_Known flag
1295
1296         * exp_ch5.adb: Minor reformatting
1297
1298         * exp_ch4.adb:
1299         Add comments on copying the Comes_From_Source flag for allocators
1300
1301         * sinfo.ads:
1302         Add comments on copying the Comes_From_Source flag for allocators
1303
1304         * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Copy
1305         Comes_From_Source flag from old allocator to new one.
1306
1307 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1308
1309         * sem_ch6.ads: Address missing documentation query
1310
1311 2009-04-10  Vincent Celier  <celier@adacore.com>
1312
1313         * prj-attr.adb:
1314         Add new Linker attributes Max_Command_Line_Length, Response_File_Format
1315         and Response_File_Switches.
1316
1317         * prj-nmsc.adb (Process_Linker): Process new attributes
1318         Max_Command_Line_Length, Response_File_Format and
1319         Response_File_Switches.
1320
1321         * prj.ads (Response_File_Format): New enumeration type
1322         (Project_Configuration): New componants Max_Command_Line_Length,
1323         Resp_File_Format and Resp_File_Options.
1324
1325         * snames.ads-tmpl: Add new standard names for linking response files
1326         for gprbuild: GNU, None, Object_List, Option_List,
1327         Max_Command_Line_Length, Response_File_Format and
1328         Response_File_Switches.
1329
1330 2009-04-10  Geert Bosch  <bosch@adacore.com>
1331
1332         * system-aix.ads, system-darwin-ppc.ads, system-darwin-x86.ads,
1333         system-freebsd-x86.ads, system-hpux.ads, system-hpux-ia64.ads,
1334         system-irix-n32.ads, system-irix-o32.ads, system-linux-alpha.ads,
1335         system-linux-hppa.ads, system-linux-ia64.ads, system-linux-ppc.ads,
1336         system-linux-s390.ads, system-linux-s390x.ads, system-linux-sh4.ads,
1337         system-linux-sparc.ads, system-linux-x86_64.ads, system-linux-x86.ads,
1338         system-mingw.ads, system-solaris-sparc.ads, system-solaris-sparcv9.ads,
1339         system-solaris-x86.ads, system-tru64.ads, system-vms_64.ads,
1340         system-vms.ads, system-vms-ia64.ads, system-vms-zcx.ads,
1341         system-vxworks-arm.ads, system-vxworks-m68k.ads,
1342         system-vxworks-mips.ads, system-vxworks-ppc.ads,
1343         system-vxworks-sparcv9.ads, system-vxworks-x86.ads
1344         (Backend_Overflow_Checks): Set to True.
1345
1346 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1347
1348         * exp_attr.adb: Minor reformatting
1349
1350 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1351
1352         * sem_prag.adb (Check_Precondition_Postcondition): Within a generic,
1353         analyze the expression for a postcondition, even if the compiler mode
1354         is Generate_Code.
1355
1356 2009-04-10  Robert Dewar  <dewar@adacore.com>
1357
1358         * sem_aux.adb: Minor reformatting
1359
1360 2009-04-10  Ed Falis  <falis@adacore.com>
1361
1362         * init.c: Change VxWorks 6 stack overflow checking for kernel apps.
1363
1364         * system-vxworks-ppc.ads, system-vxworks-x86.ads: Update header.
1365
1366 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1367
1368         * sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for
1369         undocumented formal.
1370         Minor reformatting
1371
1372         * a-direio.ads: Fix typo in comment
1373
1374         * sem_ch3.adb, g-dirope.adb, sem_type.adb, sem_ch12.adb, sem_case.adb,
1375         errout.adb, sem_ch4.adb, sem_ch11.adb, exp_dist.adb, sem_ch13.adb:
1376         Use uniform phrasing for comment at start of subprogram body.
1377
1378         * xsnamest.adb: Add note to explain why we use specific names for the
1379         newly generated files instead of generating snames.{ads,adb,h} directly
1380
1381 2009-04-10  Sergey Rybin  <rybin@adacore.com>
1382
1383         * vms_data.ads:
1384         Add qualifier for new gnatstub option '--no-exception'
1385
1386         * gnat_ugn.texi:
1387         Add the description of the new gnatstub option '--no-exception'
1388
1389 2009-04-10  Robert Dewar  <dewar@adacore.com>
1390
1391         * rtsfind.adb: Minor reformatting
1392
1393 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1394
1395         * sem_disp.adb: Minor reformatting.
1396         Add comment pointing to RM clause for the case of warning against a
1397         (failed) attempt at declaring a primitive operation elsewhere than in a
1398         package spec.
1399
1400 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1401
1402         * sem_ch12.adb (Denotes_Formal_Package): Check whether the package is
1403         an actual for a previous formal package of the current instance.
1404
1405 2009-04-10  Bob Duff  <duff@adacore.com>
1406
1407         * rtsfind.adb (RTE): Put implicit with_clauses on whatever unit needs
1408         them first, rather than on the extended main unit.
1409
1410 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1411
1412         * sem_ch6.adb (Check_Discriminant_Conformance): If discriminant
1413         specification of full view carries a null exclusion indicator, create
1414         an itype for it, to check for conformance with partial view.
1415
1416 2009-04-10  Bob Duff  <duff@adacore.com>
1417
1418         * rtsfind.ads: Minor code change: make RE_Unit_Table constant.
1419
1420         * rtsfind.adb: Minor comment changes, and remove useless code.
1421
1422         * sinfo.ads: Add ??? comment.
1423
1424 2009-04-10  Vincent Celier  <celier@adacore.com>
1425
1426         * vms_data.ads: Add missing GNAT SYNC VMS qualifiers -main= and -U
1427
1428 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1429
1430         * exp_attr.adb (Expand_N_Attribute_Reference, case 'Tag): If the tagged
1431         type is a synchronized type, retrieve tag information from the
1432         corresponding record, which has the dispatch table link.
1433
1434 2009-04-10  Jerome Lambourg  <lambourg@adacore.com>
1435
1436         * g-comlin.adb (Group_Analysis): Take care of switches that might be
1437         decomposed afterwards, but are present as-is in the command line
1438         configuration, and thus should be kept as-is.
1439
1440 2009-04-10  Robert Dewar  <dewar@adacore.com>
1441
1442         * gnat_rm.texi: Document that postconditions are tested on implicit
1443         returns.
1444
1445         * sem_aux.adb: Minor reformatting
1446
1447 2009-04-10  Gary Dismukes  <dismukes@adacore.com>
1448
1449         * itypes.adb (Create_Null_Excluding_Itype): Apply Base_Type when
1450         setting Etype.
1451
1452         * par-ch3.adb (P_Access_Type_Definition): Set new attribute
1453         Null_Exclusion_In_Return_Present when an access-to-function type has a
1454         result type with an explicit not null.
1455
1456         * sem_ch3.adb (Access_Subprogram_Definition): If a null exclusion is
1457         given on the result type, then create a null-excluding itype for the
1458         function.
1459
1460         * sem_ch6.adb (Analyze_Return_Type): Create a null-excluding itype in
1461         the case where a null exclusion is imposed on a named access type.
1462         (Analyze_Subprogram_Specification): Push and pop the scope of the
1463         function around the call to Analyze_Return_Type in the case of no
1464         formals, for consistency with handling when formals are present
1465         (Process_Formals does this). Ensures that any itype created for the
1466         return type will be associated with the proper scope.
1467
1468         * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): If a null
1469         exclusion is given on a generic function's result type, then create a
1470         null-excluding itype for the generic function.
1471         (Instantiate_Object): Set Null_Exclusion_Present of a constant created
1472         for an actual for a formal in object according to the setting on the
1473         formal. Ensures null exclusion checks are done when the association is
1474         elaborated.
1475
1476         * sinfo.ads: Add new flag Null_Exclusion_In_Return_Present on
1477         N_Access_Function_Definition.
1478
1479         * sinfo.adb: Add Get_ and Set_ operations for
1480         Null_Exclusion_In_Return_Present.
1481
1482 2009-04-10  Bob Duff  <duff@adacore.com>
1483
1484         * exp_ch5.adb, exp_ch6.adb, sem_ch6.adb: Move the code that creates a
1485         call to the _Postconditions procedure in the case of implicit returns
1486         from analysis to expansion. This eliminates some duplicated code. Use
1487         the Postcondition_Proc to find the identity of this procedure during
1488         expansion.
1489
1490 2009-04-10  Robert Dewar  <dewar@adacore.com>
1491
1492         * sem_ch6.adb: Minor code clean up.
1493
1494         * einfo.ads, sem_attr.adb: Minor comment fixes.
1495
1496 2009-04-10  Robert Dewar  <dewar@adacore.com>
1497
1498         * sem_ch8.adb: Minor reformatting
1499
1500 2009-04-10  Robert Dewar  <dewar@adacore.com>
1501
1502         * einfo.ads, einfo.adb (Postcondition_Proc): New attribute for
1503         procedures.
1504
1505         * sem_ch6.adb: Minor code clean up.
1506
1507 2009-04-10  Robert Dewar  <dewar@adacore.com>
1508
1509         * mlib-tgt-specific-xi.adb: Minor reformatting
1510
1511 2009-04-10  Bob Duff  <duff@adacore.com>
1512
1513         * einfo.ads: Minor comment fixes
1514
1515 2009-04-10  Vincent Celier  <celier@adacore.com>
1516
1517         * snames.ads-tmpl: Remove names that are no longer used in the
1518         Project Manager.
1519         Mark specifically those that are used only in gprbuild
1520
1521 2009-04-10  Eric Botcazou  <ebotcazou@adacore.com>
1522
1523         * init.c: Adjust EH support code on Alpha/Tru64.
1524
1525 2009-04-10  Bob Duff  <duff@adacore.com>
1526
1527         * sem_ch6.adb (Process_PPCs): Add a call to the _Postconditions
1528         procedure on every path that could return implicitly (not via a return
1529         statement) from a procedure.
1530
1531 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1532
1533         * exp_ch9.adb (Build_Master_Entity): An extended return statement is a
1534         valid scope for a task declarations and therefore for a master id.
1535
1536 2009-04-10  Robert Dewar  <dewar@adacore.com>
1537
1538         * sem_aux.adb: Minor reformatting
1539
1540 2009-04-10  Vincent Celier  <celier@adacore.com>
1541
1542         * scn.adb (Obsolescent_Check_Flag): New Boolean flag, initialized to
1543         True.
1544         (Obsolescent_Check): Do nothing if Obsolescent_Check_Flag is False
1545         (Set_Obsolescent_Check): New procedure to change the value of
1546         Obsolescent_Check_Flag.
1547
1548         * scn.ads (Set_Obsolescent_Check): New procedure to control
1549         Obsolescent_Check.
1550
1551         * sinput-l.adb (Load_File): Do not check for pragma Restrictions on
1552         obsolescent features while preprocessing.
1553
1554 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1555
1556         * xsnamest.adb: Use XUtil to have uniform line endings (UNIX style) in
1557         generated files on all platforms.
1558
1559 2009-04-10  Robert Dewar  <dewar@adacore.com>
1560
1561         * sem_aux.adb: Minor reformatting
1562
1563 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1564
1565         * sem_ch3.adb (Access_Definition): Handle properly the case of a
1566         protected function with formals that returns an anonymous access type.
1567
1568 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1569
1570         * sem_disp.adb: Minor reformatting
1571
1572 2009-04-10  Vasiliy Fofanov  <fofanov@adacore.com>
1573
1574         * seh_init.c: Do not use the 32-bit specific implementation of
1575         __gnat_install_SEH_handler on 64-bit Windows target (64-bit specific
1576         version TBD).
1577
1578 2009-04-10  Jose Ruiz  <ruiz@adacore.com>
1579
1580         * mlib-tgt-specific-xi.adb (Get_Target_Prefix): Target_Name may contain
1581         a '/' at the end so we better use the complete target name to determine
1582         whether it is a PowerPC 55xx target.
1583
1584 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1585
1586         * sem_eval.adb: Minor reformatting
1587
1588 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1589
1590         * snames.h, snames.ads, snames.adb: Remove files, now generated from
1591         templates.
1592
1593         * snames.h-tmpl, snames.ads-tmpl, snames.adb-tmpl: Templates for the
1594         above.
1595
1596         * xsnamest.adb: New file.
1597
1598         * gcc-interface/Make-lang.in: New target for automated generation of
1599         snames.ads, snames.adb and snames.h
1600
1601 2009-04-10  Tristan Gingold  <gingold@adacore.com>
1602
1603         * gcc-interface/Makefile.in, gcc-interface/utils.c: Include "rtl.h" to
1604         avoid compile time warnings.
1605         Do not add gcc/config in include search list while compiling the RTS.
1606         Pragma Thread_Local_Storage is available on any target.
1607
1608 2009-04-10  Bob Duff  <duff@adacore.com>
1609
1610         * sem.ads, par.adb, sem_ch6.adb, sem_ch8.adb: Minor comment fixes.
1611
1612 2009-04-10  Tristan Gingold  <gingold@adacore.com>
1613
1614         * init.c: Install signal handler on Darwin.
1615
1616 2009-04-10  Robert Dewar  <dewar@adacore.com>
1617
1618         * sem_prag.adb: Minor reformatting
1619
1620         * exp_util.adb (Make_Non_Empty_Check): New function
1621         (Silly_Boolean_Array_Not_Test): Add call to Make_Non_Empty_Check
1622         (Silly_Boolean_Array_Xor_Test): Use Make_Non_Empty_Check
1623
1624 2009-04-10  Arnaud Charlet  <charlet@adacore.com>
1625
1626         * make.adb, gnatlink.adb: Rename JGNAT toolchain.
1627
1628 2009-04-10  Jose Ruiz  <ruiz@adacore.com>
1629
1630         * mlib-tgt-specific-xi.adb (Get_Target_Prefix): Insert the appropriate
1631         tool prefix for AVR and PowerPC 55xx targets.
1632
1633 2009-04-10  Robert Dewar  <dewar@adacore.com>
1634
1635         * sem_warn.adb (Within_Postcondition): New function
1636         (Check_Unset_Reference): Use Within_Postcondition to stop bad warning
1637
1638 2009-04-10  Robert Dewar  <dewar@adacore.com>
1639
1640         * sem_warn.adb: Minor reformatting
1641
1642         * make.adb: Minor reformatting.
1643
1644 2009-04-10  Gary Dismukes  <dismukes@adacore.com>
1645
1646         * exp_ch7.adb (Find_Final_List): When creating a finalization-chain
1647         entity and the scope is a subprogram, retrieve the Sloc of the
1648         subprogram's body rather than using the sloc of the spec, for better
1649         line-stepping behavior in gdb.
1650         (Wrap_Transient_Declaration): For the Sloc of nodes created with a list
1651         controller, use the Sloc of the first declaration of the containing list
1652         rather than that of the node that triggered creation of the list
1653         controller.
1654
1655 2009-04-10  Vincent Celier  <celier@adacore.com>
1656
1657         * prj-nmsc.adb (Check_Naming_Schemes): Initialize local variable Casing
1658         to avoid gcc warning.
1659
1660 2009-04-10  Robert Dewar  <dewar@adacore.com>
1661
1662         * g-comlin.adb: Add ??? comment
1663
1664 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1665
1666         * sem_warn.adb (Check_Unused_Withs): Do not emit message about
1667         unreferenced entities for a package with no visible declarations.
1668
1669 2009-04-10  Robert Dewar  <dewar@adacore.com>
1670
1671         * exp_ch9.adb: Minor reformatting
1672
1673 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1674
1675         * sem_prag.adb: Minor reformatting
1676
1677 2009-04-10  Vincent Celier  <celier@adacore.com>
1678
1679         * prj-nmsc.adb:
1680         (Check_Library_Attributes): For a project qualified as a library project
1681         that is not a library project, indicate in the error message which
1682         attributes are missing (Library_Dir and/or Library_Name).
1683
1684 2009-04-10  Bob Duff  <duff@adacore.com>
1685
1686         * exp_ch5.adb, exp_ch9.adb: Avoid use of No_Position in Sloc of
1687         generated nodes, because it might confuse various circuits in the FE.
1688
1689 2009-04-10  Ed Schonberg  <schonberg@adacore.com>
1690
1691         * sem_prag.adb (Analyze_Pragma, case Task_Name): Do not expand argument
1692         of pragma. It will be recopied and analyzed when used in call to
1693         Create_Task.
1694
1695         * sem_res.adb (Resolve_Call): Clarify use of secondary stack within
1696         initialization operations and recognize use of it in procedure calls
1697         within init_procs.
1698
1699         * exp_ch9.adb (Make_Task_Create_Call): Copy full tree of Task_Name
1700         argument, because it may have side-effects.
1701
1702         * exp_ch2.adb: Remove obsolete comments on default functions
1703
1704 2009-04-10  Jose Ruiz  <ruiz@adacore.com>
1705
1706         * adaint.c (RTX section): Do for RTX the same thing as we do for
1707         Windows (include ctype.h and define a fallback ISALPHA if IN_RTS).
1708
1709 2009-04-10  Robert Dewar  <dewar@adacore.com>
1710
1711         * sem_aux.ads, sem_aux.adb (Nearest_Current_Scope): New function.
1712
1713         * sem_res.adb (Resolve_Call): Fix test for
1714         Suppress_Value_Tracking_On_Call (was wrong for the case of a call from
1715         a non-dynamic scope).
1716
1717 2009-04-10  Robert Dewar  <dewar@adacore.com>
1718
1719         * make.adb: Add comment.
1720         Minor reformatting
1721
1722 2009-04-10  Nicolas Setton  <setton@adacore.com>
1723
1724         * s-osprim-darwin.adb: New file.
1725
1726         * s-osinte-darwin.adb, s-osinte-darwin.ads: Fix binding to timespec.
1727
1728 2009-04-10  Thomas Quinot  <quinot@adacore.com>
1729
1730         * g-socket.ads: Add comment clarifying alignment requirement for Fd_Set
1731
1732 2009-04-09  Nick Clifton  <nickc@redhat.com>
1733
1734         * adadecode.h: Change copyright header to refer to version
1735         3 of the GNU General Public License with version 3.1 of the
1736         GCC Runtime Library Exception and to point readers at the
1737         COPYING3 and COPYING3.RUNTIME files and the FSF's license web
1738         page.
1739         * 9drpc.adb: Likewise.
1740         * a-assert.adb: Likewise.
1741         * a-astaco.adb: Likewise.
1742         * a-calari.adb: Likewise.
1743         * a-calcon.adb: Likewise.
1744         * a-calcon.ads: Likewise.
1745         * a-caldel.ads: Likewise.
1746         * a-calend-vms.adb: Likewise.
1747         * a-calend-vms.ads: Likewise.
1748         * a-calend.adb: Likewise.
1749         * a-calend.ads: Likewise.
1750         * a-calfor.adb: Likewise.
1751         * a-catizo.adb: Likewise.
1752         * a-cdlili.adb: Likewise.
1753         * a-cdlili.ads: Likewise.
1754         * a-cgaaso.adb: Likewise.
1755         * a-cgaaso.ads: Likewise.
1756         * a-cgarso.adb: Likewise.
1757         * a-cgcaso.adb: Likewise.
1758         * a-chacon.adb: Likewise.
1759         * a-chacon.ads: Likewise.
1760         * a-chahan.adb: Likewise.
1761         * a-chahan.ads: Likewise.
1762         * a-chlat9.ads: Likewise.
1763         * a-chtgke.adb: Likewise.
1764         * a-chtgke.ads: Likewise.
1765         * a-chtgop.adb: Likewise.
1766         * a-chtgop.ads: Likewise.
1767         * a-chzla1.ads: Likewise.
1768         * a-chzla9.ads: Likewise.
1769         * a-cidlli.adb: Likewise.
1770         * a-cidlli.ads: Likewise.
1771         * a-cihama.adb: Likewise.
1772         * a-cihama.ads: Likewise.
1773         * a-cihase.adb: Likewise.
1774         * a-cihase.ads: Likewise.
1775         * a-ciorma.adb: Likewise.
1776         * a-ciorma.ads: Likewise.
1777         * a-ciormu.adb: Likewise.
1778         * a-ciormu.ads: Likewise.
1779         * a-ciorse.adb: Likewise.
1780         * a-ciorse.ads: Likewise.
1781         * a-clrefi.adb: Likewise.
1782         * a-clrefi.ads: Likewise.
1783         * a-cohama.adb: Likewise.
1784         * a-cohama.ads: Likewise.
1785         * a-cohase.adb: Likewise.
1786         * a-cohase.ads: Likewise.
1787         * a-cohata.ads: Likewise.
1788         * a-coinve.adb: Likewise.
1789         * a-coinve.ads: Likewise.
1790         * a-colien.adb: Likewise.
1791         * a-colien.ads: Likewise.
1792         * a-colire.adb: Likewise.
1793         * a-colire.ads: Likewise.
1794         * a-comlin.adb: Likewise.
1795         * a-comlin.ads: Likewise.
1796         * a-convec.adb: Likewise.
1797         * a-convec.ads: Likewise.
1798         * a-coorma.adb: Likewise.
1799         * a-coorma.ads: Likewise.
1800         * a-coormu.adb: Likewise.
1801         * a-coormu.ads: Likewise.
1802         * a-coorse.adb: Likewise.
1803         * a-coorse.ads: Likewise.
1804         * a-coprnu.adb: Likewise.
1805         * a-coprnu.ads: Likewise.
1806         * a-crbltr.ads: Likewise.
1807         * a-crbtgk.adb: Likewise.
1808         * a-crbtgk.ads: Likewise.
1809         * a-crbtgo.adb: Likewise.
1810         * a-crbtgo.ads: Likewise.
1811         * a-crdlli.adb: Likewise.
1812         * a-crdlli.ads: Likewise.
1813         * a-cwila1.ads: Likewise.
1814         * a-cwila9.ads: Likewise.
1815         * a-decima.adb: Likewise.
1816         * a-decima.ads: Likewise.
1817         * a-diocst.adb: Likewise.
1818         * a-diocst.ads: Likewise.
1819         * a-direct.adb: Likewise.
1820         * a-direct.ads: Likewise.
1821         * a-direio.adb: Likewise.
1822         * a-direio.ads: Likewise.
1823         * a-dirval-mingw.adb: Likewise.
1824         * a-dirval-vms.adb: Likewise.
1825         * a-dirval.adb: Likewise.
1826         * a-dirval.ads: Likewise.
1827         * a-dynpri.adb: Likewise.
1828         * a-einuoc.adb: Likewise.
1829         * a-einuoc.ads: Likewise.
1830         * a-elchha.adb: Likewise.
1831         * a-elchha.ads: Likewise.
1832         * a-envvar.adb: Likewise.
1833         * a-excach.adb: Likewise.
1834         * a-except-2005.adb: Likewise.
1835         * a-except-2005.ads: Likewise.
1836         * a-except.adb: Likewise.
1837         * a-except.ads: Likewise.
1838         * a-excpol-abort.adb: Likewise.
1839         * a-excpol.adb: Likewise.
1840         * a-exctra.adb: Likewise.
1841         * a-exctra.ads: Likewise.
1842         * a-exetim-mingw.adb: Likewise.
1843         * a-exetim-mingw.ads: Likewise.
1844         * a-exexda.adb: Likewise.
1845         * a-exexpr-gcc.adb: Likewise.
1846         * a-exexpr.adb: Likewise.
1847         * a-exextr.adb: Likewise.
1848         * a-exstat.adb: Likewise.
1849         * a-filico.adb: Likewise.
1850         * a-filico.ads: Likewise.
1851         * a-finali.adb: Likewise.
1852         * a-finali.ads: Likewise.
1853         * a-interr.ads: Likewise.
1854         * a-intnam-aix.ads: Likewise.
1855         * a-intnam-darwin.ads: Likewise.
1856         * a-intnam-dummy.ads: Likewise.
1857         * a-intnam-freebsd.ads: Likewise.
1858         * a-intnam-hpux.ads: Likewise.
1859         * a-intnam-irix.ads: Likewise.
1860         * a-intnam-linux.ads: Likewise.
1861         * a-intnam-lynxos.ads: Likewise.
1862         * a-intnam-mingw.ads: Likewise.
1863         * a-intnam-rtems.ads: Likewise.
1864         * a-intnam-solaris.ads: Likewise.
1865         * a-intnam-tru64.ads: Likewise.
1866         * a-intnam-vms.ads: Likewise.
1867         * a-intnam-vxworks.ads: Likewise.
1868         * a-intsig.adb: Likewise.
1869         * a-intsig.ads: Likewise.
1870         * a-ngcefu.adb: Likewise.
1871         * a-ngcoar.adb: Likewise.
1872         * a-ngcoty.adb: Likewise.
1873         * a-ngcoty.ads: Likewise.
1874         * a-ngelfu.adb: Likewise.
1875         * a-ngrear.adb: Likewise.
1876         * a-ngrear.ads: Likewise.
1877         * a-nudira.adb: Likewise.
1878         * a-nudira.ads: Likewise.
1879         * a-nuflra.adb: Likewise.
1880         * a-nuflra.ads: Likewise.
1881         * a-numaux-darwin.adb: Likewise.
1882         * a-numaux-darwin.ads: Likewise.
1883         * a-numaux-libc-x86.ads: Likewise.
1884         * a-numaux-vxworks.ads: Likewise.
1885         * a-numaux-x86.adb: Likewise.
1886         * a-numaux-x86.ads: Likewise.
1887         * a-numaux.ads: Likewise.
1888         * a-rbtgso.adb: Likewise.
1889         * a-rbtgso.ads: Likewise.
1890         * a-reatim.ads: Likewise.
1891         * a-retide.adb: Likewise.
1892         * a-retide.ads: Likewise.
1893         * a-rttiev.adb: Likewise.
1894         * a-rttiev.ads: Likewise.
1895         * a-secain.adb: Likewise.
1896         * a-secain.ads: Likewise.
1897         * a-sequio.adb: Likewise.
1898         * a-sequio.ads: Likewise.
1899         * a-shcain.adb: Likewise.
1900         * a-shcain.ads: Likewise.
1901         * a-siocst.adb: Likewise.
1902         * a-siocst.ads: Likewise.
1903         * a-slcain.adb: Likewise.
1904         * a-slcain.ads: Likewise.
1905         * a-ssicst.adb: Likewise.
1906         * a-ssicst.ads: Likewise.
1907         * a-stboha.adb: Likewise.
1908         * a-stmaco.ads: Likewise.
1909         * a-storio.adb: Likewise.
1910         * a-strbou.adb: Likewise.
1911         * a-strbou.ads: Likewise.
1912         * a-stream.ads: Likewise.
1913         * a-strfix.adb: Likewise.
1914         * a-strhas.adb: Likewise.
1915         * a-strmap.adb: Likewise.
1916         * a-strmap.ads: Likewise.
1917         * a-strsea.adb: Likewise.
1918         * a-strsea.ads: Likewise.
1919         * a-strsup.adb: Likewise.
1920         * a-strsup.ads: Likewise.
1921         * a-strunb.adb: Likewise.
1922         * a-strunb.ads: Likewise.
1923         * a-ststio.adb: Likewise.
1924         * a-ststio.ads: Likewise.
1925         * a-stunau.adb: Likewise.
1926         * a-stunau.ads: Likewise.
1927         * a-stunha.adb: Likewise.
1928         * a-stwibo.adb: Likewise.
1929         * a-stwibo.ads: Likewise.
1930         * a-stwifi.adb: Likewise.
1931         * a-stwiha.adb: Likewise.
1932         * a-stwima.adb: Likewise.
1933         * a-stwima.ads: Likewise.
1934         * a-stwise.adb: Likewise.
1935         * a-stwise.ads: Likewise.
1936         * a-stwisu.adb: Likewise.
1937         * a-stwisu.ads: Likewise.
1938         * a-stwiun.adb: Likewise.
1939         * a-stwiun.ads: Likewise.
1940         * a-stzbou.adb: Likewise.
1941         * a-stzbou.ads: Likewise.
1942         * a-stzfix.adb: Likewise.
1943         * a-stzhas.adb: Likewise.
1944         * a-stzmap.adb: Likewise.
1945         * a-stzmap.ads: Likewise.
1946         * a-stzsea.adb: Likewise.
1947         * a-stzsea.ads: Likewise.
1948         * a-stzsup.adb: Likewise.
1949         * a-stzsup.ads: Likewise.
1950         * a-stzunb.adb: Likewise.
1951         * a-stzunb.ads: Likewise.
1952         * a-suteio.adb: Likewise.
1953         * a-suteio.ads: Likewise.
1954         * a-swbwha.adb: Likewise.
1955         * a-swmwco.ads: Likewise.
1956         * a-swunau.adb: Likewise.
1957         * a-swunau.ads: Likewise.
1958         * a-swuwha.adb: Likewise.
1959         * a-swuwti.adb: Likewise.
1960         * a-swuwti.ads: Likewise.
1961         * a-sytaco.adb: Likewise.
1962         * a-sytaco.ads: Likewise.
1963         * a-szbzha.adb: Likewise.
1964         * a-szmzco.ads: Likewise.
1965         * a-szunau.adb: Likewise.
1966         * a-szunau.ads: Likewise.
1967         * a-szuzha.adb: Likewise.
1968         * a-szuzti.adb: Likewise.
1969         * a-szuzti.ads: Likewise.
1970         * a-tags.adb: Likewise.
1971         * a-tags.ads: Likewise.
1972         * a-tasatt.ads: Likewise.
1973         * a-taside.adb: Likewise.
1974         * a-taside.ads: Likewise.
1975         * a-taster.adb: Likewise.
1976         * a-teioed.adb: Likewise.
1977         * a-teioed.ads: Likewise.
1978         * a-textio.adb: Likewise.
1979         * a-textio.ads: Likewise.
1980         * a-tiboio.adb: Likewise.
1981         * a-ticoau.adb: Likewise.
1982         * a-ticoau.ads: Likewise.
1983         * a-ticoio.adb: Likewise.
1984         * a-ticoio.ads: Likewise.
1985         * a-tideau.adb: Likewise.
1986         * a-tideau.ads: Likewise.
1987         * a-tideio.adb: Likewise.
1988         * a-tideio.ads: Likewise.
1989         * a-tienau.adb: Likewise.
1990         * a-tienau.ads: Likewise.
1991         * a-tienio.adb: Likewise.
1992         * a-tienio.ads: Likewise.
1993         * a-tifiio.adb: Likewise.
1994         * a-tifiio.ads: Likewise.
1995         * a-tiflau.adb: Likewise.
1996         * a-tiflau.ads: Likewise.
1997         * a-tiflio.adb: Likewise.
1998         * a-tiflio.ads: Likewise.
1999         * a-tigeau.adb: Likewise.
2000         * a-tigeau.ads: Likewise.
2001         * a-tiinau.adb: Likewise.
2002         * a-tiinau.ads: Likewise.
2003         * a-tiinio.adb: Likewise.
2004         * a-tiinio.ads: Likewise.
2005         * a-timoau.adb: Likewise.
2006         * a-timoau.ads: Likewise.
2007         * a-timoio.adb: Likewise.
2008         * a-timoio.ads: Likewise.
2009         * a-tiocst.adb: Likewise.
2010         * a-tiocst.ads: Likewise.
2011         * a-titest.adb: Likewise.
2012         * a-wichun.adb: Likewise.
2013         * a-wichun.ads: Likewise.
2014         * a-witeio.adb: Likewise.
2015         * a-witeio.ads: Likewise.
2016         * a-wtcoau.adb: Likewise.
2017         * a-wtcoau.ads: Likewise.
2018         * a-wtcoio.adb: Likewise.
2019         * a-wtcstr.adb: Likewise.
2020         * a-wtcstr.ads: Likewise.
2021         * a-wtdeau.adb: Likewise.
2022         * a-wtdeau.ads: Likewise.
2023         * a-wtdeio.adb: Likewise.
2024         * a-wtdeio.ads: Likewise.
2025         * a-wtedit.adb: Likewise.
2026         * a-wtedit.ads: Likewise.
2027         * a-wtenau.adb: Likewise.
2028         * a-wtenau.ads: Likewise.
2029         * a-wtenio.adb: Likewise.
2030         * a-wtenio.ads: Likewise.
2031         * a-wtfiio.adb: Likewise.
2032         * a-wtfiio.ads: Likewise.
2033         * a-wtflau.adb: Likewise.
2034         * a-wtflau.ads: Likewise.
2035         * a-wtflio.adb: Likewise.
2036         * a-wtflio.ads: Likewise.
2037         * a-wtgeau.adb: Likewise.
2038         * a-wtgeau.ads: Likewise.
2039         * a-wtinau.adb: Likewise.
2040         * a-wtinau.ads: Likewise.
2041         * a-wtinio.adb: Likewise.
2042         * a-wtmoau.adb: Likewise.
2043         * a-wtmoau.ads: Likewise.
2044         * a-wtmoio.adb: Likewise.
2045         * a-wtmoio.ads: Likewise.
2046         * a-wttest.adb: Likewise.
2047         * a-wwboio.adb: Likewise.
2048         * a-zchuni.adb: Likewise.
2049         * a-zchuni.ads: Likewise.
2050         * a-ztcoau.adb: Likewise.
2051         * a-ztcoau.ads: Likewise.
2052         * a-ztcoio.adb: Likewise.
2053         * a-ztcstr.adb: Likewise.
2054         * a-ztcstr.ads: Likewise.
2055         * a-ztdeau.adb: Likewise.
2056         * a-ztdeau.ads: Likewise.
2057         * a-ztdeio.adb: Likewise.
2058         * a-ztdeio.ads: Likewise.
2059         * a-ztedit.adb: Likewise.
2060         * a-ztedit.ads: Likewise.
2061         * a-ztenau.adb: Likewise.
2062         * a-ztenau.ads: Likewise.
2063         * a-ztenio.adb: Likewise.
2064         * a-ztenio.ads: Likewise.
2065         * a-ztexio.adb: Likewise.
2066         * a-ztexio.ads: Likewise.
2067         * a-ztfiio.adb: Likewise.
2068         * a-ztfiio.ads: Likewise.
2069         * a-ztflau.adb: Likewise.
2070         * a-ztflau.ads: Likewise.
2071         * a-ztflio.adb: Likewise.
2072         * a-ztflio.ads: Likewise.
2073         * a-ztgeau.adb: Likewise.
2074         * a-ztgeau.ads: Likewise.
2075         * a-ztinau.adb: Likewise.
2076         * a-ztinau.ads: Likewise.
2077         * a-ztinio.adb: Likewise.
2078         * a-ztmoau.adb: Likewise.
2079         * a-ztmoau.ads: Likewise.
2080         * a-ztmoio.adb: Likewise.
2081         * a-ztmoio.ads: Likewise.
2082         * a-zttest.adb: Likewise.
2083         * a-zzboio.adb: Likewise.
2084         * adadecode.c: Likewise.
2085         * adaint.c: Likewise.
2086         * adaint.h: Likewise.
2087         * alloc.ads: Likewise.
2088         * argv.c: Likewise.
2089         * arit64.c: Likewise.
2090         * atree.adb: Likewise.
2091         * atree.ads: Likewise.
2092         * aux-io.c: Likewise.
2093         * cal.c: Likewise.
2094         * casing.adb: Likewise.
2095         * casing.ads: Likewise.
2096         * cio.c: Likewise.
2097         * csets.adb: Likewise.
2098         * csets.ads: Likewise.
2099         * cstreams.c: Likewise.
2100         * ctrl_c.c: Likewise.
2101         * debug.adb: Likewise.
2102         * debug.ads: Likewise.
2103         * dec.ads: Likewise.
2104         * einfo.adb: Likewise.
2105         * einfo.ads: Likewise.
2106         * elists.adb: Likewise.
2107         * elists.ads: Likewise.
2108         * env.c: Likewise.
2109         * env.h: Likewise.
2110         * errno.c: Likewise.
2111         * exit.c: Likewise.
2112         * fe.h: Likewise.
2113         * final.c: Likewise.
2114         * fname.adb: Likewise.
2115         * fname.ads: Likewise.
2116         * g-allein.ads: Likewise.
2117         * g-alleve.adb: Likewise.
2118         * g-alleve.ads: Likewise.
2119         * g-altcon.adb: Likewise.
2120         * g-altcon.ads: Likewise.
2121         * g-altive.ads: Likewise.
2122         * g-alveop.adb: Likewise.
2123         * g-alveop.ads: Likewise.
2124         * g-alvety.ads: Likewise.
2125         * g-alvevi.ads: Likewise.
2126         * g-arrspl.adb: Likewise.
2127         * g-arrspl.ads: Likewise.
2128         * g-calend.ads: Likewise.
2129         * g-comlin.adb: Likewise.
2130         * g-debpoo.adb: Likewise.
2131         * g-debpoo.ads: Likewise.
2132         * g-eacodu-vms.adb: Likewise.
2133         * g-eacodu.adb: Likewise.
2134         * g-excact.adb: Likewise.
2135         * g-excact.ads: Likewise.
2136         * g-locfil.adb: Likewise.
2137         * g-os_lib.ads: Likewise.
2138         * g-rannum.adb: Likewise.
2139         * g-rannum.ads: Likewise.
2140         * g-regist.adb: Likewise.
2141         * g-regist.ads: Likewise.
2142         * g-signal.adb: Likewise.
2143         * g-signal.ads: Likewise.
2144         * g-soccon.ads: Likewise.
2145         * g-string.adb: Likewise.
2146         * g-string.ads: Likewise.
2147         * g-strspl.ads: Likewise.
2148         * g-timsta.adb: Likewise.
2149         * g-timsta.ads: Likewise.
2150         * g-trasym-vms-alpha.adb: Likewise.
2151         * g-trasym-vms-ia64.adb: Likewise.
2152         * g-utf_32.adb: Likewise.
2153         * g-utf_32.ads: Likewise.
2154         * g-wistsp.ads: Likewise.
2155         * g-zstspl.ads: Likewise.
2156         * gmem.c: Likewise.
2157         * gnatvsn.adb: Likewise.
2158         * gnatvsn.ads: Likewise.
2159         * gsocket.h: Likewise.
2160         * hostparm.ads: Likewise.
2161         * i-c.adb: Likewise.
2162         * i-cexten.ads: Likewise.
2163         * i-cobol.adb: Likewise.
2164         * i-cobol.ads: Likewise.
2165         * i-cpoint.adb: Likewise.
2166         * i-cpoint.ads: Likewise.
2167         * i-cpp.adb: Likewise.
2168         * i-cpp.ads: Likewise.
2169         * i-cstrea-vms.adb: Likewise.
2170         * i-cstrea.adb: Likewise.
2171         * i-cstrea.ads: Likewise.
2172         * i-cstrin.adb: Likewise.
2173         * i-cstrin.ads: Likewise.
2174         * i-forbla-darwin.adb: Likewise.
2175         * i-forbla-unimplemented.ads: Likewise.
2176         * i-forbla.adb: Likewise.
2177         * i-forbla.ads: Likewise.
2178         * i-forlap.ads: Likewise.
2179         * i-fortra.adb: Likewise.
2180         * i-pacdec.adb: Likewise.
2181         * i-pacdec.ads: Likewise.
2182         * i-vxwoio.adb: Likewise.
2183         * i-vxwoio.ads: Likewise.
2184         * indepsw-aix.adb: Likewise.
2185         * indepsw-gnu.adb: Likewise.
2186         * indepsw-mingw.adb: Likewise.
2187         * indepsw.adb: Likewise.
2188         * indepsw.ads: Likewise.
2189         * init.c: Likewise.
2190         * initialize.c: Likewise.
2191         * interfac.ads: Likewise.
2192         * krunch.adb: Likewise.
2193         * krunch.ads: Likewise.
2194         * lib-list.adb: Likewise.
2195         * lib-sort.adb: Likewise.
2196         * lib.adb: Likewise.
2197         * lib.ads: Likewise.
2198         * link.c: Likewise.
2199         * math_lib.adb: Likewise.
2200         * memtrack.adb: Likewise.
2201         * mingw32.h: Likewise.
2202         * mkdir.c: Likewise.
2203         * namet-sp.adb: Likewise.
2204         * namet-sp.ads: Likewise.
2205         * namet.adb: Likewise.
2206         * namet.ads: Likewise.
2207         * nlists.adb: Likewise.
2208         * nlists.ads: Likewise.
2209         * opt.adb: Likewise.
2210         * opt.ads: Likewise.
2211         * output.adb: Likewise.
2212         * output.ads: Likewise.
2213         * raise-gcc.c: Likewise.
2214         * raise.c: Likewise.
2215         * raise.h: Likewise.
2216         * repinfo.adb: Likewise.
2217         * repinfo.ads: Likewise.
2218         * repinfo.h: Likewise.
2219         * rident.ads: Likewise.
2220         * s-addima.adb: Likewise.
2221         * s-addima.ads: Likewise.
2222         * s-addope.adb: Likewise.
2223         * s-addope.ads: Likewise.
2224         * s-arit64.adb: Likewise.
2225         * s-arit64.ads: Likewise.
2226         * s-assert.adb: Likewise.
2227         * s-assert.ads: Likewise.
2228         * s-asthan-vms-alpha.adb: Likewise.
2229         * s-asthan.adb: Likewise.
2230         * s-asthan.ads: Likewise.
2231         * s-atacco.adb: Likewise.
2232         * s-atacco.ads: Likewise.
2233         * s-auxdec-empty.adb: Likewise.
2234         * s-auxdec-empty.ads: Likewise.
2235         * s-auxdec-vms_64.ads: Likewise.
2236         * s-auxdec.adb: Likewise.
2237         * s-auxdec.ads: Likewise.
2238         * s-bitops.adb: Likewise.
2239         * s-bitops.ads: Likewise.
2240         * s-boarop.ads: Likewise.
2241         * s-carsi8.adb: Likewise.
2242         * s-carsi8.ads: Likewise.
2243         * s-carun8.adb: Likewise.
2244         * s-carun8.ads: Likewise.
2245         * s-casi16.adb: Likewise.
2246         * s-casi16.ads: Likewise.
2247         * s-casi32.adb: Likewise.
2248         * s-casi32.ads: Likewise.
2249         * s-casi64.adb: Likewise.
2250         * s-casi64.ads: Likewise.
2251         * s-casuti.ads: Likewise.
2252         * s-caun16.adb: Likewise.
2253         * s-caun16.ads: Likewise.
2254         * s-caun32.adb: Likewise.
2255         * s-caun32.ads: Likewise.
2256         * s-caun64.adb: Likewise.
2257         * s-caun64.ads: Likewise.
2258         * s-chepoo.ads: Likewise.
2259         * s-crc32.adb: Likewise.
2260         * s-crc32.ads: Likewise.
2261         * s-crtl.ads: Likewise.
2262         * s-direio.adb: Likewise.
2263         * s-direio.ads: Likewise.
2264         * s-dsaser.ads: Likewise.
2265         * s-except.adb: Likewise.
2266         * s-except.ads: Likewise.
2267         * s-exctab.adb: Likewise.
2268         * s-exctab.ads: Likewise.
2269         * s-exnint.adb: Likewise.
2270         * s-exnint.ads: Likewise.
2271         * s-exnllf.adb: Likewise.
2272         * s-exnllf.ads: Likewise.
2273         * s-exnlli.adb: Likewise.
2274         * s-exnlli.ads: Likewise.
2275         * s-expint.adb: Likewise.
2276         * s-expint.ads: Likewise.
2277         * s-explli.adb: Likewise.
2278         * s-explli.ads: Likewise.
2279         * s-expllu.adb: Likewise.
2280         * s-expllu.ads: Likewise.
2281         * s-expmod.adb: Likewise.
2282         * s-expmod.ads: Likewise.
2283         * s-expuns.adb: Likewise.
2284         * s-expuns.ads: Likewise.
2285         * s-fatflt.ads: Likewise.
2286         * s-fatgen.adb: Likewise.
2287         * s-fatgen.ads: Likewise.
2288         * s-fatlfl.ads: Likewise.
2289         * s-fatllf.ads: Likewise.
2290         * s-fatsfl.ads: Likewise.
2291         * s-ficobl.ads: Likewise.
2292         * s-fileio.adb: Likewise.
2293         * s-fileio.ads: Likewise.
2294         * s-filofl.ads: Likewise.
2295         * s-finimp.adb: Likewise.
2296         * s-finimp.ads: Likewise.
2297         * s-finroo.adb: Likewise.
2298         * s-finroo.ads: Likewise.
2299         * s-fishfl.ads: Likewise.
2300         * s-fore.adb: Likewise.
2301         * s-fore.ads: Likewise.
2302         * s-fvadfl.ads: Likewise.
2303         * s-fvaffl.ads: Likewise.
2304         * s-fvagfl.ads: Likewise.
2305         * s-gearop.adb: Likewise.
2306         * s-gearop.ads: Likewise.
2307         * s-gecobl.adb: Likewise.
2308         * s-gecobl.ads: Likewise.
2309         * s-gecola.adb: Likewise.
2310         * s-gecola.ads: Likewise.
2311         * s-gerebl.adb: Likewise.
2312         * s-gerebl.ads: Likewise.
2313         * s-gerela.adb: Likewise.
2314         * s-gerela.ads: Likewise.
2315         * s-geveop.adb: Likewise.
2316         * s-geveop.ads: Likewise.
2317         * s-gloloc.adb: Likewise.
2318         * s-gloloc.ads: Likewise.
2319         * s-hibaen.ads: Likewise.
2320         * s-imenne.adb: Likewise.
2321         * s-imenne.ads: Likewise.
2322         * s-imgbiu.adb: Likewise.
2323         * s-imgbiu.ads: Likewise.
2324         * s-imgboo.adb: Likewise.
2325         * s-imgboo.ads: Likewise.
2326         * s-imgcha.adb: Likewise.
2327         * s-imgcha.ads: Likewise.
2328         * s-imgdec.adb: Likewise.
2329         * s-imgdec.ads: Likewise.
2330         * s-imgenu.adb: Likewise.
2331         * s-imgenu.ads: Likewise.
2332         * s-imgint.adb: Likewise.
2333         * s-imgint.ads: Likewise.
2334         * s-imgllb.adb: Likewise.
2335         * s-imgllb.ads: Likewise.
2336         * s-imglld.adb: Likewise.
2337         * s-imglld.ads: Likewise.
2338         * s-imglli.adb: Likewise.
2339         * s-imglli.ads: Likewise.
2340         * s-imgllu.adb: Likewise.
2341         * s-imgllu.ads: Likewise.
2342         * s-imgllw.adb: Likewise.
2343         * s-imgllw.ads: Likewise.
2344         * s-imgrea.adb: Likewise.
2345         * s-imgrea.ads: Likewise.
2346         * s-imguns.adb: Likewise.
2347         * s-imguns.ads: Likewise.
2348         * s-imgwch.adb: Likewise.
2349         * s-imgwch.ads: Likewise.
2350         * s-imgwiu.adb: Likewise.
2351         * s-imgwiu.ads: Likewise.
2352         * s-inmaop-dummy.adb: Likewise.
2353         * s-inmaop-vms.adb: Likewise.
2354         * s-inmaop.ads: Likewise.
2355         * s-interr-hwint.adb: Likewise.
2356         * s-interr-sigaction.adb: Likewise.
2357         * s-interr-vms.adb: Likewise.
2358         * s-interr.adb: Likewise.
2359         * s-interr.ads: Likewise.
2360         * s-intman-dummy.adb: Likewise.
2361         * s-intman-mingw.adb: Likewise.
2362         * s-intman-posix.adb: Likewise.
2363         * s-intman-solaris.adb: Likewise.
2364         * s-intman-vms.adb: Likewise.
2365         * s-intman-vms.ads: Likewise.
2366         * s-intman-vxworks.adb: Likewise.
2367         * s-intman-vxworks.ads: Likewise.
2368         * s-intman.ads: Likewise.
2369         * s-io.adb: Likewise.
2370         * s-io.ads: Likewise.
2371         * s-linux-alpha.ads: Likewise.
2372         * s-linux-hppa.ads: Likewise.
2373         * s-linux.ads: Likewise.
2374         * s-maccod.ads: Likewise.
2375         * s-mantis.adb: Likewise.
2376         * s-mantis.ads: Likewise.
2377         * s-mastop-irix.adb: Likewise.
2378         * s-mastop.adb: Likewise.
2379         * s-mastop.ads: Likewise.
2380         * s-memcop.ads: Likewise.
2381         * s-memory-mingw.adb: Likewise.
2382         * s-memory.adb: Likewise.
2383         * s-memory.ads: Likewise.
2384         * s-os_lib.ads: Likewise.
2385         * s-oscons-tmplt.c: Likewise.
2386         * s-osinte-aix.adb: Likewise.
2387         * s-osinte-darwin.adb: Likewise.
2388         * s-osinte-freebsd.adb: Likewise.
2389         * s-osinte-irix.adb: Likewise.
2390         * s-osinte-lynxos-3.adb: Likewise.
2391         * s-osinte-rtems.ads: Likewise.
2392         * s-osinte-tru64.adb: Likewise.
2393         * s-osinte-vxworks-kernel.adb: Likewise.
2394         * s-osinte-vxworks.adb: Likewise.
2395         * s-osprim-mingw.adb: Likewise.
2396         * s-osprim-posix.adb: Likewise.
2397         * s-osprim-solaris.adb: Likewise.
2398         * s-osprim-unix.adb: Likewise.
2399         * s-osprim-vms.adb: Likewise.
2400         * s-osprim-vms.ads: Likewise.
2401         * s-osprim-vxworks.adb: Likewise.
2402         * s-osprim.ads: Likewise.
2403         * s-pack03.adb: Likewise.
2404         * s-pack03.ads: Likewise.
2405         * s-pack05.adb: Likewise.
2406         * s-pack05.ads: Likewise.
2407         * s-pack06.adb: Likewise.
2408         * s-pack06.ads: Likewise.
2409         * s-pack07.adb: Likewise.
2410         * s-pack07.ads: Likewise.
2411         * s-pack09.adb: Likewise.
2412         * s-pack09.ads: Likewise.
2413         * s-pack10.adb: Likewise.
2414         * s-pack10.ads: Likewise.
2415         * s-pack11.adb: Likewise.
2416         * s-pack11.ads: Likewise.
2417         * s-pack12.adb: Likewise.
2418         * s-pack12.ads: Likewise.
2419         * s-pack13.adb: Likewise.
2420         * s-pack13.ads: Likewise.
2421         * s-pack14.adb: Likewise.
2422         * s-pack14.ads: Likewise.
2423         * s-pack15.adb: Likewise.
2424         * s-pack15.ads: Likewise.
2425         * s-pack17.adb: Likewise.
2426         * s-pack17.ads: Likewise.
2427         * s-pack18.adb: Likewise.
2428         * s-pack18.ads: Likewise.
2429         * s-pack19.adb: Likewise.
2430         * s-pack19.ads: Likewise.
2431         * s-pack20.adb: Likewise.
2432         * s-pack20.ads: Likewise.
2433         * s-pack21.adb: Likewise.
2434         * s-pack21.ads: Likewise.
2435         * s-pack22.adb: Likewise.
2436         * s-pack22.ads: Likewise.
2437         * s-pack23.adb: Likewise.
2438         * s-pack23.ads: Likewise.
2439         * s-pack24.adb: Likewise.
2440         * s-pack24.ads: Likewise.
2441         * s-pack25.adb: Likewise.
2442         * s-pack25.ads: Likewise.
2443         * s-pack26.adb: Likewise.
2444         * s-pack26.ads: Likewise.
2445         * s-pack27.adb: Likewise.
2446         * s-pack27.ads: Likewise.
2447         * s-pack28.adb: Likewise.
2448         * s-pack28.ads: Likewise.
2449         * s-pack29.adb: Likewise.
2450         * s-pack29.ads: Likewise.
2451         * s-pack30.adb: Likewise.
2452         * s-pack30.ads: Likewise.
2453         * s-pack31.adb: Likewise.
2454         * s-pack31.ads: Likewise.
2455         * s-pack33.adb: Likewise.
2456         * s-pack33.ads: Likewise.
2457         * s-pack34.adb: Likewise.
2458         * s-pack34.ads: Likewise.
2459         * s-pack35.adb: Likewise.
2460         * s-pack35.ads: Likewise.
2461         * s-pack36.adb: Likewise.
2462         * s-pack36.ads: Likewise.
2463         * s-pack37.adb: Likewise.
2464         * s-pack37.ads: Likewise.
2465         * s-pack38.adb: Likewise.
2466         * s-pack38.ads: Likewise.
2467         * s-pack39.adb: Likewise.
2468         * s-pack39.ads: Likewise.
2469         * s-pack40.adb: Likewise.
2470         * s-pack40.ads: Likewise.
2471         * s-pack41.adb: Likewise.
2472         * s-pack41.ads: Likewise.
2473         * s-pack42.adb: Likewise.
2474         * s-pack42.ads: Likewise.
2475         * s-pack43.adb: Likewise.
2476         * s-pack43.ads: Likewise.
2477         * s-pack44.adb: Likewise.
2478         * s-pack44.ads: Likewise.
2479         * s-pack45.adb: Likewise.
2480         * s-pack45.ads: Likewise.
2481         * s-pack46.adb: Likewise.
2482         * s-pack46.ads: Likewise.
2483         * s-pack47.adb: Likewise.
2484         * s-pack47.ads: Likewise.
2485         * s-pack48.adb: Likewise.
2486         * s-pack48.ads: Likewise.
2487         * s-pack49.adb: Likewise.
2488         * s-pack49.ads: Likewise.
2489         * s-pack50.adb: Likewise.
2490         * s-pack50.ads: Likewise.
2491         * s-pack51.adb: Likewise.
2492         * s-pack51.ads: Likewise.
2493         * s-pack52.adb: Likewise.
2494         * s-pack52.ads: Likewise.
2495         * s-pack53.adb: Likewise.
2496         * s-pack53.ads: Likewise.
2497         * s-pack54.adb: Likewise.
2498         * s-pack54.ads: Likewise.
2499         * s-pack55.adb: Likewise.
2500         * s-pack55.ads: Likewise.
2501         * s-pack56.adb: Likewise.
2502         * s-pack56.ads: Likewise.
2503         * s-pack57.adb: Likewise.
2504         * s-pack57.ads: Likewise.
2505         * s-pack58.adb: Likewise.
2506         * s-pack58.ads: Likewise.
2507         * s-pack59.adb: Likewise.
2508         * s-pack59.ads: Likewise.
2509         * s-pack60.adb: Likewise.
2510         * s-pack60.ads: Likewise.
2511         * s-pack61.adb: Likewise.
2512         * s-pack61.ads: Likewise.
2513         * s-pack62.adb: Likewise.
2514         * s-pack62.ads: Likewise.
2515         * s-pack63.adb: Likewise.
2516         * s-pack63.ads: Likewise.
2517         * s-parame-ae653.ads: Likewise.
2518         * s-parame-hpux.ads: Likewise.
2519         * s-parame-rtems.adb: Likewise.
2520         * s-parame-vms-alpha.ads: Likewise.
2521         * s-parame-vms-ia64.ads: Likewise.
2522         * s-parame-vms-restrict.ads: Likewise.
2523         * s-parame-vxworks.adb: Likewise.
2524         * s-parame-vxworks.ads: Likewise.
2525         * s-parame.adb: Likewise.
2526         * s-parame.ads: Likewise.
2527         * s-parint.adb: Likewise.
2528         * s-parint.ads: Likewise.
2529         * s-pooglo.adb: Likewise.
2530         * s-pooglo.ads: Likewise.
2531         * s-pooloc.adb: Likewise.
2532         * s-pooloc.ads: Likewise.
2533         * s-poosiz.adb: Likewise.
2534         * s-poosiz.ads: Likewise.
2535         * s-powtab.ads: Likewise.
2536         * s-proinf-irix-athread.adb: Likewise.
2537         * s-proinf-irix-athread.ads: Likewise.
2538         * s-proinf.adb: Likewise.
2539         * s-proinf.ads: Likewise.
2540         * s-purexc.ads: Likewise.
2541         * s-rannum.adb: Likewise.
2542         * s-rannum.ads: Likewise.
2543         * s-restri.adb: Likewise.
2544         * s-restri.ads: Likewise.
2545         * s-rident.ads: Likewise.
2546         * s-rpc.adb: Likewise.
2547         * s-rpc.ads: Likewise.
2548         * s-scaval.adb: Likewise.
2549         * s-scaval.ads: Likewise.
2550         * s-secsta.adb: Likewise.
2551         * s-secsta.ads: Likewise.
2552         * s-sequio.adb: Likewise.
2553         * s-sequio.ads: Likewise.
2554         * s-shasto.adb: Likewise.
2555         * s-shasto.ads: Likewise.
2556         * s-soflin.adb: Likewise.
2557         * s-soflin.ads: Likewise.
2558         * s-solita.adb: Likewise.
2559         * s-solita.ads: Likewise.
2560         * s-sopco3.adb: Likewise.
2561         * s-sopco3.ads: Likewise.
2562         * s-sopco4.adb: Likewise.
2563         * s-sopco4.ads: Likewise.
2564         * s-sopco5.adb: Likewise.
2565         * s-sopco5.ads: Likewise.
2566         * s-stache.adb: Likewise.
2567         * s-stache.ads: Likewise.
2568         * s-stalib.adb: Likewise.
2569         * s-stalib.ads: Likewise.
2570         * s-stausa.adb: Likewise.
2571         * s-stausa.ads: Likewise.
2572         * s-stchop-limit.ads: Likewise.
2573         * s-stchop-rtems.adb: Likewise.
2574         * s-stchop-vxworks.adb: Likewise.
2575         * s-stchop.adb: Likewise.
2576         * s-stchop.ads: Likewise.
2577         * s-stoele.adb: Likewise.
2578         * s-stoele.ads: Likewise.
2579         * s-stopoo.adb: Likewise.
2580         * s-stopoo.ads: Likewise.
2581         * s-stratt.adb: Likewise.
2582         * s-stratt.ads: Likewise.
2583         * s-strcom.adb: Likewise.
2584         * s-strcom.ads: Likewise.
2585         * s-string.adb: Likewise.
2586         * s-string.ads: Likewise.
2587         * s-strops.adb: Likewise.
2588         * s-strops.ads: Likewise.
2589         * s-strxdr.adb: Likewise.
2590         * s-ststop.adb: Likewise.
2591         * s-ststop.ads: Likewise.
2592         * s-taasde.adb: Likewise.
2593         * s-taasde.ads: Likewise.
2594         * s-tadeca.adb: Likewise.
2595         * s-tadeca.ads: Likewise.
2596         * s-tadert.adb: Likewise.
2597         * s-tadert.ads: Likewise.
2598         * s-taenca.adb: Likewise.
2599         * s-taenca.ads: Likewise.
2600         * s-taprob.ads: Likewise.
2601         * s-taprop-dummy.adb: Likewise.
2602         * s-taprop-hpux-dce.adb: Likewise.
2603         * s-taprop-irix.adb: Likewise.
2604         * s-taprop-linux.adb: Likewise.
2605         * s-taprop-lynxos.adb: Likewise.
2606         * s-taprop-mingw.adb: Likewise.
2607         * s-taprop-posix.adb: Likewise.
2608         * s-taprop-solaris.adb: Likewise.
2609         * s-taprop-tru64.adb: Likewise.
2610         * s-taprop-vms.adb: Likewise.
2611         * s-taprop-vxworks.adb: Likewise.
2612         * s-taprop.ads: Likewise.
2613         * s-tarest.adb: Likewise.
2614         * s-tarest.ads: Likewise.
2615         * s-tasdeb.adb: Likewise.
2616         * s-tasdeb.ads: Likewise.
2617         * s-tasinf-irix.ads: Likewise.
2618         * s-tasinf-linux.adb: Likewise.
2619         * s-tasinf-linux.ads: Likewise.
2620         * s-tasinf-mingw.adb: Likewise.
2621         * s-tasinf-mingw.ads: Likewise.
2622         * s-tasinf-solaris.adb: Likewise.
2623         * s-tasinf-solaris.ads: Likewise.
2624         * s-tasinf-tru64.ads: Likewise.
2625         * s-tasinf.adb: Likewise.
2626         * s-tasinf.ads: Likewise.
2627         * s-tasini.adb: Likewise.
2628         * s-tasini.ads: Likewise.
2629         * s-taskin.adb: Likewise.
2630         * s-taskin.ads: Likewise.
2631         * s-taspri-dummy.ads: Likewise.
2632         * s-taspri-hpux-dce.ads: Likewise.
2633         * s-taspri-mingw.ads: Likewise.
2634         * s-taspri-solaris.ads: Likewise.
2635         * s-taspri-tru64.ads: Likewise.
2636         * s-taspri-vms.ads: Likewise.
2637         * s-taspri-vxworks.ads: Likewise.
2638         * s-tasque.adb: Likewise.
2639         * s-tasque.ads: Likewise.
2640         * s-tasren.adb: Likewise.
2641         * s-tasren.ads: Likewise.
2642         * s-tasres.ads: Likewise.
2643         * s-tassta.adb: Likewise.
2644         * s-tassta.ads: Likewise.
2645         * s-tasuti.adb: Likewise.
2646         * s-tasuti.ads: Likewise.
2647         * s-tfsetr-default.adb: Likewise.
2648         * s-tfsetr-vxworks.adb: Likewise.
2649         * s-tpinop.adb: Likewise.
2650         * s-tpinop.ads: Likewise.
2651         * s-tpoben.adb: Likewise.
2652         * s-tpoben.ads: Likewise.
2653         * s-tpobop.adb: Likewise.
2654         * s-tpobop.ads: Likewise.
2655         * s-tpopde-vms.adb: Likewise.
2656         * s-tpopde-vms.ads: Likewise.
2657         * s-tpopsp-lynxos.adb: Likewise.
2658         * s-tpopsp-posix-foreign.adb: Likewise.
2659         * s-tpopsp-posix.adb: Likewise.
2660         * s-tpopsp-solaris.adb: Likewise.
2661         * s-tpopsp-vxworks.adb: Likewise.
2662         * s-tporft.adb: Likewise.
2663         * s-tposen.adb: Likewise.
2664         * s-tposen.ads: Likewise.
2665         * s-traceb.adb: Likewise.
2666         * s-traceb.ads: Likewise.
2667         * s-traces-default.adb: Likewise.
2668         * s-traces.adb: Likewise.
2669         * s-traces.ads: Likewise.
2670         * s-traent-vms.adb: Likewise.
2671         * s-traent-vms.ads: Likewise.
2672         * s-traent.adb: Likewise.
2673         * s-traent.ads: Likewise.
2674         * s-trafor-default.adb: Likewise.
2675         * s-trafor-default.ads: Likewise.
2676         * s-tratas-default.adb: Likewise.
2677         * s-tratas.adb: Likewise.
2678         * s-tratas.ads: Likewise.
2679         * s-unstyp.ads: Likewise.
2680         * s-utf_32.adb: Likewise.
2681         * s-utf_32.ads: Likewise.
2682         * s-vaflop-vms-alpha.adb: Likewise.
2683         * s-vaflop.adb: Likewise.
2684         * s-vaflop.ads: Likewise.
2685         * s-valboo.adb: Likewise.
2686         * s-valboo.ads: Likewise.
2687         * s-valcha.adb: Likewise.
2688         * s-valcha.ads: Likewise.
2689         * s-valdec.adb: Likewise.
2690         * s-valdec.ads: Likewise.
2691         * s-valenu.adb: Likewise.
2692         * s-valenu.ads: Likewise.
2693         * s-valint.adb: Likewise.
2694         * s-valint.ads: Likewise.
2695         * s-vallld.adb: Likewise.
2696         * s-vallld.ads: Likewise.
2697         * s-vallli.adb: Likewise.
2698         * s-vallli.ads: Likewise.
2699         * s-valllu.adb: Likewise.
2700         * s-valllu.ads: Likewise.
2701         * s-valrea.adb: Likewise.
2702         * s-valrea.ads: Likewise.
2703         * s-valuns.adb: Likewise.
2704         * s-valuns.ads: Likewise.
2705         * s-valuti.adb: Likewise.
2706         * s-valuti.ads: Likewise.
2707         * s-valwch.adb: Likewise.
2708         * s-valwch.ads: Likewise.
2709         * s-veboop.adb: Likewise.
2710         * s-veboop.ads: Likewise.
2711         * s-vector.ads: Likewise.
2712         * s-vercon.adb: Likewise.
2713         * s-vercon.ads: Likewise.
2714         * s-vmexta.adb: Likewise.
2715         * s-vmexta.ads: Likewise.
2716         * s-vxwext-kernel.ads: Likewise.
2717         * s-vxwext-rtp.adb: Likewise.
2718         * s-vxwext-rtp.ads: Likewise.
2719         * s-vxwext.ads: Likewise.
2720         * s-vxwork-arm.ads: Likewise.
2721         * s-vxwork-m68k.ads: Likewise.
2722         * s-vxwork-mips.ads: Likewise.
2723         * s-vxwork-ppc.ads: Likewise.
2724         * s-vxwork-sparcv9.ads: Likewise.
2725         * s-vxwork-x86.ads: Likewise.
2726         * s-wchcnv.adb: Likewise.
2727         * s-wchcnv.ads: Likewise.
2728         * s-wchcon.adb: Likewise.
2729         * s-wchcon.ads: Likewise.
2730         * s-wchjis.adb: Likewise.
2731         * s-wchjis.ads: Likewise.
2732         * s-wchstw.adb: Likewise.
2733         * s-wchstw.ads: Likewise.
2734         * s-wchwts.adb: Likewise.
2735         * s-wchwts.ads: Likewise.
2736         * s-widboo.adb: Likewise.
2737         * s-widboo.ads: Likewise.
2738         * s-widcha.adb: Likewise.
2739         * s-widcha.ads: Likewise.
2740         * s-widenu.adb: Likewise.
2741         * s-widenu.ads: Likewise.
2742         * s-widlli.adb: Likewise.
2743         * s-widlli.ads: Likewise.
2744         * s-widllu.adb: Likewise.
2745         * s-widllu.ads: Likewise.
2746         * s-widwch.adb: Likewise.
2747         * s-widwch.ads: Likewise.
2748         * s-win32.ads: Likewise.
2749         * s-winext.ads: Likewise.
2750         * s-wwdcha.adb: Likewise.
2751         * s-wwdcha.ads: Likewise.
2752         * s-wwdenu.adb: Likewise.
2753         * s-wwdenu.ads: Likewise.
2754         * s-wwdwch.adb: Likewise.
2755         * s-wwdwch.ads: Likewise.
2756         * scans.adb: Likewise.
2757         * scans.ads: Likewise.
2758         * seh_init.c: Likewise.
2759         * sfn_scan.adb: Likewise.
2760         * sinfo.adb: Likewise.
2761         * sinfo.ads: Likewise.
2762         * sinput.adb: Likewise.
2763         * sinput.ads: Likewise.
2764         * snames.adb: Likewise.
2765         * snames.ads: Likewise.
2766         * socket.c: Likewise.
2767         * stand.adb: Likewise.
2768         * stand.ads: Likewise.
2769         * stringt.adb: Likewise.
2770         * stringt.ads: Likewise.
2771         * sysdep.c: Likewise.
2772         * system-aix.ads: Likewise.
2773         * system-darwin-ppc.ads: Likewise.
2774         * system-darwin-x86.ads: Likewise.
2775         * system-darwin-x86_64.ads: Likewise.
2776         * system-freebsd-x86.ads: Likewise.
2777         * system-hpux-ia64.ads: Likewise.
2778         * system-hpux.ads: Likewise.
2779         * system-irix-n32.ads: Likewise.
2780         * system-irix-n64.ads: Likewise.
2781         * system-irix-o32.ads: Likewise.
2782         * system-linux-alpha.ads: Likewise.
2783         * system-linux-hppa.ads: Likewise.
2784         * system-linux-ia64.ads: Likewise.
2785         * system-linux-mips.ads: Likewise.
2786         * system-linux-mipsel.ads: Likewise.
2787         * system-linux-ppc.ads: Likewise.
2788         * system-linux-ppc64.ads: Likewise.
2789         * system-linux-s390.ads: Likewise.
2790         * system-linux-s390x.ads: Likewise.
2791         * system-linux-sh4.ads: Likewise.
2792         * system-linux-sparc.ads: Likewise.
2793         * system-linux-sparcv9.ads: Likewise.
2794         * system-linux-x86.ads: Likewise.
2795         * system-linux-x86_64.ads: Likewise.
2796         * system-lynxos-ppc.ads: Likewise.
2797         * system-lynxos-x86.ads: Likewise.
2798         * system-mingw-x86_64.ads: Likewise.
2799         * system-mingw.ads: Likewise.
2800         * system-rtems.ads: Likewise.
2801         * system-solaris-sparc.ads: Likewise.
2802         * system-solaris-sparcv9.ads: Likewise.
2803         * system-solaris-x86.ads: Likewise.
2804         * system-solaris-x86_64.ads: Likewise.
2805         * system-tru64.ads: Likewise.
2806         * system-vms-ia64.ads: Likewise.
2807         * system-vms-zcx.ads: Likewise.
2808         * system-vms.ads: Likewise.
2809         * system-vms_64.ads: Likewise.
2810         * system-vxworks-arm.ads: Likewise.
2811         * system-vxworks-m68k.ads: Likewise.
2812         * system-vxworks-mips.ads: Likewise.
2813         * system-vxworks-ppc.ads: Likewise.
2814         * system-vxworks-sparcv9.ads: Likewise.
2815         * system-vxworks-x86.ads: Likewise.
2816         * system.ads: Likewise.
2817         * table.adb: Likewise.
2818         * table.ads: Likewise.
2819         * targext.c: Likewise.
2820         * targparm.ads: Likewise.
2821         * tree_in.adb: Likewise.
2822         * tree_in.ads: Likewise.
2823         * tree_io.adb: Likewise.
2824         * tree_io.ads: Likewise.
2825         * types.adb: Likewise.
2826         * types.ads: Likewise.
2827         * uintp.adb: Likewise.
2828         * uintp.ads: Likewise.
2829         * uname.adb: Likewise.
2830         * uname.ads: Likewise.
2831         * urealp.adb: Likewise.
2832         * urealp.ads: Likewise.
2833         * vx_stack_info.c: Likewise.
2834         * widechar.adb: Likewise.
2835         * widechar.ads: Likewise.
2836         * exp_attr.adb: Change copyright header to refer to version
2837         3 of the GNU General Public License and to point readers at the
2838         COPYING3 file and the FSF's license web page.
2839         * sem.adb: Likewise.
2840         * sem_attr.ads: Likewise.
2841         * freeze.adb: Likewise.
2842         * freeze.ads: Likewise.
2843         * errout.ads: Likewise.
2844         * erroutc.adb: Likewise.
2845         * exp_ch11.ads: Likewise.
2846
2847 2009-04-09  Jakub Jelinek  <jakub@redhat.com>
2848
2849         * config-lang.in: Change copyright header to refer to version
2850         3 of the GNU General Public License and to point readers at the
2851         COPYING3 file and the FSF's license web page.
2852         * gcc-interface/trans.c: Likewise.
2853         * gnathtml.pl: Likewise.
2854         * gcc-interface/ada.h: Likewise.  Remove runtime exception.
2855         * gcc-interface/gigi.h: Likewise.
2856         * gcc-interface/misc.c: Likewise.
2857         * gcc-interface/targtyps.c: Likewise.
2858
2859 2009-04-09  Nicolas Setton  <setton@adacore.com>
2860
2861         * s-osinte-darwin.ads: Fix wrong binding to struc timeval.
2862
2863         * s-osinte-darwin.adb (To_Timeval): Adapt to fixed implementation of
2864         struct_timeval.
2865
2866 2009-04-09  Bob Duff  <duff@adacore.com>
2867
2868         * exp_ch5.adb, exp_ch9.adb: Correct miscellaneous Slocs in
2869         internally-generated nodes related to select statements to avoid
2870         confusing the debugger.
2871
2872 2009-04-09  Pascal Obry  <obry@adacore.com>
2873
2874         * make.adb: Ensure that all linker arguments are duplicated.
2875
2876 2009-04-09  Robert Dewar  <dewar@adacore.com>
2877
2878         * sem_ch5.adb: Minor reformatting
2879
2880 2009-04-09  Vincent Celier  <celier@adacore.com>
2881
2882         * vms_data.ads:
2883         Change GNAT CHECK qualifier /DIAGNOSIS_LIMIT to /DIAGNOSTIC_LIMIT
2884         New qualifier /LEXPAND_SOURCE=nnn for -gnatGnnn
2885         New qualifier /LXDEBUG=nnn for -gnatDnnn
2886         For H820-010
2887
2888         * gnat_ugn.texi:
2889         Update documentation for VMS qualifiers equivalent to -gnatGnn and
2890         -gnatDnn
2891
2892 2009-04-09  Nicolas Setton  <setton@adacore.com>
2893
2894         * s-osinte-darwin.ads: (Pad_Type): Make this an array of unsigned_long,
2895         to match layout of siginfo_t in sys/signal.h.
2896
2897         * gcc-interface/Makefile.in: Add section for x86_64 darwin.
2898
2899 2009-04-09  Thomas Quinot  <quinot@adacore.com>
2900
2901         * g-socket.ads: (Fd_Set): Use Interfaces.C.long alignment.
2902
2903 2009-04-09  Nicolas Setton  <setton@adacore.com>
2904
2905         * s-oscons-tmplt.c: Allow long lines in the generated spec.
2906         Add generation of Darwin-specific constants needed when binding to the
2907         pthread library.
2908
2909 2009-04-09  Robert Dewar  <dewar@adacore.com>
2910
2911         * checks.adb:
2912         (Insert_Valid_Check): Avoid unnecessary generation of junk declaration
2913         when no invalid values exist, Avoid duplicate read of atomic variable.
2914
2915         * cstand.adb (Build_Signed_Integer_Type): Set Is_Known_Valid
2916         (Standard_Unsigned): Set Is_Known_Valid
2917
2918         * sem_ch3.adb (Analyze_Subtype_Declaration): Copy Is_Known_Valid on
2919         subtype declaration if no constraint.
2920         (Set_Modular_Size): Set Is_Known_Valid if appropriate
2921         (Build_Derived_Numeric_Type): Copy Is_Known_Valid if no constraint
2922
2923 2009-04-09  Robert Dewar  <dewar@adacore.com>
2924
2925         * switch-c.adb, gnat_ugn.texi, vms_data.ads, switch.adb,
2926         switch.ads: for numeric switches, an optional equal sign is always
2927         allowed.
2928
2929 2009-04-09  Vincent Celier  <celier@adacore.com>
2930
2931         * prj-nmsc.adb (Get_Unit): Do not consider Casing on platform where
2932         the case of file names is not significant.
2933
2934 2009-04-09  Vincent Celier  <celier@adacore.com>
2935
2936         * errout.adb: Remove dependency on package Style
2937
2938         * style.ads, styleg.adb, styleg.ads (RM_Column_Check): Remove function,
2939         moved to Stylesw.
2940
2941         * stylesw.ads, stylesw.adb (RM_Column_Check): New function, moved from
2942         Styleg.
2943
2944         * errutil.adb, par.adb: Import Stylesw
2945
2946 2009-04-09  Arnaud Charlet  <charlet@adacore.com>
2947
2948         * opt.ads: Fix typos.
2949
2950 2009-04-09  Robert Dewar  <dewar@adacore.com>
2951
2952         * einfo.adb: Minor reformatting
2953
2954 2009-04-09  Robert Dewar  <dewar@adacore.com>
2955
2956         * gcc-interface/Make-lang.in, style.ads, style.adb: Reorganize style
2957         units.
2958
2959         * styleg-c.ads, styleg-c.adb: Removed, no longer used.
2960
2961 2009-04-09  Robert Dewar  <dewar@adacore.com>
2962
2963         * g-comver.adb: Minor reformatting.
2964
2965 2009-04-09  Thomas Quinot  <quinot@adacore.com>
2966
2967         * lib-load.ads (Load_Unit): Update documentation.
2968
2969 2009-04-09  Ed Schonberg  <schonberg@adacore.com>
2970
2971         * lib-load.adb (Load_Unit): When loading the parent of a child unit
2972         named in a with_clause, retain the with_clause to preserve a
2973         limited_with indication.
2974
2975 2009-04-09  Robert Dewar  <dewar@adacore.com>
2976
2977         * sem_ch7.adb, sem_ch10.adb, sem_prag.adb, sem_ch12.adb, sem_util.adb,
2978         exp_ch13.adb, sem_ch6.adb, exp_disp.adb, sem_ch8.adb, sem_warn.adb,
2979         sem_cat.adb: Code clean up: use Is_Package_Or_Generic_Package where
2980         possible to replace an OR of two separate tests.
2981
2982 2009-04-09  Robert Dewar  <dewar@adacore.com>
2983
2984         * binderr.adb, errout.adb, errutil.adb: New circuitry for handling
2985         Maximum_Messages.
2986
2987         * erroutc.adb, erroutc.ads (Warnings_Suppressed): Now tests global
2988         warning status as well.
2989
2990         * opt.ads (Maximum_Messages): New name for Maximum_Errors.
2991
2992         * switch-b.adb, switch-c.adb: Change name Maximum_Errors to
2993         Maximum_Messages.
2994
2995         * bindusg.adb, usage.adb: Update line for -gnatm switch
2996
2997         * gnat_ugn.texi: Update documentation for -gnatmnn compiler switch and
2998         -mnn binder switch.
2999
3000 2009-04-09  Robert Dewar  <dewar@adacore.com>
3001
3002         * sem_ch10.adb: Minor reformatting.
3003
3004 2009-04-09  Bob Duff  <duff@adacore.com>
3005
3006         * exp_ch11.adb (Expand_Exception_Handlers, Prepend_Call_To_Handler):
3007         Set Sloc of generated nodes for calls to Undefer_Aborts and
3008         Save_Occurrence to No_Location, so the debugger ignores them and
3009         therefore does not jump back and forth when single stepping.
3010
3011 2009-04-09  Robert Dewar  <dewar@adacore.com>
3012
3013         * switch-b.adb: Minor reformatting.
3014
3015 2009-04-09  Robert Dewar  <dewar@adacore.com>
3016
3017         * sem_aggr.adb, exp_ch5.adb, sem_ch3.adb, exp_atag.adb, layout.adb,
3018         sem_dist.adb, exp_ch7.adb, sem_ch5.adb, sem_type.adb, exp_imgv.adb,
3019         exp_util.adb, sem_aux.adb, sem_aux.ads, exp_attr.adb, exp_ch9.adb,
3020         sem_ch7.adb, inline.adb, fe.h, sem_ch9.adb, exp_code.adb, einfo.adb,
3021         einfo.ads, exp_pakd.adb, checks.adb, sem_ch12.adb, exp_smem.adb,
3022         tbuild.adb, freeze.adb, sem_util.adb, sem_res.adb, sem_attr.adb,
3023         exp_dbug.adb, sem_case.adb, exp_tss.adb, exp_ch4.adb, exp_ch6.adb,
3024         sem_smem.adb, sem_ch4.adb, sem_mech.adb, sem_ch6.adb, exp_disp.adb,
3025         sem_ch8.adb, exp_aggr.adb, sem_eval.adb, sem_cat.adb, exp_dist.adb,
3026         sem_ch13.adb, exp_strm.adb, lib-xref.adb, sem_disp.adb, exp_ch3.adb:
3027         Reorganize einfo/sem_aux, moving routines from einfo to sem_aux
3028
3029 2009-04-09  Robert Dewar  <dewar@adacore.com>
3030
3031         * exp_util.adb (Silly_Boolean_Array_Xor_Test): Simplify existing code.
3032
3033         * atree.h: Add Elist26
3034
3035         * gnat_ugn.texi: Complete documentation deprecating -gnatN for non-gcc
3036         backends.
3037
3038 2009-04-09  Javier Miranda  <miranda@adacore.com>
3039
3040         * exp_disp.adb (Export_DT): Addition of a new argument (Index); used to
3041         retrieve from the Dispatch_Table_Wrappers list the external name.
3042         Addition of documentation.
3043         (Make_Secondary_DT): Addition of a new argument (Suffix_Index) that is
3044         used to export secondary dispatch tables (in the previous version of
3045         the frontend only primary dispatch tables were exported). Addition of
3046         documentation.
3047         (Import_DT): New subprogram (internal of Make_Tags). Used to import a
3048         dispatch table of a given tagged type.
3049         (Make_Tags): Modified to import secondary dispatch tables.
3050
3051         * sem_ch3.adb (Analyze_Object_Declaration): Code cleanup.
3052         (Constant_Redeclaration): Code cleanup.
3053
3054         * einfo.ads (Dispatch_Table_Wrapper): Renamed to
3055         Dispatch_Table_Wrappers.  Update documentation.
3056
3057         * einfo.adb (Dispatch_Table_Wrapper, Set_Dispatch_Table_Wrapper):
3058         Renamed to Dispatch_Table_Wrappers.
3059
3060         * sem_util.adb (Collect_Interface_Components): Improve handling of
3061         private types.
3062
3063         * atree.ads (Elist26, Set_Elist26): New subprograms
3064
3065         * atree.adb (Elist26, Set_Elist26): New subprograms
3066
3067 2009-04-09  Javier Miranda  <miranda@adacore.com>
3068
3069         * sem_ch3.adb (Build_Derived_Record_Type): Fix typo.
3070         (Derive_Progenitor_Subprograms): Handle interfaces in subtypes of
3071         tagged types.
3072
3073 2009-04-09  Robert Dewar  <dewar@adacore.com>
3074
3075         * s-direio.adb: Minor reformatting
3076
3077         * exp_ch4.adb (Expand_Concatenate): Avoid overflow checks for String
3078
3079 2009-04-09  Robert Dewar  <dewar@adacore.com>
3080
3081         * exp_ch4.adb (Expand_Concatenate): Improve handling of overflow cases
3082
3083 2009-04-09  Pascal Obry  <obry@adacore.com>
3084
3085         * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coinve.ads,
3086         s-tpoben.adb, s-tpoben.ads, s-finimp.adb, s-finimp.ads,
3087         a-convec.adb, a-convec.ads, a-finali.adb, a-finali.ads,
3088         a-filico.ads: Add some missing overriding keywords.
3089
3090 2009-04-09  Pascal Obry  <obry@adacore.com>
3091
3092         * a-cihama.adb, a-cihama.ads, a-coinve.adb, a-coorma.ads, a-cihase.adb,
3093         a-cihase.ads, a-cohama.adb, a-cohama.ads, a-coorse.adb, a-coorse.ads,
3094         a-coormu.adb, a-coormu.ads, a-cohase.adb, a-cohase.ads: Minor
3095         reformatting.
3096
3097 2009-04-09  Ed Schonberg  <schonberg@adacore.com>
3098
3099         * sem_ch6.adb (Check_Overriding_Indicator): Do not generate warning on
3100         missing overriding indicator if the new declaration is not seen as
3101         primitive.
3102
3103 2009-04-09  Thomas Quinot  <quinot@adacore.com>
3104
3105         * exp_ch4.adb (Expand_Concatenate): Add circuitry to properly handle
3106         overflows in computation of bounds.
3107
3108 2009-04-09  Pascal Obry  <obry@adacore.com>
3109
3110         * a-cihama.adb, a-cgcaso.adb, a-cihase.adb, a-cohase.adb: Fix some
3111         typos in comment.
3112
3113 2009-04-09  Robert Dewar  <dewar@adacore.com>
3114
3115         * sem_attr.adb (Check_Stream_Attribute): Check violation of
3116         restriction No_Streams
3117
3118         * gnat_rm.texi: Clarify No_Streams restriction
3119
3120         * g-socket.adb: Minor reformatting.
3121
3122 2009-04-09  Thomas Quinot  <quinot@adacore.com>
3123
3124         * g-socket.ads: Mark Initialize and Finalize as obsolesent interfaces.
3125
3126 2009-04-09  Geert Bosch  <bosch@adacore.com>
3127
3128         * exp_fixd.adb (Build_Conversion): Accept new optional Trunc argument.
3129         (Set_Result): Likewise.
3130         (Expand_Convert_Float_To_Fixed): Have Set_Result truncate the
3131         conversion, as required by RM 4.6(31).
3132
3133 2009-04-08  Robert Dewar  <dewar@adacore.com>
3134
3135         * checks.adb (Enable_Overflow_Check): Do not enable if overflow checks
3136         suppressed.
3137
3138         * exp_ch4.adb (Expand_Concatenate): Make sure checks are off for all
3139         resolution steps.
3140
3141 2009-04-08  Robert Dewar  <dewar@adacore.com>
3142
3143         * sem_ch12.adb (Analyze_Package_Instantiation): Remove test for
3144         No_Local_Allocators restriction preventing local instantiation.
3145
3146 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3147
3148         * sem_eval.adb: Minor comment fix
3149
3150 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3151
3152         * g-socket.adb, g-socket.ads (GNAT.Sockets.Sockets_Library_Controller):
3153         New limited controlled type used to automate the initialization and
3154         finalization of the sockets implementation.
3155         (GNAT.Sockets.Initialize, Finalize): Make these no-ops
3156
3157 2009-04-08  Vincent Celier  <celier@adacore.com>
3158
3159         * prj-attr.adb: New read-only project-level attribute Project_Dir
3160
3161         * prj-proc.adb (Add_Attributes): New parameter Project_Dir, value of
3162         read-only attribute of the same name.
3163         (Process_Declarative_Items): Call Add_Attributes with Project_Dir
3164         (Recursive_Process): Ditto
3165
3166         * snames.adb: Add new standard name Project_Dir
3167
3168         * snames.ads: Add new standard name Project_Dir
3169
3170 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3171
3172         * checks.adb: Minor reformatting
3173
3174 2009-04-08  Vincent Celier  <celier@adacore.com>
3175
3176         * vms_data.ads: Add documentation for new style keyword
3177         OVERRIDING_INDICATORS
3178
3179 2009-04-08  Robert Dewar  <dewar@adacore.com>
3180
3181         * sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
3182         spec is in the current unit.
3183
3184 2009-04-08  Ed Schonberg  <schonberg@adacore.com>
3185
3186         * sem_util.adb (Is_Protected_Self_Reference): Add guard to check for
3187         presence of entity.
3188
3189         * usage.adb, gnat_ugn.texi: add info on -gnatyO: overriding indicators
3190
3191 2009-04-08  Vincent Celier  <celier@adacore.com>
3192
3193         * vms_data.ads: Add VMS equivalent for -gnatyO (OVERRIDING_INDICATORS)
3194
3195 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3196
3197         * checks.ads: Minor reformatting
3198
3199 2009-04-08  Robert Dewar  <dewar@adacore.com>
3200
3201         * gnat_rm.texi: Update documentation of pragma Obsolescent
3202
3203         * sem_prag.adb (Analyze_Pragma, case Obsolescent): Allow identifiers to
3204         be omitted, and allow Entity parameter to be omitted.
3205
3206 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3207
3208         * exp_util.adb: Minor comment fix
3209
3210 2009-04-08  Robert Dewar  <dewar@adacore.com>
3211
3212         * g-socket.ads: Fix bad syntax in pragma Obsolescent
3213
3214         * par-ch2.adb (Scan_Pragma_Argument_Association): Check for error of
3215         argument with no identifier following one that has an identifier. Was
3216         missed in some cases.
3217
3218         * sem_prag.adb (Analyze_Pragma, case Check_Policy): Allow Policy
3219         identifier.
3220         (Analyze_Pragma, case Obsolescent): Allow Message, Version identifiers
3221
3222         * snames.adb: Add Name_Policy
3223
3224         * snames.ads: Add Name_Policy
3225
3226 2009-04-08  Robert Dewar  <dewar@adacore.com>
3227
3228         * gnat_rm.texi: Minor reformatting
3229
3230         * par-ch2.adb: Minor reformatting
3231
3232 2009-04-08  Robert Dewar  <dewar@adacore.com>
3233
3234         * exp_attr.adb, sem_attr.adb, sem_util.adb: Code clean up.
3235
3236 2009-04-08  Robert Dewar  <dewar@adacore.com>
3237
3238         * sem_cat.adb (Check_Categorization_Dependencies): Handle Preelaborate
3239         properly in the presence of Remote_Types or Remote_Call_Interface.
3240
3241         * sem_util.adb: Add comment.
3242
3243 2009-04-08  Robert Dewar  <dewar@adacore.com>
3244
3245         * ug_words: Add /ASSUME_VALID for -gnatB
3246
3247         * vms_data.ads: Add /ASSUME_VALID for -gnatB
3248
3249         * sem_cat.adb: Add clarifying commment
3250
3251         * a-direio.ads (Bytes): Make sure value is non-zero
3252
3253 2009-04-08  Ed Schonberg  <schonberg@adacore.com>
3254
3255         * sem_util.adb (Is_Variable): If the prefix is an explicit dereference
3256         that does not come from source, check for a rewritten function call in
3257         prefixed notation before other forms of rewriting.
3258
3259 2009-04-08  Robert Dewar  <dewar@adacore.com>
3260
3261         * Makefile.rtl: Remove s-strops and s-sopco? from the run time, since
3262         these are now obsolescent units used only for bootrapping with an
3263         older compiler.
3264
3265 2009-04-08  Robert Dewar  <dewar@adacore.com>
3266
3267         * gnat_rm.texi: Add documentation for pragma Thread_Local_Storage
3268
3269         * sem_ch3.adb: Minor comment updates
3270
3271 2009-04-08  Ed Schonberg  <schonberg@adacore.com>
3272
3273         * inline.adb (Back_End_Cannot_Inline): restrict warning to subprograms
3274         that come from source.
3275
3276 2009-04-08  Tristan Gingold  <gingold@adacore.com>
3277
3278         * gcc-interface/gigi.h (enum attr_type): Add ATTR_THREAD_LOCAL_STORAGE.
3279         * gcc-interface/decl.c (prepend_attributes): New case
3280         Pragma_Thread_Local_Storage.
3281         * gcc-interface/utils.c (process_attributes): New case
3282         ATTR_THREAD_LOCAL_STORAGE.
3283
3284 2009-04-08  Ed Schonberg  <schonberg@adacore.com>
3285
3286         * inline.adb (Back_End_Cannot_Inline): Do not mark a body as inlineable
3287         by the back-end if it contains a call to a subprogram without a
3288         previous spec that is declared in the same unit.
3289
3290         * errout.ads: Update comments on uses of dirs
3291
3292 2009-04-08  Robert Dewar  <dewar@adacore.com>
3293
3294         * exp_ch4.adb (Expand_Concatenate): Make sure nodes are properly typed
3295
3296 2009-04-08  Tristan Gingold  <gingold@adacore.com>
3297
3298         * sem_prag.adb: Restrict pragma Thread_Local_Storage to library level
3299         variables.
3300         Set Has_Gigi_Rep_Item flag to TLS variables (to ease gigi work).
3301
3302 2009-04-08  Vincent Celier  <celier@adacore.com>
3303
3304         * prj-nmsc.adb:
3305         (Add_Source): Add the mapping of the unit name to source file name in
3306         the Unit_Sources_HT hash table, if the unit name is not null.
3307
3308         * prj.adb (Reset): Reset hash table Tree.Unit_Sources_HT
3309
3310         * prj.ads (Unit_Sources_Htable): New hash table instantiation
3311         (Project_Tree_Data): New component Unit_Sources_HT
3312
3313 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3314
3315         * sem_ch8.adb: Minor reformatting.
3316         Minor code reorganization.
3317
3318 2009-04-08  Robert Dewar  <dewar@adacore.com>
3319
3320         * snames.h, einfo.adb, einfo.ads, sem_prag.adb, snames.adb,
3321         snames.ads, freeze.adb, par-prag.adb: Add implementation of
3322         pragma Thread_Local_Storage, setting new flag
3323         Has_Pragma_Thread_Local_Storage in corresponding entities.
3324
3325 2009-04-08  Emmanuel Briot  <briot@adacore.com>
3326
3327         * prj.ads: Update comment on switches file
3328
3329         * prj-nmsc.adb: Code clean up. Use renaming clauses.
3330
3331 2009-04-08  Robert Dewar  <dewar@adacore.com>
3332
3333         * exp_ch4.adb (Expand_Concatenate): Further fixes to bounds handling
3334
3335 2009-04-08  Thomas Quinot  <quinot@adacore.com>
3336
3337         * ali-util.adb: Minor comment fix
3338
3339 2009-04-08  Ed Schonberg  <schonberg@adacore.com>
3340
3341         * sem_ch8.adb (Analyze_Use_Type): Improve error message when clause
3342         appears in a context clause, and the enclosing package is mentioned in
3343         a limited_with_clause.
3344         (Use_One_Type): Reject clause if type is still incomplete.
3345
3346 2009-04-08  Emmanuel Briot  <briot@adacore.com>
3347
3348         * prj-nmsc.adb (Check_File, Process_Sources_In_Multi_Language_Mode):
3349         avoid copies of Source_Data variables when possible, since these
3350         involve calls to memcpy() which are done too many times.
3351
3352 2009-04-08  Robert Dewar  <dewar@adacore.com>
3353
3354         * exp_ch4.adb (Expand_Concatenate): Clean up code
3355
3356 2009-04-07  Thomas Quinot  <quinot@adacore.com>
3357
3358         * exp_ch4.adb (Expand_Concatenate): Add missing conversion to index
3359         type for the case of concatenating a constrained array indexed by an
3360         enumeration type.
3361
3362 2009-04-07  Ed Schonberg  <schonberg@adacore.com>
3363
3364         * sem_ch6.adb (Check_Conformance): when checking conformance of an
3365         operation that overrides an abstract operation inherited from an
3366         interface, return False if only one of the controlling formals is an
3367         access parameter.
3368
3369 2009-04-07  Ed Schonberg  <schonberg@adacore.com>
3370
3371         * sem_ch8.adb (Analyze_Object_Renaming): additional error messages
3372         mandated by AI05-105.
3373
3374 2009-04-07  Vincent Celier  <celier@adacore.com>
3375
3376         * prj-nmsc.adb (Get_Mains): Warn if a main is an empty string
3377
3378 2009-04-07  Thomas Quinot  <quinot@adacore.com>
3379
3380         * usage.adb: Minor fix in usage message.
3381
3382         * sem_ch10.adb (Remove_Homonyms): Fix subtype of formal in body to
3383         match declaration; the correct subtype is Node_Id, not Entity_Id,
3384         because the expected node kind is an identifier, not a defining
3385         identifier.
3386
3387         * switch-c.adb: Minor reformatting.
3388
3389         * uintp.adb: Minor reformatting.
3390
3391 2009-04-07  Robert Dewar  <dewar@adacore.com>
3392
3393         * exp_ch13.adb: Minor reformatting
3394
3395 2009-04-07  Robert Dewar  <dewar@adacore.com>
3396
3397         * sem_warn.adb (Check_Infinite_Loop_Warning.Test_Ref): Add defence
3398         against missing parent.
3399
3400 2009-04-07  Thomas Quinot  <quinot@adacore.com>
3401
3402         * xoscons.adb: Minor reformatting
3403
3404 2009-04-07  Robert Dewar  <dewar@adacore.com>
3405
3406         * rtsfind.ads: Remove obsolete string concatenation entries
3407
3408 2009-04-07  Robert Dewar  <dewar@adacore.com>
3409
3410         * exp_ch4.adb (Expand_Concatenate): Redo handling of bounds
3411
3412 2009-04-07  Ed Schonberg  <schonberg@adacore.com>
3413
3414         * sem_ch10.adb (Check_Body_Required): Handle properly imported
3415         subprograms.
3416
3417 2009-04-07  Gary Dismukes  <dismukes@adacore.com>
3418
3419         * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case
3420         Attribute_Address): When Init_Or_Norm_Scalars is True and the object
3421         is of a scalar or string type then suppress the setting of the
3422         expression to Empty.
3423
3424         * freeze.adb (Warn_Overlay): Also emit the warnings about default
3425         initialization for the cases of scalar and string objects when
3426         Init_Or_Norm_Scalars is True.
3427
3428 2009-04-07  Bob Duff  <duff@adacore.com>
3429
3430         * s-secsta.ads, g-pehage.ads, s-fileio.ads: Minor comment fixes
3431
3432 2009-04-07  Bob Duff  <duff@adacore.com>
3433
3434         * gnat_rm.texi, s-fileio.adb (System.File_IO.Open): New feature: A
3435         Form parameter of Text_Translation=No allows binary mode for Text_IO
3436         files.
3437
3438         * gnat_rm.texi: Document Form parameter Text_Translation=xxx.
3439
3440 2009-04-07  Javier Miranda  <miranda@adacore.com>
3441
3442         * exp_ch5.adb (Expand_Assign_Array): Add implicit conversion when
3443         processing the bounds for bit packed arrays or VM target machines.
3444
3445 2009-04-07  Thomas Quinot  <quinot@adacore.com>
3446
3447         * g-sothco.ads (Int_Access): Remove extraneous access type (use
3448         anonymous access instead).
3449         (Get_Socket_From_Set): Fix incorrectly reverted formals
3450         Last and Socket to match the underlying C routine.
3451
3452         * g-socket.adb, g-socket.ads
3453         (Get): Use named parameter associations instead of positional ones in
3454         call go Get_Socket_From_Set, since this routine has two formals of the
3455         same type.
3456         (Image): New procedure.
3457
3458         * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
3459         g-socthi-vxworks.ads, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads:
3460         (C_Ioctl, Syscall_Ioctl): use "access C.int" instead of "Int_Access"
3461         for type of Arg formal.
3462
3463         * sem_warn.adb: Minor reformatting
3464
3465 2009-04-07  Ed Schonberg  <schonberg@adacore.com>
3466
3467         * sem_util.adb (Has_Tagged_Component): Fix typo in loop that iterates
3468         over record components.
3469
3470 2009-04-07  Nicolas Roche  <roche@adacore.com>
3471
3472         * gsocket.h:
3473         Don't include resolvLib.h on VxWorks 6 (kernel and rtp). This library
3474         has disappeared between VxWorks 6.4 and VxWorks 6.5
3475         In RTP mode use time.h instead of times.h
3476
3477 2009-04-07  Robert Dewar  <dewar@adacore.com>
3478
3479         * exp_ch4.adb (Expand_N_Op_Concat): Improve lower bound handling
3480
3481 2009-04-07  Kevin Pouget  <pouget@adacore.com>
3482
3483         * exp_dist.adb: Modify Build_From_Any_Fonction procedure to correct
3484         expanded code for constrained types.
3485
3486 2009-04-07  Ed Schonberg  <schonberg@adacore.com>
3487
3488         * sem_ch4.adb (Analyze_Overloaded_Selected_Component): implement
3489         AI05-105: in an object renaming declaration, anonymousness is a name
3490         resolution rule.
3491
3492         * sem_