OSDN Git Service

* Makefile.in: Add dependencies for System.IO for GNAT.Regexp
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2001-12-05  Robert Dewar <dewar@gnat.com>
2
3         * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
4
5 2001-12-05  Ed Schonberg <schonber@gnat.com>
6
7         * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
8         constraint, introduce explicit subtype declaration and derive from it.
9         
10         * sem_ch3.adb: Minor reformatting
11
12 2001-12-05  Robert Dewar <dewar@gnat.com>
13
14         * checks.adb (Determine_Range): Increase cache size for checks. 
15         Minor reformatting
16         
17         * exp_ch6.adb: Minor reformatting
18         (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
19         a parameter whose root type is System.Address, since treating such
20         subprograms as pure in the code generator is almost surely a mistake
21         that will lead to unexpected results.
22         
23         * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and 
24         change handling of conversions.
25         
26         * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
27
28 2001-12-05  Ed Schonberg <schonber@gnat.com>
29
30         * sem_ch3.adb (Analyze_Object_Declaration): If expression is an 
31         aggregate with static wrong size, attach generated Raise node to 
32         declaration.
33
34 2001-12-05  Robert Dewar <dewar@gnat.com>
35
36         * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute. 
37         Fixes compilation abandoned bomb in B24009B.
38
39 2001-12-05  Ed Schonberg <schonber@gnat.com>
40
41         * sem_ch12.adb:
42         Document use of Associated_Node on Selected_Components.
43         (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
44         to clarify use of untyped descendant fields.
45
46 2001-12-05  Robert Dewar <dewar@gnat.com>
47
48         * prj-dect.ads: Add ??? comment
49         Add 2001 to copyright notice (was not done in after all)
50         
51         * prj-part.adb: Minor reformatting. Reword one awkward error message.
52         
53         * prj.ads: Minor reformatting throughout, and add some ??? comments
54         
55         * snames.ads: Minor reformatting
56
57 2001-12-05  Geert Bosch <bosch@gnat.com>
58
59         * snames.adb: Autoupdate
60
61 2001-12-05  Vincent Celier <celier@gnat.com>
62
63         * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
64         
65         * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
66         
67         * prj-env.adb: Minor comment changes (modifying -> extends).
68         
69         * prj-nmsc.adb: Minor comment changes (modifying -> extends).
70         
71         * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to 
72         Tok_Extends.
73         
74         * prj.adb (Initialize): Change Modifying to Extends.
75         
76         * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
77         
78         * prj.ads: Minor comment change (Modifying -> extending).
79         
80         * snames.ads: Change modifying to extends.
81
82 2001-12-05  Robert Dewar <dewar@gnat.com>
83
84         * sem_warn.adb: Remove stuff for conditionals, we are not going to 
85         do this after all.
86         
87         * sem_warn.ads: Remove stuff for conditionals, we are not going to 
88         do this after all.  Add 2001 to copyright notice
89
90 2001-12-04  Geert Bosch <bosch@gnat.com>
91
92         *  einfo.h, sinfo.h, treeprs.ads: Regenerate.
93
94 2001-12-04  Robert Dewar <dewar@gnat.com>
95
96         * errout.adb (Error_Msg): Ignore attempt to put error msg at junk 
97         location if we already have errors. Stops some cases of cascaded 
98         errors.
99         
100         * errout.adb: Improve comment.
101
102 2001-12-04  Robert Dewar <dewar@gnat.com>
103
104         * sem_ch12.adb:
105         (Analyze_Formal_Type_Definition): Defend against Error.
106         (Analyze_Formal_Subprogram): Defend against Error.
107         
108         * par-ch12.adb (F_Formal_Type_Declaration): In case of error, 
109         remove following semicolon if present. Removes cascaded error.
110
111 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
112
113         * bindgen.adb:
114         (Gen_Exception_Table_Ada): Write "begin" and then return if Num
115          exceptions equals 0.
116         (Gen_Exception_Table_C): Return if Num exceptions equals 0.
117         Fixes PIWG E tests (which have to be run with -gnatL).
118
119 2001-12-04  Robert Dewar <dewar@gnat.com>
120
121         * einfo.ads: Minor reformatting
122
123 2001-12-04  Ed Schonberg <schonber@gnat.com>
124
125         * einfo.ads: Block_Node points to the identifier of the block, not to 
126         the block node itself, to preserve the link when the block is 
127         rewritten, e.g. within an if-statement with a static condition. 
128         
129         * inline.adb (Cleanup_Scopes): recover block statement from block 
130         entity using new meaning of Block_Node.
131         
132         * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to 
133         identifier of block node, rather than to node itself.
134
135 2001-12-04  Gary Dismukes <dismukes@gnat.com>
136         
137         * layout.adb:
138         (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
139         (Discrimify): Go back to setting the Etypes of the selected component
140         because the Vname component does not exist at this point and will 
141         fail name resolution. Also set Analyzed.
142         Remove with and use of Sem_Res.
143
144 2001-12-04  Arnaud Charlet <charlet@gnat.com>
145
146         * Makefile.in: (HIE_SOURCES): add s-fat*.
147
148 2001-12-04  Robert Dewar <dewar@gnat.com>
149
150         * sem_attr.adb:
151         (Compile_Time_Known_Attribute): New procedure.
152         (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
153          proper range check.
154
155 2001-12-04  Ed Schonberg <schonber@gnat.com>
156
157         * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before 
158         processing discriminants to diagnose illegal default values.
159
160 2001-12-04  Ed Schonberg <schonber@gnat.com>
161
162         * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide 
163         access discriminant within a type extension that constrains its 
164         parent discriminants.
165
166 2001-12-04  Ed Schonberg <schonber@gnat.com>
167
168         * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication 
169         is malformed, use instance of Any_Id to allow analysis to proceed.
170         
171         * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if 
172         type definition is illegal.
173         (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
174         misplaced.
175
176 2001-12-04  Ed Schonberg <schonber@gnat.com>
177
178         * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to 
179         constants.
180
181 2001-12-04  Robert Dewar <dewar@gnat.com>
182
183         * errout.adb: Minor reformatting
184
185 2001-12-04  Robert Dewar <dewar@gnat.com>
186
187         * exp_util.adb: Minor reformatting from last change
188         
189         * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node 
190         which is a rewriting of an expression, traverse the original 
191         expression to remove warnings that may have been posted on it.
192
193 2001-12-04  Ed Schonberg <schonber@gnat.com>
194
195         * exp_util.adb (Must_Be_Aligned): Return false for a component of a 
196         record that has other packed components.
197
198 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
199
200         * adaint.c: Minor cleanups.
201
202 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
203
204         * adaint.c: Do not use utime.h on vxworks.
205
206 2001-12-04  Arnaud Charlet <charlet@gnat.com>
207
208         * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes 
209         more confusion than it solves.
210
211 2001-12-04  Geert bosch <bosch@gnat.com>
212
213         * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
214
215 2001-12-04  Geert Bosch  <bosch@gnat.com>
216
217         * Makefile.in (update-sources): New target. 
218         For use by gcc_release script.
219
220 2001-12-04  Ed Schonberg <schonber@gnat.com>
221
222         * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as 
223         a configuration pragma, it is now legal wherever a pragma can appear.
224
225 2001-12-04  Zack Weinberg  <zack@codesourcery.com>
226
227         * Makefile.in: Don't set ALL.  Delete @cross_defines@,
228         @cross_overrides@, @build_overrides@ stanzas.  INTERNAL_CFLAGS
229         is now @CROSS@ -DIN_GCC; update comment.
230
231 2001-12-04  Robert Dewar <dewar@gnat.com>
232
233         * einfo.adb (Has_Pragma_Pure_Function): New flag.
234         Fix problem that stopped ceinfo from working
235         
236         * einfo.ads (Has_Pragma_Pure_Function): New flag.
237         
238         * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
239
240 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
241
242         * gnatchop.adb:
243         (File_Time_Stamp): New procedure.
244         (Preserve_Mode): New boolean.
245         (Write_Unit): Pass time stamp.
246         Implement -p switch (preserve time stamps).
247         
248         * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
249         
250         * gnatchop.adb: Do usage info for -p switch
251         
252         * adaint.h (__gnat_set_file_time_name): New function
253         
254         * adaint.c (__gnat_set_file_time_name): Implement
255         
256         * adaint.h: Fix typo
257
258 2001-12-03  Robert Dewar <dewar@gnat.com>
259
260         * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
261         have Associated_Node.
262
263 2001-12-03  Robert Dewar <dewar@gnat.com>
264
265         * prj-proc.adb: Minor reformatting
266
267         * make.adb: Minor reformatting
268
269 2001-12-03  Geert Bosch <bosch@gnat.com>
270
271         * make.adb: Minor reformatting.
272
273 2001-12-03   <dewar@gnat.com>
274
275         * sem_ch12.adb: Minor reformatting
276
277 2001-12-03  Ed Schonberg <schonber@gnat.com>
278
279         * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
280         push Standard on the stack before analyzing the instance body,
281         in order to have a clean visibility environment.
282
283         * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
284
285 2001-12-03  Ed Schonberg <schonber@gnat.com>
286
287         * sem_ch12.adb (Instantiate_Package_Body): Protect against double
288         instantiation of a body that contains an inlined body.
289
290 2001-12-03  Ed Schonberg <schonber@gnat.com>
291
292         * sem_ch12.adb:
293         (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
294         to prevent freezing within formal packages.
295         (Freeze_Subprogram_Body): If body comes from another instance that
296         appeared before its own body, place freeze node at end of current
297         declarative part, to prevent a back-end crash.
298         (Inline_Instance_Body): Handle properly a package instance within
299         a subprogram instance that is a child unit.
300
301 2001-12-01  Graham Stott  <grahams@redhat.com>
302
303         * Makefile.in (misc.o): Add missing $(srcdir) prefix
304         and add optabs.h dependency.
305
306         * misc.c: Include optabs.h
307         (gnat_tree_code_type): Make static and const.
308         (gnat_tree_code_length): Likewise.
309         (gnat_tree_code_name): Likewise.
310         (update_setjmp_buf): Obtain operands mode from insn_data.
311
312 2001-11-29  Richard Henderson  <rth@redhat.com>
313
314         * init.c: Remove obsolete dwarf2 frame.h section.
315
316 2001-11-29  Joseph S. Myers  <jsm28@cam.ac.uk>
317
318         * Make-lang.in (ada.generated-manpages): New dummy target.
319
320 2001-11-29  Ed Schonberg <schonber@gnat.com>
321
322         * g-os_lib.adb (Add_To_Command): use explicit loop to move string
323         into Command, an array conversion is illegal here. Uncovered by
324         ACATS B460005.
325
326 2001/11/28  Geert Bosch <bosch@gnat.com>
327
328         * init.c: Minor whitespace changes.
329
330 2001-11-28  Doug Rupp <rupp@gnat.com>
331
332         * init.c: (__gnat_install_handler,VMS): Increase size of alternate
333         signal stack.
334
335 2001-11-28  Zack Weinberg  <zack@codesourcery.com>
336
337         * misc.c (gnat_expand_constant): Move declaration above
338         definition of lang_hooks.
339         (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
340         (gnat_init): lang_expand_constant no longer exists.
341
342         (internal_error_function): Remove #ifdef HAVE_VPRINTF.  We
343         always have vprintf.
344         (gnat_init): Always call set_internal_error_function.
345
346 2001-11-27  Andreas Jaeger  <aj@suse.de>
347
348         * Makefile.in (stamp-tool_src_dir): Use symbolic link.
349
350 2001-11-27  Laurent Guerby  <guerby@acm.org>
351
352         * Makefile.in: Regenerate Ada dependencies.
353
354 2001-11-26  Richard Henderson  <rth@redhat.com>
355
356         * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
357         gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
358         gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
359
360 2001-11-25  Laurent Guerby  <guerby@acm.org>
361
362         * sysdep.c (rts_get_*): Fix style.
363
364 2001-11-19  Laurent Guerby  <guerby@acm.org>
365
366         * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
367         since it is of no apparent use and cause warnings.
368
369 2001-11-18  Neil Booth  <neil@daikokuya.demon.co.uk>
370
371         * misc.c (gnat_decode_option, gnat_init_options): Make definitions
372         static too.
373         (gnat_init): Don't return NULL.
374         (finish_parse): Remove.
375
376 2001-11-17  Laurent Guerby  <guerby@acm.org>
377
378         * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
379         * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
380         * io-aux.c: Provide K&R prototypes to all functions, reformat code.
381         * lang-spec.h: Add missing struct field to silence warnings.
382         * sysdep.c (rts_get_*): Provide K&R prototype.
383         * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
384         * traceback.c (Unlock_Task, Lock_Task): Likewise.
385         * tracebak.c (__gnat_backtrace): Remove unused variable.
386         * utils.c (end_subprog_body): Move to K&R style.
387
388 Thu Nov 15 18:16:17 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
389
390         * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
391
392 2001-11-15  Neil Booth  <neil@daikokuya.demon.co.uk>
393
394         * misc.c (gnat_init): Change prototype.  Include the
395         functionality of the old init_parse and init_decl_processing.
396         (gnat_init_decl_processing): New prototype.
397         (init_parse): Remove.
398         * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
399
400 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
401
402         * misc.c (gnat_print_decl, gnat_print_type): Renamed.
403         (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
404         (print_lang_statistics, lang_print_xnode, print_lang_identifier,
405         set_yydebug): Remove.
406
407 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
408
409         * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
410         (struct lang_hooks): Constify.
411         (language_string, lang_identify): Remove.
412         * utils.c (init_decl_processing): Update.
413
414 2001-11-06  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
415
416         * misc.c: Include langhooks-def.h.
417         * Makefile.in: Update.
418
419 2001-10-30  Robert Dewar <dewar@gnat.com>
420
421         * style.adb:
422         (Check_Identifier): Rewrite circuit to be compatible with use of letters
423         in the upper half of ASCII.
424         (Check_Identifier): Minor reformatting
425
426 2001-10-30  Geert Bosch <bosch@gnat.com>
427
428         * (Associated_Node, Set_Associated_Node): Do not check for
429         Freeze_Entity.
430
431 2001-10-30  Robert Dewar <dewar@gnat.com>
432
433         * a-reatim.ads: Minor reformatting
434
435 2001-10-30  Robert Dewar <dewar@gnat.com>
436
437         * gnatdll.adb: Minor reformatting throughout. Many ??? added for
438         undocumented declarations.
439
440 2001-10-30  Pascal Obry <obry@gnat.com>
441
442         * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
443         to the binder and linker.
444         Minor style fix.
445
446         * mdll.ads: Fix layout.  Update copyright notice.
447
448         * mdll.adb: Fix layout.  Update copyright notice.
449
450 2001-10-30  Robert Dewar <dewar@gnat.com>
451
452         * usage.adb: Minor fix to output for -gnaty.
453
454 2001-10-30  Ed Schonberg <schonber@gnat.com>
455
456         * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
457         to accommodate all its possible values.
458
459         * a-reatim.adb (Split): Special-case handling of Time_Span_First
460         and of small absolute values of T.
461
462 2001-10-30  Richard Kenner <kenner@gnat.com>
463
464         * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
465         set_mem_attributes since not needed and wrong if RESULT if a REG;
466         fixes ACATS failures.
467
468 2001-10-30  Geert Bosch <bosch@gnat.com>
469
470         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
471         s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
472
473 2001-10-30  Robert Dewar <dewar@gnat.com>
474
475         * bindusg.adb: Undocument -f switch.
476
477         * gnatcmd.adb: Remove /FULL_ELABORATION.
478
479         * opt.ads (Force_RM_Elaboration_Order): Document that this is
480         obsolescent.
481
482         * gnatbind.adb: Output new warning for use of obsolescent -f switch.
483
484         * gnatbind.adb: Minor update of warning msg.
485
486 2001-10-30  Vincent Celier <celier@gnat.com>
487
488         * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
489         for project file switches (-P (/PROJECT_FILE=),
490          -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
491         or MEDIUM or HIGH)
492
493 2001-10-30  Geert Bosch <bosch@gnat.com>
494
495         * decl.c: Minor whitespace fixes.
496
497 2001-10-30  Richard Kenner <kenner@gnat.com>
498
499         * utils2.c (build_allocator): Test for SIZE overflow in array case too
500
501 2001-10-30  Geert Bosch <bosch@gnat.com>
502
503         * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
504         Found due to GCC 3.0 warning of using uninitialized value.
505
506         * layout.adb:
507         (Get_Max_Size): Use variant record for tracking value/expression.
508          Makes logic clearer and prevents warnings for uninitialized variables.
509         (Layout_Array_Type): Use variant record for tracking value/expression.
510          Makes logic clearer and prevents warnings for uninitialized variables.
511
512 2001-10-30  Robert Dewar <dewar@gnat.com>
513
514         * lib.adb: Minor reformatting
515
516         * s-taprop.ads: Minor reformatting
517
518 2001-10-29  Laurent Guerby  <guerby@acm.org>
519
520         * init.c:
521         (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
522         const.
523         (_gnat_error_handler): Make MSG const.
524
525 2001-10-29  Richard Kenner <kenner@gnat.com>
526
527         * sysdep.c: Fix localtime_r problem on LynxOS.
528         Also remove #elif to avoid warnings.
529
530         * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
531         used by this.
532
533         * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
534
535 2001-10-28  Joseph S. Myers  <jsm28@cam.ac.uk>
536
537         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
538         exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
539         g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
540         g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
541         layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
542         s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
543         sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
544         sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
545         sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
546         types.ads, urealp.adb: Fix spelling errors.
547
548 2001-10-27  Laurent Guerby <guerby@acm.org>
549
550         * trans.c (gigi): Fix non determinism leading to bootstrap
551         comparison failures for debugging information.
552
553 2001-10-26  Florian Weimer  <fw@deneb.enyo.de>
554
555         * gnat_rm.texi: Use @./@: where appropriate.
556
557 2001-10-26  Robert Dewar <dewar@gnat.com>
558
559         * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
560
561 2001-10-26  Richard Kenner <kenner@gnat.com>
562
563         * gmem.c (__gnat_gmem_read_next): Properly check for EOF
564
565 2001-10-26  Richard Kenner <kenner@gnat.com>
566
567         * decl.c (validate_size): Modify message for bad size to avoid
568         implication that compiler is modifying the size.
569
570 2001-10-26  Robert Dewar <dewar@gnat.com>
571
572         * prj-util.adb: Minor reformatting. Fix bad header format.
573
574 2001-10-26  Robert Dewar <dewar@gnat.com>
575
576         * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
577
578         * sinfo.ads: Clarify use of Associated_Node (documentation only).
579
580         * sem_ch12.adb: Change Node4 to Associated_Node. Change
581         Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
582         much more narrowly in places where needed. These are cleanups.
583
584 2001-10-26  Joel Brobecker <brobecke@gnat.com>
585
586         * 5zosinte.ads (null_pthread): new constant.
587
588         * 5ztaprop.adb:
589         (Initialize_TCB): Initialize thread ID to null, to be able to verify
590          later that this field has been set.
591         (Finalize_TCB): ditto.
592         (Suspend_Task): Verify that the thread ID is not null before using it.
593         (Resume_Task): ditto.
594
595         * s-tasdeb.adb:
596         (Resume_All_Tasks): Lock the tasks list before using it.
597         (Suspend_All_Tasks): ditto.
598
599 2001-10-26  Richard Kenner <kenner@gnat.com>
600
601         * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
602         Make constant variant of designated type for Is_Access_Constant.
603         Call update_pointer_to with main variant.
604
605         * trans.c (process_freeze_entity, process_type):
606         Call update_pointer_to on main variant.
607
608         * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
609         If main variant, update all other variants.
610
611         * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
612         TREE_STATIC.
613
614 2001-10-26  Robert Dewar <dewar@gnat.com>
615
616         * prj-util.adb: Minor reformatting
617
618 2001-10-26  Robert Dewar <dewar@gnat.com>
619
620         * prj-util.adb: Minor reformatting
621
622 2001-10-26  Robert Dewar <dewar@gnat.com>
623
624         * prj-attr.adb: Minor reformatting throughout
625
626 2001-10-26  Robert Dewar <dewar@gnat.com>
627
628         * prj-attr.ads: Minor reformatting
629         Add ??? comment (this whole spec has almost no comments)
630
631 2001-10-26  Vincent Celier <celier@gnat.com>
632
633         * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
634         ("//") that precede the drive letter on Interix.
635
636 2001-10-26  Geert Bosch <bosch@gnat.com>
637
638         * gnat_rm.texi: Add GNAT Reference Manual.
639
640 2001-10-25  Robert Dewar <dewar@gnat.com>
641
642         * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
643         is Error. Similar change for other renaming cases.
644
645 2001-10-25  Robert Dewar <dewar@gnat.com>
646
647         * s-atacco.ads: Add pragma Inline_Always for functions.
648         Fix header format. Add copyright 2001
649
650 2001-10-25  Ed Schonberg <schonber@gnat.com>
651
652         * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
653         return Error rather than Empty so that analysis can proceed.
654
655 2001-10-25  Ed Schonberg <schonber@gnat.com>
656
657         * sem_util.adb (Enter_Name): better handling of cascaded error
658         messages when a unit appears in its own context.
659
660 2001-10-25  Ed Schonberg <schonber@gnat.com>
661
662         * sem_util.adb (Defining_Entity): in case of error, attach created
663         entity to specification, so that semantic analysis can proceed.
664
665 2001-10-25  Robert Dewar <dewar@gnat.com>
666
667         * sem_util.adb
668         (Defining_Entity): Deal with Error.
669         (Process_End_Label): Deal with bad end label for.
670
671 2001-10-25  Ed Schonberg <schonber@gnat.com>
672
673         * sem_elab.adb (Check_A_Call): refine message when call is in an
674         instance but callee is not declared in the generic unit.
675
676 2001-10-25  Ed Schonberg <schonber@gnat.com>
677
678         * sem_elab.adb (Check_A_Call): check for renaming before finding the
679         enclosing unit, which may already be different from the calling unit.
680
681 2001-10-25  Geert Bosch <bosch@gnat.com>
682
683         * 4gintnam.ads: fix header format.
684
685 2001-10-25  Ed Schonberg <schonber@gnat.com>
686
687         * sem_res.adb (Resolve_Call): if the call is actually an indexing
688         operation on the result of a parameterless call, perform elaboration
689         check after the node has been properly rewritten.
690
691         * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
692         inlined within the generic tree, the defining identifier is not a
693         compilation_unit.
694
695 2001-10-25  Ed Schonberg <schonber@gnat.com>
696
697         * sem_res.adb (Resolve): special-case resolution of Null in an
698          instance or an inlined body to avoid view conflicts.
699
700         * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
701          compatibility by retrieving the access type of the generic copy.
702
703 2001-10-25  Robert Dewar <dewar@gnat.com>
704
705         * sem_ch3.adb:
706         (Analyze_Number_Declaration): Handle error expression.
707         (Signed_Integer_Type_Declaration): Handle error bound.
708         (Analyze_Subtype_Indication): Handle error range.
709
710         * sem_util.adb (Get_Index_Bounds): Check for Error.
711
712 2001-10-25  Robert Dewar <dewar@gnat.com>
713
714         * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
715         in no run time mode.
716
717 2001-10-25  Pascal Obry <obry@gnat.com>
718
719         * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
720         mode case for ALLOC case.
721
722         * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
723         all platforms. Improvement of last change.
724
725 2001-10-25  Robert Dewar <dewar@gnat.com>
726
727         * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
728
729 2001-10-25  Geert Bosch  <bosch@gnat.com>
730
731         * osint.adb (Is_Relative): Remove duplicate.
732
733 2001-10-25  Pascal Obry <obry@gnat.com>
734
735         * osint.adb (Read_Default_Search_Dirs): correctly detect relative
736         pathnames in UNIX and DOS style with drive letter.
737         (Is_Relative): new routine.
738
739         * osint.adb: Minor reformatting
740
741         * osint.adb (Is_Relative): implementation using
742         GNAT.OS_Lib.Is_Absolute_Path. Better fix.
743
744 2001-10-25  Pascal Obry <obry@gnat.com>
745
746         * g-dirope.adb (Basename): correctly compute offset between the
747         original Path and the translated one.
748
749         * g-dirope.adb: (Base_Name): add some comments.
750
751 2001-10-25  Robert Dewar <dewar@gnat.com>
752
753         * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
754         in HIE mode, avoids compilation abandoned message
755
756         * exp_imgv.adb: Correct typo in previous change
757
758         * exp_imgv.adb: Correct typo in previous change (not my day!)
759
760 2001-10-25  Robert Dewar <dewar@gnat.com>
761
762         * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
763
764 2001-10-25  Pascal Obry <obry@gnat.com>
765
766         * g-awk.ads: Move all pragma inlines next to the routine
767          declarations. This is more uniform with other GNAT spec.
768
769 2001-10-22  Geert Bosch  <bosch@gnat.com>
770
771         * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
772
773 2001-10-19  Geert Bosch  <bosch@gnat.com>
774
775         * Makefile.in (tools, gnattools): Remove gnatmem.
776
777 2001-10-17  Richard Henderson  <rth@redhat.com>
778
779         * Makefile.in (misc.o): Depend on langhooks.h.
780         * misc.c: Include it.
781         (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
782         (LANG_HOOKS_DECODE_OPTION): New.
783         (lang_hooks): Use LANG_HOOKS_INITIALIZER.
784
785 2001-10-16  Florian Weimer  <fw@deneb.enyo.de>
786
787         * trans.c (tree_transform): Adjust to recent change in
788         expand_asm_operands to implement named asm operands.
789
790 2001-10-11  Ed Schonberg  <schonber@gnat.com>
791
792         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
793         renaming of discriminant for mutable record type.
794
795 2001-10-11  Robert Dewar  <dewar@gnat.com>
796
797         * validsw.adb: Properly save -gnatVn status.
798
799 2001-10-11  Robert Dewar <dewar@gnat.com>
800
801         * usage.adb: Add lines for V switch.
802
803         * gnatcmd.adb (COMPILE): Revise translations for -gnatV
804         (/VALIDITY_CHECKING).
805
806 2001-10-11  Ed Schonberg <schonber@gnat.com>
807
808         * sem_type.adb (Add_One_Interp): an operator for a type declared in
809         an extension of System is known to be visible.
810
811 2001-10-11  Ed Schonberg <schonber@gnat.com>
812
813         * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
814         properly. Fixes regression on ACATS C34005G.
815
816 2001-10-11  Robert Dewar <dewar@gnat.com>
817
818         * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
819         loop in generic instance, since this is likely not very useful.
820
821 2001-10-11  Robert Dewar <dewar@gnat.com>
822
823         * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
824         the error message for high integrity mode.
825
826         * rtsfind.adb (RTE): Give message if we try to find an entity that
827         is not available in high integrity mode.
828
829         * rtsfind.ads:
830         (OK_To_Use_In_HIE_Mode): New array.
831         (RTE): May return Empty in high integrity mode.
832
833         * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
834         OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
835
836         * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
837         unit if not inlined always and in no runtime mode. Fixes problem
838         caused by new Rtsfind changes.
839
840         * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
841         body is deleted.
842
843         * rtsfind.adb (RTE): Make sure we do not try to load unit after
844         giving message for entity not available in high integrity mode.
845
846 2001-10-11  Pascal Obry <obry@gnat.com>
847
848         * impunit.adb: Add GNAT.CRC32.
849
850 2001-10-11  Ed Schonberg <schonber@gnat.com>
851
852         * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
853         properly the case where one universal operand in a non-static
854         exponentiation of a real literal.
855
856 2001-10-11  Ed Schonberg <schonber@gnat.com>
857
858         * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
859         clause, return the gobal finalization list, for lack of anthing else.
860
861 2001-10-11  Ed Schonberg <schonber@gnat.com>
862
863         * exp_ch7.adb (Make_Transient_Block): if statement is within
864         exception handler, always use new transient scope to place Clean
865         procedure.
866
867 2001-10-11  Pascal Obry <obry@gnat.com>
868
869         * Makefile.in:
870         (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
871         (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
872         (GNATLS_RTL_OBJS): add g-crc32.o
873         (GNATMAKE_RTL_OBJS): add g-crc32.o
874
875         * ali-util.adb:
876         (CRC_Match): new function.
877         (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
878         instead of the previous simple checksum algorithm.
879         (Time_Stamp_Mismatch): use CRC_Match for comparison.
880         (Set_Source_Table): idem.
881
882         * ali-util.ads:
883         (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
884         instead of simple checksum.
885         (CRC_Match): new function.
886         (CRC_Error): new constant.
887
888         * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
889         a CRC now and not a simple checksum. A CRC uses lower-case hex
890         letters, fixes ambiguity in parsing.
891
892         * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
893         is what this variable will store.
894
895         * bcheck.adb: Change reference to chechsum in comments by CRC.
896         (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
897         rename All_Checksum_Match to All_CRC_Match. Change due to API
898         renaming since now GNAT does not use a simple checksum but a
899         CRC using GNAT.CRC32.
900
901         * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
902         now and not anymore a simple checksum.
903
904         * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
905         places.
906
907         * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
908
909         * scans.adb:
910         (Restore_Scan_State): rename Checksum to CRC.
911         (Save_Scan_State): idem.
912
913         * scans.ads:
914         With GNAT.CRC32.
915         (Checksum): rename to CRC.
916         (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
917
918         * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
919         GNAT.CRC32).  Update copyright notice.
920
921         * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
922         GNAT.CRC32).  Update copyright notice.
923
924         * scn.adb:
925         (Accumulate_Checksum): removed.
926         (Update): new procedure. Add a wide-character into the CRC.
927
928         * sinput-l.adb:
929         (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
930         (Load_File): fix initialization of S (change Source_Checksum to
931         Source_CRC)
932
933         * sinput-p.adb (Load_Project_File): rename Source_Checksum to
934         Source_CRC in S initialization.
935
936         * sinput.adb (Source_Checksum): renamed to Source_CRC.
937
938         * sinput.ads (Source_Checksum): renamed to Source_CRC.
939         Update comments for the CRC.
940
941         * types.adb (Hex): Use lowercase for the letter part.
942
943         * types.ads (Get_Hex_String): Returns the hexadecimal representation
944         for a word. This is currently used only for CRC. In previous version,
945         the checksum was using a representation with all letter being
946         upper-case. With the new implementation (using CRC) we do not remove
947         the 32th bit of the CRC, so we can have an upper-case starting letter
948         in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
949         It is ambigous since the CRC was optional and could be followed by
950         options like EB, EE. So now this routines uses lower-case letter for
951         the hexadecimal representation. Strange enough only lower case letters
952         where checked in Scan_ALI (even if this was not a possible case).
953
954         * gnatvsn.ads (Library_Version): changed to 3.15a.
955
956         * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
957         for the compiler.
958
959         * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
960         for the compiler.
961
962         * ali-util.adb: Redo previous change to avoid using word CRC everywhere
963         Add 2001 to copyright notice
964         (Accumulate_Checksum): Modify to use System.CRC32.
965
966         * ali-util.ads: Redo changes of previous revision to continue to use
967         the word Checksum. Add 2001 to copyright notice.
968
969         * ali.adb: Undo some of previous changes, not needed.
970         Keep the change for lower case letters in the checksum.
971
972         * ali.ads: Undo previous change not needed.
973
974         * bcheck.adb: Undo most of previous change, not needed.
975         But do use Checksums_Match for checksum comparison.
976
977         * gnatls.adb: Undo most of previous change, not needed.
978         But do use Checksums_Match for comparing checksums.
979
980         * lib-load.adb: Undo previous change, not needed.
981
982         * lib-writ.adb: Undo previous change, not needed.
983
984         * lib-writ.ads: Document that checksums use lower case,
985         not upper case letters.
986
987         * scans.adb: Undo previous change, not needed
988
989         * scans.ads: Undo previous change, not needed.
990
991         * scn-nlit.adb: Undo previous changes, not needed.
992
993         * scn-slit.adb: Undo previous change, not needed.  Fix header format.
994
995         * scn.adb:
996         (Accumulate_Checksum): Use System.CRC32.
997         (Initialize_Checksum): New procedure.
998         Remove other changes of previous revision.
999
1000         * sinput-p.adb: Undo previous change, not needed.
1001
1002         * sinput.adb: Undo previous change, not needed.
1003
1004         * sinput-l.adb: Undo previous change, not needed.
1005
1006         * sinput.ads: Undo previous change, not needed.  Keep only comment
1007         on new checksum algorithm
1008
1009         * Makefile.in: Add s-crc32 as needed, remove g-crc32.
1010         Also remove a-tags and a-stream from GNAT sources.
1011
1012         * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
1013
1014         * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
1015
1016 2001-10-11  Geert Bosch  <bosch@gnat.com>
1017
1018         * einfo.h: Regenerate.
1019
1020         * nmake.ads: Regenerate.
1021
1022         * nmake.adb: Regenerate.
1023
1024         * sinfo.h: Regenerate.
1025
1026         * treeprs.adb: Regenerate.
1027
1028 2001-10-10  Geert Bosch  <bosch@gnat.com>
1029
1030         * gnat-style.texi: New file describing coding guidelines for Ada.
1031
1032 2001-10-10  Ed Schonberg <schonber@gnat.com>
1033
1034         * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
1035         is Flag174.
1036
1037 2001-10-10  Geert Bosch  <bosch@gnat.com>
1038
1039         * snames.ads: Add new names for project facility.
1040
1041         * snames.adb: Update to reflect snames.ads changes.
1042
1043         * snames.h: Update to reflect snames.ads changes.
1044
1045 2001-10-10  Vincent Celier <celier@gnat.com>
1046
1047         * make.adb:
1048         (Add_Switches): reflect the changes for the switches attributes
1049         Default_Switches indexed by the programming language,
1050         Switches indexed by the file name.
1051         (Collect_Arguments_And_Compile): Idem.
1052         Reflect the attribute name changes.
1053
1054         * prj-attr.adb:
1055         (Initialisation_Data): Change the names of some packages and
1056         attributes.
1057         (Initialize): process case insensitive associative arrays.
1058
1059         * prj-attr.ads:
1060         (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
1061
1062         * prj-dect.adb:
1063         (Parse_Attribute_Declaration): For case insensitive associative
1064          arrays, set the index string to lower case.
1065
1066         * prj-env.adb:
1067         Reflect the changes of the project attributes.
1068
1069         * prj-nmsc.adb:
1070         Replace Check_Naming_Scheme by Ada_Check and
1071         Language_Independent_Check.
1072
1073         * prj-nmsc.ads:
1074         Replaced Check_Naming_Scheme by 2 procedures:
1075         Ada_Check and Language_Independent_Check.
1076
1077         * prj-proc.adb:
1078         (Process_Declarative_Items): For case-insensitive associative
1079         arrays, set the index string to lower case.
1080         (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
1081         Prj.Nmsc.Check_Naming_Scheme.
1082
1083         * prj-tree.adb:
1084         (Case_Insensitive): New function
1085         (Set_Case_Insensitive): New procedure
1086
1087         * prj-tree.ads:
1088         (Case_Insensitive): New function
1089         (Set_Case_Insensitive): New procedure
1090         (Project_Node_Record): New flag Case_Insensitive.
1091
1092         * prj-util.adb:
1093         (Value_Of): new function to get the string value of a single
1094         string variable or attribute.
1095
1096         * prj-util.ads:
1097         (Value_Of): new function to get the string value of a single
1098         string variable or attribute.
1099
1100         * prj.adb:
1101         (Ada_Default_Spec_Suffix): New function
1102         (Ada_Default_Impl_Suffix): New function
1103         Change definitions of several constants to reflect
1104         new components of record types.
1105
1106         * prj.ads:
1107         (Naming_Data): Change several components to reflect new
1108         elements of naming schemes.
1109         (Project_Data): New flags Sources_Present and
1110         Language_Independent_Checked.
1111         (Ada_Default_Spec_Suffix): New function.
1112         (Ada_Default_Impl_Suffix): New function.
1113
1114         * snames.ads:
1115         Modification of predefined names for project manager: added
1116         Implementation, Specification_Exceptions, Implementation_Exceptions,
1117         Specification_Suffix, Implementation_Suffix, Separate_Suffix,
1118         Default_Switches, _Languages, Builder, Cross_Reference,
1119         Finder. Removed Body_Part, Specification_Append, Body_Append,
1120         Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
1121         Gnatlink.
1122
1123         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1124         Add comments.
1125
1126         * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
1127         not that it is Nil_Variable_Value.
1128
1129         * prj.ads: Add ??? for uncommented declarations
1130
1131 2001-10-10  Ed Schonberg <schonber@gnat.com>
1132
1133         * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
1134         constant, do not indicate possible modification, so that gigi can
1135         treat it as a bona fide constant.
1136
1137 2001-10-10  Robert Dewar <dewar@gnat.com>
1138
1139         * sem_prag.adb: Add processing for pragma External.
1140
1141         * snames.ads: Add entry for pragma External.
1142
1143         * par-prag.adb: Add pragma External.
1144
1145         * snames.adb: Updated to match snames.ads.
1146
1147 2001-10-10  Ed Schonberg <schonber@gnat.com>
1148
1149         * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
1150         a dynamic task if the allocator appears in an indexed assignment
1151         or selected component assignment.
1152
1153         * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
1154         For a dynamic task in an assignment statement, use target of
1155         assignment to generate meaningful name.
1156
1157 2001-10-10  Ed Schonberg <schonber@gnat.com>
1158
1159         * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
1160         a generic package.
1161
1162         * einfo.ads: Body_Entity is also defined for generic package.
1163         Documentation change only
1164
1165         * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
1166         others_choice for a discriminated component initialization,
1167         convert discriminant references into the corresponding discriminals.
1168
1169         * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
1170         only if original type is private and expression has to be wrapped
1171         in a conversion.
1172
1173         * checks.adb:
1174         (Apply_Constraint_Check): Do not perform length check
1175         if expression is an aggregate with only an others_choice.
1176         (Length_N_Cond): two references to the same in_parameter
1177         (typically the discriminal in an init_proc) denote the same value.
1178         Two useful optimization uncovered by bugfixes above.
1179
1180 2001-10-10  Robert Dewar <dewar@gnat.com>
1181
1182         * xeinfo.adb: Change int to char in translation of enumeration types.
1183         This fixes a problem in the C representation of component alignment.
1184         Add 2001 to copyright notice
1185
1186 2001-10-10  Richard Kenner <kenner@gnat.com>
1187
1188         * decl.c: (validate_size): Do check size of object of integral type
1189         if it is a packed array type.
1190
1191 2001-10-10  Richard Kenner <kenner@gnat.com>
1192
1193         * decl.c: (gnat_to_gnu_entity, case object): Also materialize
1194         VAR_DECL for constant if not Is_Public but -O0.
1195
1196 2001-10-10  Richard Kenner  <kenner@gnat.com>
1197
1198         * misc.c (struct lang_hooks): Add new initializer to match GCC change.
1199
1200 2001-10-10  Geert Bosch  <bosch@gnat.com>
1201
1202         * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
1203         use '/' as switch character, allowing for absolute file names.
1204
1205 2001-10-09  Joseph S. Myers  <jsm28@cam.ac.uk>
1206
1207         * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
1208         FSF address.
1209
1210 2001-10-08  Geert Bosch  <bosch@gnat.com>
1211
1212         * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
1213         Automatically build utilities when files need to be regenerated.
1214
1215 2001-10-08  Geert Bosch  <bosch@gnat.com>
1216
1217         * xsnames.adb: New utility for updating snames.ads and snames.adb
1218
1219 2001-10-08  Zack Weinberg  <zack@codesourcery.com>
1220
1221         * Make-lang.in (ADAFLAGS): Add -W -Wall.
1222         (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
1223         (gnat1): Also depend on attribs.o.
1224         (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
1225         * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
1226         (ADAC): Set to @ADAC@ in stage1, $(CC) later.
1227         (ADAFLAGS): Add -W -Wall.
1228         (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
1229         take out CFLAGS.
1230
1231         (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
1232         s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
1233         s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
1234         Use $(ADAC), not $(CC), as compilation command.
1235
1236         (gnattools): Depend directly on tools to build, don't use
1237         recursive make.
1238         (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
1239
1240         * einfo.h, sinfo.h: New files (autogenerated).
1241
1242 2001-10-08  Richard Henderson  <rth@redhat.com>
1243
1244         * comperr.adb (Abort_In_Progress): New.
1245         (Compiler_Abort): Use it to prevent recursion.
1246
1247 2001-10-08  Robert Dewar <dewar@gnat.com>
1248
1249         * atree.adb: Set Error_Posted in Error node, helps error recovery.
1250
1251         * par-endh.adb (Output_End_Expected): We should also not test
1252         Error_Posted on the Error node, since now it is always set.
1253
1254         * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
1255         to help error recovery. Part of general work on 9407-004.
1256
1257         * par.adb: Add ??? for misuse of error
1258
1259         * sem_res.adb:
1260         (Resolve): Defend against Error, fixes 9407-003.
1261         (Resolve_Discrete_Subtype_Indication): Defend against Error.
1262
1263         * sinfo.ads (N_Error): Now has Etype field (which will be set
1264         to Any_Type to help error recovery).
1265
1266 2001-10-08  Richard Kenner (kenner@gnat.com)
1267
1268         * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
1269         Consistently set MEM attributes from expression; fixes
1270         bootstrap failure on x86.
1271
1272 2001-10-08  Geert Bosch  (bosch@gnat.com)
1273
1274         * 5oosinte.adb: Add 2001 to copyright notice.
1275
1276 2001-10-08  Geert Bosch  (bosch@gnat.com)
1277
1278         * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
1279
1280         * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
1281
1282 2001-10-07  Joseph S. Myers  <jsm28@cam.ac.uk>
1283
1284         * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
1285
1286 2001-10-05  Geert Bosch  (bosch@gnat.com)
1287
1288         * adaint.h: Small formatting fix.
1289
1290 2001-10-04  Geert Bosch  <bosch@gnat.com>
1291
1292         * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
1293         Arg is int, not FILE *, in dummy version of functions.
1294
1295         * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
1296         Arg is int, not FILE *.
1297
1298 2001-10-04  Geert Bosch  <bosch@gnat.com>
1299
1300         * 3lsoccon.ads: Added file, missed with initial check ins.
1301
1302         * 4lintnam.ads: Fix header format.
1303         Change Linux to GNU/Linux.
1304
1305         * 5iosinte.adb: Change Linux to GNU/Linux.
1306
1307         * 5iosinte.ads: Change Linux to GNU/Linux.
1308
1309         * 5itaprop.adb: Change Linux to GNU/Linux.
1310
1311         * 5itaspri.ads: Change Linux to GNU/Linux.
1312         Update copyright notice.
1313
1314         * 5lintman.adb: Change Linux to GNU/Linux.
1315
1316         * 5lml-tgt.adb: Change Linux to GNU/Linux.
1317
1318         * 5losinte.ads: Change Linux to GNU/Linux.
1319
1320         * 5lsystem.ads: Change Linux to GNU/Linux.
1321
1322         * 5qosinte.adb: Change Linux to GNU/Linux.
1323
1324         * 5qosinte.ads: Change Linux to GNU/Linux.
1325
1326         * 5qparame.ads: Change Linux to GNU/Linux.
1327
1328         * 5qtaprop.adb: Change Linux to GNU/Linux.
1329
1330         * 5qtaspri.ads: Change Linux to GNU/Linux.
1331         Add 2001 to copyright notice.
1332
1333         * 5vintman.ads: Change Linux to GNU/Linux.
1334         Fix header format.  Add 2001 to copyright notice.
1335
1336         * g-soccon.ads: Change Linux to GNU/Linux.
1337
1338         * g-trasym.ads: Change Linux to GNU/Linux.
1339         Add 2001 to copyright notice.
1340
1341         * memtrack.adb: Change Linux to GNU/Linux.
1342
1343         * s-intman.ads: Change Linux to GNU/Linux.
1344         Add 2001 to copyright notice.  Fix header format.
1345
1346         * s-stache.adb: Change Linux to GNU/Linux.
1347
1348         * adaint.c: Change Linux to GNU/Linux.
1349
1350         * cio.c: Change Linux to GNU/Linux.
1351
1352         * cstreams.c: Change Linux to GNU/Linux.
1353
1354         * init.c: Change Linux to GNU/Linux.
1355
1356         * gmem.c: Change Linux to GNU/Linux.
1357
1358         * tracebak.c: Change Linux to GNU/Linux.
1359
1360
1361 2001-10-02  Geert Bosch  <bosch@gnat.com>
1362
1363         * misc.c (insert_default_attributes): Add dummy version.