gcc/ada/ChangeLog

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