gcc/ada/ChangeLog

   1 2001-10-26  Richard Kenner <kenner@gnat.com>
   2
   3         * decl.c (validate_size): Modify message for bad size to avoid
   4         implication that compiler is modifying the size.
   5
   6 2001-10-26  Robert Dewar <dewar@gnat.com>
   7
   8         * prj-util.adb: Minor reformatting. Fix bad header format.
   9
  10 2001-10-26  Robert Dewar <dewar@gnat.com>
  11
  12         * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
  13
  14         * sinfo.ads: Clarify use of Associated_Node (documentation only).
  15
  16         * sem_ch12.adb: Change Node4 to Associated_Node. Change
  17         Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
  18         much more narrowly in places where needed. These are cleanups.
  19
  20 2001-10-26  Joel Brobecker <brobecke@gnat.com>
  21
  22         * 5zosinte.ads (null_pthread): new constant.
  23
  24         * 5ztaprop.adb:
  25         (Initialize_TCB): Initialize thread ID to null, to be able to verify
  26          later that this field has been set.
  27         (Finalize_TCB): ditto.
  28         (Suspend_Task): Verify that the thread ID is not null before using it.
  29         (Resume_Task): ditto.
  30
  31         * s-tasdeb.adb:
  32         (Resume_All_Tasks): Lock the tasks list before using it.
  33         (Suspend_All_Tasks): ditto.
  34
  35 2001-10-26  Richard Kenner <kenner@gnat.com>
  36
  37         * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
  38         Make constant variant of designated type for Is_Access_Constant.
  39         Call update_pointer_to with main variant.
  40
  41         * trans.c (process_freeze_entity, process_type):
  42         Call update_pointer_to on main variant.
  43
  44         * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
  45         If main variant, update all other variants.
  46
  47         * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
  48         TREE_STATIC.
  49
  50 2001-10-26  Robert Dewar <dewar@gnat.com>
  51
  52         * prj-util.adb: Minor reformatting
  53
  54 2001-10-26  Robert Dewar <dewar@gnat.com>
  55
  56         * prj-util.adb: Minor reformatting
  57
  58 2001-10-26  Robert Dewar <dewar@gnat.com>
  59
  60         * prj-attr.adb: Minor reformatting throughout
  61
  62 2001-10-26  Robert Dewar <dewar@gnat.com>
  63
  64         * prj-attr.ads: Minor reformatting
  65         Add ??? comment (this whole spec has almost no comments)
  66
  67 2001-10-26  Vincent Celier <celier@gnat.com>
  68
  69         * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
  70         ("//") that precede the drive letter on Interix.
  71
  72 2001-10-26  Geert Bosch <bosch@gnat.com>
  73
  74         * gnat_rm.texi: Add GNAT Reference Manual.
  75
  76 2001-10-25  Robert Dewar <dewar@gnat.com>
  77
  78         * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
  79         is Error. Similar change for other renaming cases.
  80
  81 2001-10-25  Robert Dewar <dewar@gnat.com>
  82
  83         * s-atacco.ads: Add pragma Inline_Always for functions.
  84         Fix header format. Add copyright 2001
  85
  86 2001-10-25  Ed Schonberg <schonber@gnat.com>
  87
  88         * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
  89         return Error rather than Empty so that analysis can proceed.
  90
  91 2001-10-25  Ed Schonberg <schonber@gnat.com>
  92
  93         * sem_util.adb (Enter_Name): better handling of cascaded error
  94         messages when a unit appears in its own context.
  95
  96 2001-10-25  Ed Schonberg <schonber@gnat.com>
  97
  98         * sem_util.adb (Defining_Entity): in case of error, attach created
  99         entity to specification, so that semantic analysis can proceed.
 100
 101 2001-10-25  Robert Dewar <dewar@gnat.com>
 102
 103         * sem_util.adb
 104         (Defining_Entity): Deal with Error.
 105         (Process_End_Label): Deal with bad end label for.
 106
 107 2001-10-25  Ed Schonberg <schonber@gnat.com>
 108
 109         * sem_elab.adb (Check_A_Call): refine message when call is in an
 110         instance but callee is not declared in the generic unit.
 111
 112 2001-10-25  Ed Schonberg <schonber@gnat.com>
 113
 114         * sem_elab.adb (Check_A_Call): check for renaming before finding the
 115         enclosing unit, which may already be different from the calling unit.
 116
 117 2001-10-25  Geert Bosch <bosch@gnat.com>
 118
 119         * 4gintnam.ads: fix header format.
 120
 121 2001-10-25  Ed Schonberg <schonber@gnat.com>
 122
 123         * sem_res.adb (Resolve_Call): if the call is actually an indexing
 124         operation on the result of a parameterless call, perform elaboration
 125         check after the node has been properly rewritten.
 126
 127         * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
 128         inlined within the generic tree, the defining identifier is not a
 129         compilation_unit.
 130
 131 2001-10-25  Ed Schonberg <schonber@gnat.com>
 132
 133         * sem_res.adb (Resolve): special-case resolution of Null in an
 134          instance or an inlined body to avoid view conflicts.
 135
 136         * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
 137          compatibility by retrieving the access type of the generic copy.
 138
 139 2001-10-25  Robert Dewar <dewar@gnat.com>
 140
 141         * sem_ch3.adb:
 142         (Analyze_Number_Declaration): Handle error expression.
 143         (Signed_Integer_Type_Declaration): Handle error bound.
 144         (Analyze_Subtype_Indication): Handle error range.
 145
 146         * sem_util.adb (Get_Index_Bounds): Check for Error.
 147
 148 2001-10-25  Robert Dewar <dewar@gnat.com>
 149
 150         * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
 151         in no run time mode.
 152
 153 2001-10-25  Pascal Obry <obry@gnat.com>
 154
 155         * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
 156         mode case for ALLOC case.
 157
 158         * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
 159         all platforms. Improvement of last change.
 160
 161 2001-10-25  Robert Dewar <dewar@gnat.com>
 162
 163         * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
 164
 165 2001-10-25  Geert Bosch  <bosch@gnat.com>
 166
 167         * osint.adb (Is_Relative): Remove duplicate.
 168
 169 2001-10-25  Pascal Obry <obry@gnat.com>
 170
 171         * osint.adb (Read_Default_Search_Dirs): correctly detect relative
 172         pathnames in UNIX and DOS style with drive letter.
 173         (Is_Relative): new routine.
 174
 175         * osint.adb: Minor reformatting
 176
 177         * osint.adb (Is_Relative): implementation using
 178         GNAT.OS_Lib.Is_Absolute_Path. Better fix.
 179
 180 2001-10-25  Pascal Obry <obry@gnat.com>
 181
 182         * g-dirope.adb (Basename): correctly compute offset between the
 183         original Path and the translated one.
 184
 185         * g-dirope.adb: (Base_Name): add some comments.
 186
 187 2001-10-25  Robert Dewar <dewar@gnat.com>
 188
 189         * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
 190         in HIE mode, avoids compilation abandoned message
 191
 192         * exp_imgv.adb: Correct typo in previous change
 193
 194         * exp_imgv.adb: Correct typo in previous change (not my day!)
 195
 196 2001-10-25  Robert Dewar <dewar@gnat.com>
 197
 198         * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
 199
 200 2001-10-25  Pascal Obry <obry@gnat.com>
 201
 202         * g-awk.ads: Move all pragma inlines next to the routine
 203          declarations. This is more uniform with other GNAT spec.
 204
 205 2001-10-22  Geert Bosch  <bosch@gnat.com>
 206
 207         * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
 208
 209 2001-10-19  Geert Bosch  <bosch@gnat.com>
 210
 211         * Makefile.in (tools, gnattools): Remove gnatmem.
 212
 213 2001-10-17  Richard Henderson  <rth@redhat.com>
 214
 215         * Makefile.in (misc.o): Depend on langhooks.h.
 216         * misc.c: Include it.
 217         (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
 218         (LANG_HOOKS_DECODE_OPTION): New.
 219         (lang_hooks): Use LANG_HOOKS_INITIALIZER.
 220
 221 2001-10-16  Florian Weimer  <fw@deneb.enyo.de>
 222
 223         * trans.c (tree_transform): Adjust to recent change in
 224         expand_asm_operands to implement named asm operands.
 225
 226 2001-10-11  Ed Schonberg  <schonber@gnat.com>
 227
 228         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
 229         renaming of discriminant for mutable record type.
 230
 231 2001-10-11  Robert Dewar  <dewar@gnat.com>
 232
 233         * validsw.adb: Properly save -gnatVn status.
 234
 235 2001-10-11  Robert Dewar <dewar@gnat.com>
 236
 237         * usage.adb: Add lines for V switch.
 238
 239         * gnatcmd.adb (COMPILE): Revise translations for -gnatV
 240         (/VALIDITY_CHECKING).
 241
 242 2001-10-11  Ed Schonberg <schonber@gnat.com>
 243
 244         * sem_type.adb (Add_One_Interp): an operator for a type declared in
 245         an extension of System is known to be visible.
 246
 247 2001-10-11  Ed Schonberg <schonber@gnat.com>
 248
 249         * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
 250         properly. Fixes regression on ACATS C34005G.
 251
 252 2001-10-11  Robert Dewar <dewar@gnat.com>
 253
 254         * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
 255         loop in generic instance, since this is likely not very useful.
 256
 257 2001-10-11  Robert Dewar <dewar@gnat.com>
 258
 259         * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
 260         the error message for high integrity mode.
 261
 262         * rtsfind.adb (RTE): Give message if we try to find an entity that
 263         is not available in high integrity mode.
 264
 265         * rtsfind.ads:
 266         (OK_To_Use_In_HIE_Mode): New array.
 267         (RTE): May return Empty in high integrity mode.
 268
 269         * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
 270         OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
 271
 272         * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
 273         unit if not inlined always and in no runtime mode. Fixes problem
 274         caused by new Rtsfind changes.
 275
 276         * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
 277         body is deleted.
 278
 279         * rtsfind.adb (RTE): Make sure we do not try to load unit after
 280         giving message for entity not available in high integrity mode.
 281
 282 2001-10-11  Pascal Obry <obry@gnat.com>
 283
 284         * impunit.adb: Add GNAT.CRC32.
 285
 286 2001-10-11  Ed Schonberg <schonber@gnat.com>
 287
 288         * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
 289         properly the case where one universal operand in a non-static
 290         exponentiation of a real literal.
 291
 292 2001-10-11  Ed Schonberg <schonber@gnat.com>
 293
 294         * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
 295         clause, return the gobal finalization list, for lack of anthing else.
 296
 297 2001-10-11  Ed Schonberg <schonber@gnat.com>
 298
 299         * exp_ch7.adb (Make_Transient_Block): if statement is within
 300         exception handler, always use new transient scope to place Clean
 301         procedure.
 302
 303 2001-10-11  Pascal Obry <obry@gnat.com>
 304
 305         * Makefile.in:
 306         (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
 307         (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
 308         (GNATLS_RTL_OBJS): add g-crc32.o
 309         (GNATMAKE_RTL_OBJS): add g-crc32.o
 310
 311         * ali-util.adb:
 312         (CRC_Match): new function.
 313         (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
 314         instead of the previous simple checksum algorithm.
 315         (Time_Stamp_Mismatch): use CRC_Match for comparison.
 316         (Set_Source_Table): idem.
 317
 318         * ali-util.ads:
 319         (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
 320         instead of simple checksum.
 321         (CRC_Match): new function.
 322         (CRC_Error): new constant.
 323
 324         * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
 325         a CRC now and not a simple checksum. A CRC uses lower-case hex
 326         letters, fixes ambiguity in parsing.
 327
 328         * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
 329         is what this variable will store.
 330
 331         * bcheck.adb: Change reference to chechsum in comments by CRC.
 332         (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
 333         rename All_Checksum_Match to All_CRC_Match. Change due to API
 334         renaming since now GNAT does not use a simple checksum but a
 335         CRC using GNAT.CRC32.
 336
 337         * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
 338         now and not anymore a simple checksum.
 339
 340         * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
 341         places.
 342
 343         * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
 344
 345         * scans.adb:
 346         (Restore_Scan_State): rename Checksum to CRC.
 347         (Save_Scan_State): idem.
 348
 349         * scans.ads:
 350         With GNAT.CRC32.
 351         (Checksum): rename to CRC.
 352         (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
 353
 354         * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
 355         GNAT.CRC32).  Update copyright notice.
 356
 357         * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
 358         GNAT.CRC32).  Update copyright notice.
 359
 360         * scn.adb:
 361         (Accumulate_Checksum): removed.
 362         (Update): new procedure. Add a wide-character into the CRC.
 363
 364         * sinput-l.adb:
 365         (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
 366         (Load_File): fix initialization of S (change Source_Checksum to
 367         Source_CRC)
 368
 369         * sinput-p.adb (Load_Project_File): rename Source_Checksum to
 370         Source_CRC in S initialization.
 371
 372         * sinput.adb (Source_Checksum): renamed to Source_CRC.
 373
 374         * sinput.ads (Source_Checksum): renamed to Source_CRC.
 375         Update comments for the CRC.
 376
 377         * types.adb (Hex): Use lowercase for the letter part.
 378
 379         * types.ads (Get_Hex_String): Returns the hexadecimal representation
 380         for a word. This is currently used only for CRC. In previous version,
 381         the checksum was using a representation with all letter being
 382         upper-case. With the new implementation (using CRC) we do not remove
 383         the 32th bit of the CRC, so we can have an upper-case starting letter
 384         in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
 385         It is ambigous since the CRC was optional and could be followed by
 386         options like EB, EE. So now this routines uses lower-case letter for
 387         the hexadecimal representation. Strange enough only lower case letters
 388         where checked in Scan_ALI (even if this was not a possible case).
 389
 390         * gnatvsn.ads (Library_Version): changed to 3.15a.
 391
 392         * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
 393         for the compiler.
 394
 395         * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
 396         for the compiler.
 397
 398         * ali-util.adb: Redo previous change to avoid using word CRC everywhere
 399         Add 2001 to copyright notice
 400         (Accumulate_Checksum): Modify to use System.CRC32.
 401
 402         * ali-util.ads: Redo changes of previous revision to continue to use
 403         the word Checksum. Add 2001 to copyright notice.
 404
 405         * ali.adb: Undo some of previous changes, not needed.
 406         Keep the change for lower case letters in the checksum.
 407
 408         * ali.ads: Undo previous change not needed.
 409
 410         * bcheck.adb: Undo most of previous change, not needed.
 411         But do use Checksums_Match for checksum comparison.
 412
 413         * gnatls.adb: Undo most of previous change, not needed.
 414         But do use Checksums_Match for comparing checksums.
 415
 416         * lib-load.adb: Undo previous change, not needed.
 417
 418         * lib-writ.adb: Undo previous change, not needed.
 419
 420         * lib-writ.ads: Document that checksums use lower case,
 421         not upper case letters.
 422
 423         * scans.adb: Undo previous change, not needed
 424
 425         * scans.ads: Undo previous change, not needed.
 426
 427         * scn-nlit.adb: Undo previous changes, not needed.
 428
 429         * scn-slit.adb: Undo previous change, not needed.  Fix header format.
 430
 431         * scn.adb:
 432         (Accumulate_Checksum): Use System.CRC32.
 433         (Initialize_Checksum): New procedure.
 434         Remove other changes of previous revision.
 435
 436         * sinput-p.adb: Undo previous change, not needed.
 437
 438         * sinput.adb: Undo previous change, not needed.
 439
 440         * sinput-l.adb: Undo previous change, not needed.
 441
 442         * sinput.ads: Undo previous change, not needed.  Keep only comment
 443         on new checksum algorithm
 444
 445         * Makefile.in: Add s-crc32 as needed, remove g-crc32.
 446         Also remove a-tags and a-stream from GNAT sources.
 447
 448         * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
 449
 450         * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
 451
 452 2001-10-11  Geert Bosch  <bosch@gnat.com>
 453
 454         * einfo.h: Regenerate.
 455
 456         * nmake.ads: Regenerate.
 457
 458         * nmake.adb: Regenerate.
 459
 460         * sinfo.h: Regenerate.
 461
 462         * treeprs.adb: Regenerate.
 463
 464 2001-10-10  Geert Bosch  <bosch@gnat.com>
 465
 466         * gnat-style.texi: New file describing coding guidelines for Ada.
 467
 468 2001-10-10  Ed Schonberg <schonber@gnat.com>
 469
 470         * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
 471         is Flag174.
 472
 473 2001-10-10  Geert Bosch  <bosch@gnat.com>
 474
 475         * snames.ads: Add new names for project facility.
 476
 477         * snames.adb: Update to reflect snames.ads changes.
 478
 479         * snames.h: Update to reflect snames.ads changes.
 480
 481 2001-10-10  Vincent Celier <celier@gnat.com>
 482
 483         * make.adb:
 484         (Add_Switches): reflect the changes for the switches attributes
 485         Default_Switches indexed by the programming language,
 486         Switches indexed by the file name.
 487         (Collect_Arguments_And_Compile): Idem.
 488         Reflect the attribute name changes.
 489
 490         * prj-attr.adb:
 491         (Initialisation_Data): Change the names of some packages and
 492         attributes.
 493         (Initialize): process case insensitive associative arrays.
 494
 495         * prj-attr.ads:
 496         (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
 497
 498         * prj-dect.adb:
 499         (Parse_Attribute_Declaration): For case insensitive associative
 500          arrays, set the index string to lower case.
 501
 502         * prj-env.adb:
 503         Reflect the changes of the project attributes.
 504
 505         * prj-nmsc.adb:
 506         Replace Check_Naming_Scheme by Ada_Check and
 507         Language_Independent_Check.
 508
 509         * prj-nmsc.ads:
 510         Replaced Check_Naming_Scheme by 2 procedures:
 511         Ada_Check and Language_Independent_Check.
 512
 513         * prj-proc.adb:
 514         (Process_Declarative_Items): For case-insensitive associative
 515         arrays, set the index string to lower case.
 516         (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
 517         Prj.Nmsc.Check_Naming_Scheme.
 518
 519         * prj-tree.adb:
 520         (Case_Insensitive): New function
 521         (Set_Case_Insensitive): New procedure
 522
 523         * prj-tree.ads:
 524         (Case_Insensitive): New function
 525         (Set_Case_Insensitive): New procedure
 526         (Project_Node_Record): New flag Case_Insensitive.
 527
 528         * prj-util.adb:
 529         (Value_Of): new function to get the string value of a single
 530         string variable or attribute.
 531
 532         * prj-util.ads:
 533         (Value_Of): new function to get the string value of a single
 534         string variable or attribute.
 535
 536         * prj.adb:
 537         (Ada_Default_Spec_Suffix): New function
 538         (Ada_Default_Impl_Suffix): New function
 539         Change definitions of several constants to reflect
 540         new components of record types.
 541
 542         * prj.ads:
 543         (Naming_Data): Change several components to reflect new
 544         elements of naming schemes.
 545         (Project_Data): New flags Sources_Present and
 546         Language_Independent_Checked.
 547         (Ada_Default_Spec_Suffix): New function.
 548         (Ada_Default_Impl_Suffix): New function.
 549
 550         * snames.ads:
 551         Modification of predefined names for project manager: added
 552         Implementation, Specification_Exceptions, Implementation_Exceptions,
 553         Specification_Suffix, Implementation_Suffix, Separate_Suffix,
 554         Default_Switches, _Languages, Builder, Cross_Reference,
 555         Finder. Removed Body_Part, Specification_Append, Body_Append,
 556         Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
 557         Gnatlink.
 558
 559         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
 560         Add comments.
 561
 562         * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
 563         not that it is Nil_Variable_Value.
 564
 565         * prj.ads: Add ??? for uncommented declarations
 566
 567 2001-10-10  Ed Schonberg <schonber@gnat.com>
 568
 569         * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
 570         constant, do not indicate possible modification, so that gigi can
 571         treat it as a bona fide constant.
 572
 573 2001-10-10  Robert Dewar <dewar@gnat.com>
 574
 575         * sem_prag.adb: Add processing for pragma External.
 576
 577         * snames.ads: Add entry for pragma External.
 578
 579         * par-prag.adb: Add pragma External.
 580
 581         * snames.adb: Updated to match snames.ads.
 582
 583 2001-10-10  Ed Schonberg <schonber@gnat.com>
 584
 585         * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
 586         a dynamic task if the allocator appears in an indexed assignment
 587         or selected component assignment.
 588
 589         * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
 590         For a dynamic task in an assignment statement, use target of
 591         assignment to generate meaningful name.
 592
 593 2001-10-10  Ed Schonberg <schonber@gnat.com>
 594
 595         * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
 596         a generic package.
 597
 598         * einfo.ads: Body_Entity is also defined for generic package.
 599         Documentation change only
 600
 601         * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
 602         others_choice for a discriminated component initialization,
 603         convert discriminant references into the corresponding discriminals.
 604
 605         * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
 606         only if original type is private and expression has to be wrapped
 607         in a conversion.
 608
 609         * checks.adb:
 610         (Apply_Constraint_Check): Do not perform length check
 611         if expression is an aggregate with only an others_choice.
 612         (Length_N_Cond): two references to the same in_parameter
 613         (typically the discriminal in an init_proc) denote the same value.
 614         Two useful optimization uncovered by bugfixes above.
 615
 616 2001-10-10  Robert Dewar <dewar@gnat.com>
 617
 618         * xeinfo.adb: Change int to char in translation of enumeration types.
 619         This fixes a problem in the C representation of component alignment.
 620         Add 2001 to copyright notice
 621
 622 2001-10-10  Richard Kenner <kenner@gnat.com>
 623
 624         * decl.c: (validate_size): Do check size of object of integral type
 625         if it is a packed array type.
 626
 627 2001-10-10  Richard Kenner <kenner@gnat.com>
 628
 629         * decl.c: (gnat_to_gnu_entity, case object): Also materialize
 630         VAR_DECL for constant if not Is_Public but -O0.
 631
 632 2001-10-10  Richard Kenner  <kenner@gnat.com>
 633
 634         * misc.c (struct lang_hooks): Add new initializer to match GCC change.
 635
 636 2001-10-10  Geert Bosch  <bosch@gnat.com>
 637
 638         * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
 639         use '/' as switch character, allowing for absolute file names.
 640
 641 2001-10-09  Joseph S. Myers  <jsm28@cam.ac.uk>
 642
 643         * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
 644         FSF address.
 645
 646 2001-10-08  Geert Bosch  <bosch@gnat.com>
 647
 648         * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
 649         Automatically build utilities when files need to be regenerated.
 650
 651 2001-10-08  Geert Bosch  <bosch@gnat.com>
 652
 653         * xsnames.adb: New utility for updating snames.ads and snames.adb
 654
 655 2001-10-08  Zack Weinberg  <zack@codesourcery.com>
 656
 657         * Make-lang.in (ADAFLAGS): Add -W -Wall.
 658         (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
 659         (gnat1): Also depend on attribs.o.
 660         (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
 661         * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
 662         (ADAC): Set to @ADAC@ in stage1, $(CC) later.
 663         (ADAFLAGS): Add -W -Wall.
 664         (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
 665         take out CFLAGS.
 666
 667         (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
 668         s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
 669         s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
 670         Use $(ADAC), not $(CC), as compilation command.
 671
 672         (gnattools): Depend directly on tools to build, don't use
 673         recursive make.
 674         (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
 675
 676         * einfo.h, sinfo.h: New files (autogenerated).
 677
 678 2001-10-08  Richard Henderson  <rth@redhat.com>
 679
 680         * comperr.adb (Abort_In_Progress): New.
 681         (Compiler_Abort): Use it to prevent recursion.
 682
 683 2001-10-08  Robert Dewar <dewar@gnat.com>
 684
 685         * atree.adb: Set Error_Posted in Error node, helps error recovery.
 686
 687         * par-endh.adb (Output_End_Expected): We should also not test
 688         Error_Posted on the Error node, since now it is always set.
 689
 690         * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
 691         to help error recovery. Part of general work on 9407-004.
 692
 693         * par.adb: Add ??? for misuse of error
 694
 695         * sem_res.adb:
 696         (Resolve): Defend against Error, fixes 9407-003.
 697         (Resolve_Discrete_Subtype_Indication): Defend against Error.
 698
 699         * sinfo.ads (N_Error): Now has Etype field (which will be set
 700         to Any_Type to help error recovery).
 701
 702 2001-10-08  Richard Kenner (kenner@gnat.com)
 703
 704         * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
 705         Consistently set MEM attributes from expression; fixes
 706         bootstrap failure on x86.
 707
 708 2001-10-08  Geert Bosch  (bosch@gnat.com)
 709
 710         * 5oosinte.adb: Add 2001 to copyright notice.
 711
 712 2001-10-08  Geert Bosch  (bosch@gnat.com)
 713
 714         * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
 715
 716         * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
 717
 718 2001-10-07  Joseph S. Myers  <jsm28@cam.ac.uk>
 719
 720         * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
 721
 722 2001-10-05  Geert Bosch  (bosch@gnat.com)
 723
 724         * adaint.h: Small formatting fix.
 725
 726 2001-10-04  Geert Bosch  <bosch@gnat.com>
 727
 728         * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
 729         Arg is int, not FILE *, in dummy version of functions.
 730
 731         * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
 732         Arg is int, not FILE *.
 733
 734 2001-10-04  Geert Bosch  <bosch@gnat.com>
 735
 736         * 3lsoccon.ads: Added file, missed with initial check ins.
 737
 738         * 4lintnam.ads: Fix header format.
 739         Change Linux to GNU/Linux.
 740
 741         * 5iosinte.adb: Change Linux to GNU/Linux.
 742
 743         * 5iosinte.ads: Change Linux to GNU/Linux.
 744
 745         * 5itaprop.adb: Change Linux to GNU/Linux.
 746
 747         * 5itaspri.ads: Change Linux to GNU/Linux.
 748         Update copyright notice.
 749
 750         * 5lintman.adb: Change Linux to GNU/Linux.
 751
 752         * 5lml-tgt.adb: Change Linux to GNU/Linux.
 753
 754         * 5losinte.ads: Change Linux to GNU/Linux.
 755
 756         * 5lsystem.ads: Change Linux to GNU/Linux.
 757
 758         * 5qosinte.adb: Change Linux to GNU/Linux.
 759
 760         * 5qosinte.ads: Change Linux to GNU/Linux.
 761
 762         * 5qparame.ads: Change Linux to GNU/Linux.
 763
 764         * 5qtaprop.adb: Change Linux to GNU/Linux.
 765
 766         * 5qtaspri.ads: Change Linux to GNU/Linux.
 767         Add 2001 to copyright notice.
 768
 769         * 5vintman.ads: Change Linux to GNU/Linux.
 770         Fix header format.  Add 2001 to copyright notice.
 771
 772         * g-soccon.ads: Change Linux to GNU/Linux.
 773
 774         * g-trasym.ads: Change Linux to GNU/Linux.
 775         Add 2001 to copyright notice.
 776
 777         * memtrack.adb: Change Linux to GNU/Linux.
 778
 779         * s-intman.ads: Change Linux to GNU/Linux.
 780         Add 2001 to copyright notice.  Fix header format.
 781
 782         * s-stache.adb: Change Linux to GNU/Linux.
 783
 784         * adaint.c: Change Linux to GNU/Linux.
 785
 786         * cio.c: Change Linux to GNU/Linux.
 787
 788         * cstreams.c: Change Linux to GNU/Linux.
 789
 790         * init.c: Change Linux to GNU/Linux.
 791
 792         * gmem.c: Change Linux to GNU/Linux.
 793
 794         * tracebak.c: Change Linux to GNU/Linux.
 795
 796
 797 2001-10-02  Geert Bosch  <bosch@gnat.com>
 798
 799         * misc.c (insert_default_attributes): Add dummy version.