gcc/ada/ChangeLog

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