OSDN Git Service

3f8f8015d21d884894f79fef599156d0097d6162
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2002-04-21  Florian Weimer  <fw@deneb.enyo.de>
2
3         * gnat_ug.texi: New file.
4
5         * gnat_rm.texi: Do not include texiplus.texi.  Include fdl.texi
6         instead of gfdl.texi
7
8         * xgnatug.adb, ug_words: New files.
9
10         * Makefile.in (doc, dvi): New targets.  Build gnat_ug_*,
11         gnat_rm and gnat-style manuals.
12
13 2002-04-18  Neil Booth  <neil@daikokuya.demon.co.uk>
14
15         * gigi.h (incomplete_type_error): Remove.
16         * utils.c (incomplete_type_error): Remove.
17
18 2002-04-16  Mark Mitchell  <mark@codesourcery.com>
19
20         * trans.c (tree_transform): Add has_scope argument to
21         expand_start_stmt_expr.
22
23 2002-04-04  Neil Booth  <neil@daikokuya.demon.co.uk>
24
25         * gigi.h (truthvalue_conversion): Rename.
26         * misc.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.
27         * trans.c (tree_transform): Update.
28         * utils2.c (truthvalue_conversion): Rename, update.
29         (build_binary_op, build_unary_op): Update.
30
31 2002-04-04  Laurent Guerby  <guerby@acm.org>
32
33         * make.adb: Implement -margs, remove restriction about file name placement.
34         * makeusg.adb: Documentation update.
35         * Makefile.in (TOOLS_FLAGS_TO_PASS): Add VPATH=$(fsrcdir).
36         * Makefile.in (gnattools3): Comment out, gnatmem does not build without libaddr2line.
37
38 2002-04-04  Neil Booth  <neil@daikokuya.demon.co.uk>
39
40         * utils.c (create_subprog_decl): Use SET_DECL_ASSEMBLER_NAME.
41         (builtin_function): Similarly.
42
43 2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>
44
45         * decl.c (gnat_to_gnu_entity): Update.
46         * gigi.h (mark_addressable): Rename.
47         * misc.c (LANG_HOOKS_MARK_ADDRESSABLE): Redefine.
48         * trans.c (tree_transform): Update.
49         * utils.c (create_var_decl): Update.
50         * util2.c (build_binary_op, build_unary_op,
51         fill_vms_descriptor): Update.
52         (mark_addressable): Rename, update.
53
54 2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>
55
56         * gigi.h (unsigned_type, signed_type, signed_or_unsigned_type):
57         Rename.
58         * misc.c (LANG_HOOKS_SIGNED_TYPE, LANG_HOOKS_UNSIGNED_TYPE,
59         LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): New.
60         * trans.c (tree_transform, convert_with_check): Update.
61         * utils.c (unsigned_type, signed_type, signed_or_unsigned_type):
62         Rename.
63
64 2002-03-31  Neil Booth  <neil@daikokuya.demon.co.uk>
65
66         * gigi.h (finish_incomplete_decl): Rename.
67         * misc.c (LANG_HOOKS_FINISH_INCOMPLETE_DECL): Redefine.
68         * utils.c (gnat_init_decl_processing): Don't set hook.
69         (finish_incomplete_decl): Rename.
70
71 2002-03-29  Andreas Schwab  <schwab@suse.de>
72
73         * Makefile.in: Pass VPATH=$(fsrcdir) when calling make in rts
74         directory.
75
76 2001-03-28  Robert Dewar <dewar@gnat.com>
77
78         * checks.ads:
79         (Remove_Checks): New procedure
80
81         * checks.adb:
82         (Remove_Checks): New procedure
83
84         * exp_util.adb:
85         Use new Duplicate_Subexpr functions
86         (Duplicate_Subexpr_No_Checks): New procedure
87         (Duplicate_Subexpr_No_Checks_Orig): New procedure
88         (Duplicate_Subexpr): Restore original form (checks duplicated)
89         (Duplicate_Subexpr): Call Remove_Checks
90
91         * exp_util.ads:
92         (Duplicate_Subexpr_No_Checks): New procedure
93         (Duplicate_Subexpr_No_Checks_Orig): New procedure
94         Add 2002 to copyright notice
95
96         * sem_util.adb: Use new Duplicate_Subexpr functions
97
98         * sem_eval.adb:
99         (Eval_Indexed_Component): This is the place to call
100         Constant_Array_Ref and to replace the value. We simply merge
101         the code of this function in here, since it is now no longer
102         used elsewhere. This fixes the problem of the back end not
103         realizing we were clever enough to see that this was
104         constant.
105         (Expr_Val): Remove call to Constant_Array_Ref
106         (Expr_Rep_Val): Remove call to Constant_Array_Ref
107         Minor reformatting
108         (Constant_Array_Ref): Deal with string literals (patch
109         suggested by Zack Weinberg on the gcc list)
110
111 2001-03-28  Ed Schonberg <schonber@gnat.com>
112
113         * exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
114         Duplicate_Subexpr_Move_Checks.
115
116         * exp_util.ads: Duplicate_Subexpr_No_Checks_Orig =>
117         Duplicate_Subexpr_Move_Checks.
118
119         * sem_eval.adb: (Constant_Array_Ref): Verify that constant
120         value of array exists before retrieving it (it may a private
121         protected component in a function).
122
123 2002-03-28   Geert Bosch <bosch@gnat.com>
124
125         * prj-pp.adb : New file.
126
127         * prj-pp.ads : New file.
128
129 2002-03-28  Andreas Jaeger  <aj@suse.de>
130
131         * Makefile.in (stamp-sdefault): Fix path for Makefile.
132
133 2002-03-28  Neil Booth  <neil@daikokuya.demon.co.uk>
134
135         * misc.c (gnat_expand_expr): Move prototype.
136
137 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
138
139         * misc.c (insert_default_attributes): Remove.
140
141 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
142
143         * misc.c (LANG_HOOKS_EXPAND_EXPR): Redefine.
144         (gnat_init): Don't set hook.
145         (gnat_expand_expr): Fix prototype.
146
147 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
148
149         * misc.c (ggc_p): Remove.
150
151 2002-03-27  Geert Bosch  <bosch@gnat.com>
152
153         * prj-makr.ads, prj-makr.adb : New files.
154
155 2002-03-26  Neil Booth  <neil@daikokuya.demon.co.uk>
156
157         * misc.c (LANG_HOOKS_MARK_TREE): Redefine.
158         (lang_mark_tree): Make static, rename.
159
160 2002-03-25  Neil Booth  <neil@daikokuya.demon.co.uk>
161
162         * misc.c (maybe_build_cleanup): Remove.
163
164 2002-03-24  Neil Booth  <neil@daikokuya.demon.co.uk>
165
166         * gigi.h (yyparse): Remove.
167
168 2002-03-23  Florian Weimer  <fw@deneb.enyo.de>
169
170         * gnat_rm.texi: Sync with ACT version.
171           (From Ben Brosgol <brosgol@gnat.com>)
172
173 2002-03-20  Neil Booth  <neil@daikokuya.demon.co.uk>
174
175         * misc.c (LANG_HOOKS_DECL_PRINTABLE_NAME): Redefine.
176         (gnat_init): Remove old hook.
177
178 2002-03-17  Neil Booth  <neil@daikokuya.demon.co.uk>
179
180         * misc.c (LANG_HOOKS_PARSE_FILE): Redefine.
181         (yyparse): Rename gnat_parse_file.
182
183 2002-03-14  Geoffrey Keating  <geoffk@redhat.com>
184
185         Delete all lines containing "$Revision:".
186         * xeinfo.adb: Don't look for revision numbers.
187         * xnmake.adb: Likewise.
188         * xsinfo.adb: Likewise.
189         * xsnames.adb: Likewise.
190         * xtreeprs.adb: Likewise.
191
192 2002-03-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
193
194         * misc.c (gnat_tree_code_type, gnat_tree_code_length,
195         gnat_tree_code_name): Delete.
196         (tree_code_type, tree_code_length, tree_code_name): Define.
197         (gnat_init): Don't try to copy into the various tree_code
198         arrays.
199
200 2002-03-11  Richard Henderson  <rth@redhat.com>
201
202         * Makefile.in (.NOTPARALLEL): Add fake tag.
203
204 2002-03-07  Geert Bosch  <bosch@gnat.com>
205
206         * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
207         s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
208         switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
209         switch-m.adb, switch-m.ads : New files.
210
211 2002-03-07  Geert Bosch  <bosch@gnat.com>
212
213         * 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads,
214         4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads,
215         4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads,
216         4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads,
217         5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb,
218         5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads,
219         5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb,
220         5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads,
221         5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb,
222         5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb,
223         5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads,
224         5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb,
225         5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads,
226         5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb,
227         5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb,
228         5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb,
229         5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb,
230         5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb,
231         5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb,
232         5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb,
233         7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb,
234         Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads,
235         a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb,
236         a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads,
237         a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb,
238         a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb,
239         a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb,
240         a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb,
241         a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h,
242         adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb,
243         atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb,
244         bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb,
245         csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c,
246         einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads,
247         eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
248         exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads,
249         exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads,
250         exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads,
251         exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb,
252         exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads,
253         expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb,
254         freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb,
255         g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads,
256         g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb,
257         g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb,
258         g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb,
259         g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb,
260         g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c,
261         gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb,
262         gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads,
263         gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb,
264         i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads,
265         impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb,
266         lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
267         lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb,
268         memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads,
269         mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb,
270         nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
271         output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb,
272         par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb,
273         prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb,
274         prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb,
275         prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads,
276         rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb,
277         s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads,
278         s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb,
279         s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb,
280         s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb,
281         s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb,
282         s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb,
283         s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads,
284         s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads,
285         s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb,
286         s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
287         s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
288         s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb,
289         s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
290         s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads,
291         s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb,
292         sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb,
293         sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb,
294         sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads,
295         sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb,
296         sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb,
297         sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb,
298         sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
299         sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb,
300         sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb,
301         sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads,
302         snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads,
303         stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads,
304         table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb,
305         tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb,
306         treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads,
307         types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb,
308         utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb,
309         xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes.
310
311         * 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads,
312         g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads,
313         mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads,
314         osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files
315
316         * 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb,
317         5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed
318
319         * mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed
320         to mdll-fil.ad[bs] and mdll-util.ad[bs]
321
322         * mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed
323         from mdllfile.ad[bs] and mdlltool.ad[bs]
324
325 2002-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
326
327         * utils.c (init_gnat_to_gnu, init_gigi_decls): Use ARRAY_SIZE in
328         lieu of explicit sizeof/sizeof.
329
330 2002-02-28  Neil Booth  <neil@daikokuya.demon.co.uk>
331
332         * misc.c (copy_lang_decl): Remove.
333
334 2002-02-27  Zack Weinberg  <zack@codesourcery.com>
335
336         * misc.c: Delete traditional-mode-related code copied from the
337         C front end but not used, or used only to permit the compiler
338         to link.
339
340 2002-02-07  Richard Henderson  <rth@redhat.com>
341
342         * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
343         * adaint.h (__gnat_to_gm_time): Update prototype.
344
345 2002-01-30  Richard Henderson  <rth@redhat.com>
346
347         * trans.c (tree_transform) [N_Loop_Statement]: Use
348         expand_exit_loop_top_cond.
349
350 2001-12-23  Richard Henderson  <rth@redhat.com>
351
352         * utils.c (end_subprog_body): Push GC context around
353         rest_of_compilation for nested functions.
354
355 2001-12-23  Richard Henderson  <rth@redhat.com>
356
357         * 5nosinte.ads: Get definition of "int" from Interfaces.C.
358
359 2001-12-23  Florian Weimer  <fw@deneb.enyo.de>
360
361         * gnat-style.texi (Declarations and Types): Remove ancient style
362         rule which was mandated by code generation issues.
363
364         * gnat-style.texi (header): Add @dircategory, @direntry.
365         (title page): Remove date.
366         (general) Add @./@: where approriate, and two spaces after the
367         full stop at the end of a sentence.  Use @samp markup when
368         referring concrete lexical entities (keywords, attribute names
369         etc.), and @syntax for ARM grammar elements. Use @r for English
370         text in comments.  Use @emph for emphasis.  Change "if-statements"
371         etc. to "if statements" (without @samp). Break long lines.  Make
372         casing of section names consistent.
373         (Identifiers): Use @samp markup for variable names.
374         (Comments): Use @samp markup for comment characters. Line-end
375         comments may follow any Ada code, not just statements.  Fix
376         misspelling of "Integer" as "integer".
377         (Loop statements): Do not use variable name "I", use "J".
378         (Subprogram Declarations): Document alignment.
379         (Subprogram Bodies, Block statements): Document empty line before
380         "begin".
381
382 2001-12-22  Florian Weimer  <fw@deneb.enyo.de>
383
384         * make.adb (Add_Switch): Make Generic_Position a procedure.  The
385         function approach did not work well because of a side effect (the
386         function call could reallocate the table which was being indexed
387         using its result). Fixes ada/4851.
388
389 2001-12-19  Robert Dewar <dewar@gnat.com>
390
391         * bindgen.adb: Minor reformatting
392
393         * cstand.adb: Minor reformatting
394
395         * fmap.adb: Minor reformatting
396         Change name from Add for Add_To_File_Map (Add is much too generic)
397         Change Path_Name_Of to Mapped_Path_Name
398         Change File_Name_Of to Mapped_File_Name
399         Fix copyright dates in header
400
401         * fmap.ads:
402         Change name from Add for Add_To_File_Map (Add is much too generic)
403         Change Path_Name_Of to Mapped_Path_Name
404         Change File_Name_Of to Mapped_File_Name
405         Fix copyright dates in header
406
407         * fname-uf.adb: Minor reformatting.  New names of stuff in Fmap.
408         Add use clause for Fmap.
409
410         * make.adb: Minor reformatting
411
412         * osint.adb: Minor reformatting.  Change of names in Fmap.
413         Add use clause for Fmap.
414
415         * prj-env.adb: Minor reformatting
416
417         * prj-env.ads: Minor reformatting
418
419         * switch.adb: Minor reformatting.  Do proper raise of Bad_Switch if
420         error found (there were odd exceptions to this general rule in
421         -gnatec/-gnatem processing)
422
423 2001-12-19  Olivier Hainque <hainque@gnat.com>
424
425         * raise.c (__gnat_eh_personality): Exception handling personality
426         routine for Ada.  Still in rough state, inspired from the C++ version
427         and still containing a bunch of debugging artifacts.
428         (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
429         inspired from the C++ library.
430
431         * raise.c (eh_personality): Add comments. Part of work for the GCC 3
432         exception handling integration.
433
434 2001-12-19  Arnaud Charlet <charlet@gnat.com>
435
436         * Makefile.in: Remove use of 5smastop.adb which is obsolete.
437         (HIE_SOURCES): Add s-secsta.ad{s,b}.
438         (HIE_OBJS): Add s-fat*.o
439         (RAVEN_SOURCES): Remove files that are no longer required. Add
440         interrupt handling files.
441         (RAVEN_MOD): Removed, no longer needed.
442
443 2001-12-19  Robert Dewar <dewar@gnat.com>
444
445         * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
446         Add 2001 to copyright date
447
448         * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
449         need to force universal inlining for these cases.
450
451 2001-12-19  Arnaud Charlet <charlet@gnat.com>
452
453         * s-taprob.adb: Minor clean ups so that this unit can be used in
454         Ravenscar HI.
455
456         * exp_ch7.adb: Allow use of secondary stack in HI mode.
457         Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
458
459 2001-12-19  Vincent Celier <celier@gnat.com>
460
461         * prj-tree.ads (Project_Node_Record): Add comments for components
462         Pkg_Id and Case_Insensitive.
463
464 2001-12-19  Pascal Obry <obry@gnat.com>
465
466         * g-socket.adb: Minor reformatting. Found while reading code.
467
468 2001-12-19  Robert Dewar <dewar@gnat.com>
469
470         * prj-tree.ads: Minor reformatting
471
472 2001-12-20  Joseph S. Myers  <jsm28@cam.ac.uk>
473
474         * config-lang.in (diff_excludes): Remove.
475
476 2001-12-17  Ed Schonberg <schonber@gnat.com>
477
478         * sem_res.adb (Resolve_Selected_Component): do not generate a
479         discriminant check if the selected component is a component of
480         the argument of an initialization procedure.
481
482         * trans.c (tree_transform, case of arithmetic operators): If result
483         type is private, the gnu_type is the base type of the full view,
484         given that the full view itself may be a subtype.
485
486 2001-12-17  Robert Dewar <dewar@gnat.com>
487
488         * sem_res.adb: Minor reformatting
489
490         * trans.c (tree_transform, case N_Real_Literal): Add missing third
491         parameter in call to Machine (unknown horrible effects from this
492         omission).
493
494         * urealp.h: Add definition of Round_Even for call to Machine
495         Add third parameter for Machine
496
497 2001-12-17  Ed Schonberg <schonber@gnat.com>
498
499         * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
500         predefined units in No_Run_Time mode.
501
502 2001-12-17  Richard Kenner <kenner@gnat.com>
503
504         * misc.c (insn-codes.h): Now include.
505
506 2001-12-17  Olivier Hainque <hainque@gnat.com>
507
508         * a-except.adb: Preparation work for future integration of the GCC 3
509         exception handling mechanism
510         (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
511         to factorize previous code sequences and make them externally callable,
512         e.g. for the Ada personality routine when the GCC 3 mechanism is used.
513         (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
514         Use the new notification routines.
515
516 2001-12-17  Emmanuel Briot <briot@gnat.com>
517
518         * prj-tree.ads (First_Choice_Of): Document the when others case
519
520 2001-12-17  Arnaud Charlet <charlet@gnat.com>
521
522         * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
523         HI-E mode, in order to support Ravenscar profile properly.
524
525         * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
526         mode on 32 bits targets.
527
528 2001-12-17  Vincent Celier <celier@gnat.com>
529
530         * fmap.adb: Initial version.
531
532         * fmap.ads: Initial version.
533
534         * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
535         If search is successfully done, add to mapping.
536
537         * frontend.adb: Initialize the mapping if a -gnatem switch was used.
538
539         * make.adb:
540         (Gnatmake): Add new local variable Mapping_File_Name.
541          Create mapping file when using project file(s).
542          Delete mapping file before exiting.
543
544         * opt.ads (Mapping_File_Name): New variable
545
546         * osint.adb (Find_File): Use path name found in mapping, if any.
547
548         * prj-env.adb (Create_Mapping_File): New procedure
549
550         * prj-env.ads (Create_Mapping_File): New procedure.
551
552         * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
553         (Mapping_File)
554
555         * usage.adb: Add entry for new switch -gnatem.
556
557         * Makefile.in: Add dependencies for fmap.o.
558
559 2001-12-17  Ed Schonberg <schonber@gnat.com>
560
561         * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
562         is a package instantiation rewritten as a package body.
563         (Install_Withed_Unit): Undo previous change, now redundant.
564
565 2001-12-17  Gary Dismukes <dismukes@gnat.com>
566
567         * layout.adb:
568         (Compute_Length): Move conversion to Unsigned to callers.
569         (Get_Max_Size): Convert Len expression to Unsigned after calls to
570         Compute_Length and Determine_Range.
571         (Layout_Array_Type): Convert Len expression to Unsigned after calls to
572         Compute_Length and Determine_Range.
573         Above changes fix problem with length computation for supernull arrays
574         where Max (Len, 0) wasn't getting applied due to the Unsigned
575         conversion used by Compute_Length.
576
577 2001-12-17  Arnaud Charlet <charlet@gnat.com>
578
579         * rtsfind.ads:
580         (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
581          System.Secondary_Stack.
582         (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
583          in HI-E mode.
584         Remove unused entity RE_Exception_Data.
585
586         * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
587
588         * rident.ads (No_Secondary_Stack): New restriction.
589
590 2001-12-17  Joel Brobecker <brobecke@gnat.com>
591
592         * gnat_rm.texi: Fix minor typos. Found while reading the section
593         regarding "Bit_Order Clauses" that was sent to a customer.
594         Very interesting documentation!
595
596 2001-12-17  Robert Dewar <dewar@gnat.com>
597
598         * sem_case.adb (Choice_Image): Avoid creating improper character
599         literal names by using the routine Set_Character_Literal_Name. This
600         fixes bombs in certain error message cases.
601
602 2001-12-17  Arnaud Charlet <charlet@gnat.com>
603
604         * a-reatim.adb: Minor reformatting.
605
606 2001-12-17  Ed Schonberg <schonber@gnat.com>
607
608         * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
609         case where the formal is an extension of another formal in the current
610         unit or in a parent generic unit.
611
612 2001-12-17  Arnaud Charlet <charlet@gnat.com>
613
614         * s-tposen.adb: Update comments.  Minor reformatting.
615         Minor code clean up.
616
617         * s-tarest.adb: Update comments.  Minor code reorganization.
618
619 2001-12-17  Gary Dismukes <dismukes@gnat.com>
620
621         * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
622         when Java_VM.
623
624 2001-12-17  Robert Dewar <dewar@gnat.com>
625
626         * exp_attr.adb: Minor reformatting
627
628 2001-12-17  Ed Schonberg <schonber@gnat.com>
629
630         * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
631         derivations nested within a child unit: verify that the parent
632         type is declared in an outer scope.
633
634 2001-12-17  Robert Dewar <dewar@gnat.com>
635
636         * sem_ch12.adb: Minor reformatting
637
638 2001-12-17  Ed Schonberg <schonber@gnat.com>
639
640         * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
641         warning if current unit is a predefined one, from which bodies may
642         have been deleted.
643
644 2001-12-17  Robert Dewar <dewar@gnat.com>
645
646         * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
647         Fix header format. Add 2001 to copyright date.
648
649         * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
650         which caused CE during compilation if checks were enabled.
651
652 2001-12-17  Vincent Celier <celier@gnat.com>
653
654         * make.adb:
655         (Switches_Of): New function
656         (Test_If_Relative_Path): New procedure
657         (Add_Switches): Use new function Switches_Of
658         (Collect_Arguments_And_Compile): Use new function Switches_Of.
659         When using a project file, test if there are any relative
660         search path. Fail if there are any.
661         (Gnatmake): Only add switches for the primary directory when not using
662         a project file. When using a project file, change directory to the
663         object directory of the main project file. When using a project file,
664         test if there are any relative search path. Fail if there are any.
665         When using a project file, fail if specified executable is relative
666         path with directory information, and prepend executable, if not
667         specified as an absolute path, with the exec directory.  Make sure
668         that only one -o switch is transmitted to the linker.
669
670         * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
671
672         * prj-nmsc.adb:
673         (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
674         when using a non standard naming scheme.
675         (Check_Ada_Naming_Scheme): Make sure that error messages
676         do not raise exceptions.
677         (Is_Illegal_Append): Return True if there is no dot in the suffix.
678         (Language_Independent_Check): Check the exec directory.
679
680         * prj.adb (Project_Empty): Add new component Exec_Directory
681
682         * prj.ads:
683         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
684         (Project_Data): Add component Exec_Directory
685
686         * snames.adb: Updated to match snames.ads revision 1.215
687
688         * snames.ads: Added Exec_Dir
689
690 2001-12-17  Robert Dewar <dewar@gnat.com>
691
692         * make.adb: Minor reformatting
693
694         * prj-nmsc.adb: Minor reformatting
695
696         * snames.adb: Updated to match snames.ads
697
698         * snames.ads: Alphebetize entries for project file
699
700 2001-12-17  Ed Schonberg <schonber@gnat.com>
701
702         * trans.c (process_freeze_entity): Do nothing if the entity is a
703         subprogram that was already elaborated.
704
705 2001-12-17  Richard Kenner <kenner@gnat.com>
706
707         * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
708         and Esize if object is referenced via pointer.
709
710 2001-12-17  Ed Schonberg <schonber@gnat.com>
711
712         * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
713         is discrete before analyzing choices.
714
715 2001-12-17  Joel Brobecker <brobecke@gnat.com>
716
717         * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
718         containing the name of the Ada Main Program. This string is mainly
719         intended for the debugger.
720         (Gen_Output_File_C): Do the equivalent change when generating a C file.
721
722 2001-12-17  Robert Dewar <dewar@gnat.com>
723
724         * ali.adb: Set new Dummy_Entry field in dependency entry
725
726         * ali.ads: Add Dummy_Entry field to source dependency table
727
728         * bcheck.adb (Check_Consistency): Ignore dummy D lines
729
730         * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
731
732         * lib-writ.ads: Document dummy D lines for missing files.
733
734         * types.ads: (Dummy_Time_Stamp): New value for non-existant files
735
736 2001-12-17  Robert Dewar <dewar@gnat.com>
737
738         * ali.adb: Type reference does not reset current file.
739
740         * ali.adb: Recognize and scan renaming reference
741
742         * ali.ads: Add spec for storing renaming references.
743
744         * lib-xref.ads: Add documentation for handling of renaming references
745
746         * lib-xref.adb: Implement output of renaming reference.
747
748         * checks.adb:
749         (Determine_Range): Document local variables
750         (Determine_Range): Make sure Hbound is initialized. It looks as though
751          there could be a real problem here with an uninitialized reference
752          to Hbound, but no actual example of failure has been found.
753
754 2001-12-17  Laurent Pautet <pautet@gnat.com>
755
756         * g-socket.ads:
757         Fix comment of Shutdown_Socket and Close_Socket. These functions
758         should not fail silently because if they are called twice, this
759         probably means that there is a race condition in the user program.
760         Anyway, this behaviour is consistent with the rest of this unit.
761         When an error occurs, an exception is raised with the error message
762         as exception message.
763
764 2001-12-17  Robert Dewar <dewar@gnat.com>
765
766         * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
767         that it happens before modification of Sloc values for -gnatD.
768
769         * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
770         so that it happens before modification of Sloc values for -gnatD.
771
772         * switch.adb: Minor reformatting
773
774 2001-12-15  Richard Henderson  <rth@redhat.com>
775
776         * sem_ch7.adb: Wrap comment.
777
778 2001-12-16  Joseph S. Myers  <jsm28@cam.ac.uk>
779
780         * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
781         5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
782         5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
783         5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
784         5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
785         7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
786         a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
787         a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
788         cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
789         exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
790         exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
791         g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
792         gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
793         make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
794         par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
795         repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
796         s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
797         s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
798         s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
799         s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
800         sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
801         sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
802         sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
803         sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
804         spelling errors.
805
806 2001-12-14  Vincent Celier <celier@gnat.com>
807
808         * osint.adb(Create_Debug_File): When an object file is specified,
809         put the .dg file in the same directory as the object file.
810
811 2001-12-14  Robert Dewar <dewar@gnat.com>
812
813         * osint.adb: Minor reformatting
814
815         * lib-xref.adb (Output_Instantiation): New procedure to generate
816         instantiation references.
817
818         * lib-xref.ads: Add documentation of handling of generic references.
819
820         * ali.adb (Read_Instantiation_Ref): New procedure to read
821         instantiation references
822
823         * ali.ads: Add spec for storing instantiation references
824
825         * bindusg.adb: Minor reformatting
826
827         * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
828
829         * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
830
831         * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
832
833         * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
834
835         * csets.ads:
836         Fix header format
837         Add 2001 to copyright date
838         Add entry for Latin-5 (Cyrillic ISO-8859-5)
839
840 2001-12-14  Matt Gingell <gingell@gnat.com>
841
842         * adaint.c: mktemp is a macro on Lynx and can not be used as an
843         expression.
844
845 2001-12-14  Richard Kenner <kenner@gnat.com>
846
847         * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
848         if operand is CONSTRUCTOR.
849
850 2001-12-14  Ed Schonberg <schonber@gnat.com>
851
852         * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
853         before emiting check on right-hand side, so that exception information
854         is correct.
855
856 2001-12-14  Richard Kenner <kenner@gnat.com>
857
858         * utils.c (create_var_decl): Throw away initializing expression
859         if just annotating types and non-constant.
860
861 2001-12-14  Vincent Celier <celier@gnat.com>
862
863         * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
864         Default_Ada_...
865
866         * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
867         Remove functions.
868         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
869
870         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
871         Remove functions.
872         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
873
874 2001-12-16  Joseph S. Myers  <jsm28@cam.ac.uk>
875
876         * ChangeLog: Remove piece of diff output.
877
878 2001-12-14  Geert Bosch <bosch@gnat.com>
879
880         * config-lang.in: Update copyright notice
881
882         * layout.adb: Remove commented out code.
883
884         * mdllfile.ads: Update copyright notice. Fix header format.
885
886         * sem_case.ads: Likewise.
887
888         * sem_ch3.adb: Minor reformatting.
889
890 2001-12-12  Geert Bosch <bosch@gnat.com>
891
892         * freeze.ads: Update copyright date.
893
894         * g-comlin.ads: Minor reformatting.
895
896         * gnat-style.texi: Fix typo.
897
898 2001-12-12  Geert Bosch <bosch@gnat.com>
899
900         *  einfo.h: Regenerate.
901
902 2001-12-12  Ed Schonberg <schonber@gnat.com>
903
904         * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
905         on known node types, rather than untyped fields. Further cleanups.
906
907 2001-12-12  Robert Dewar <dewar@gnat.com>
908
909         * sem_ch12.adb:
910         (Save_Entity_Descendant): Minor comment update.
911         (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
912          of an N_Attribute_Reference node. As per note below, this does not
913         eliminate need for Associated_Node in attribute ref nodes.
914         (Associated_Node): Documentation explicitly mentions attribute
915         reference nodes, since this field is used in such nodes.
916
917         * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
918
919 2001-12-12  Robert Dewar <dewar@gnat.com>
920
921         * s-stalib.adb: Add more comments on with statements being needed
922
923         * par-ch12.adb: Minor reformatting
924
925         * prj-dect.ads: Fix copyright header
926
927         * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
928         inputs fit in 32 bits, but the result still overflows.
929
930         * s-fatgen.ads: Minor comment improvement
931
932 2001-12-12  Ed Schonberg <schonber@gnat.com>
933
934         * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
935         formal derived type, look for an inherited component from the full
936         view of the parent, if any.
937
938 2001-12-12  Robert Dewar <dewar@gnat.com>
939
940         * checks.ads (Apply_Alignment_Check): New procedure.
941
942         * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
943         ensure that the alignment of objects with address clauses is
944         appropriate, and raise PE if not.
945
946         * exp_util.ads (Must_Be_Aligned): Removed, replaced by
947         Exp_Pakd.Known_Aligned_Enough
948
949         * mdllfile.ads: Minor reformatting
950
951         * mlib-fil.ads: Minor reformatting
952
953 2001-12-12  Ed Schonberg <schonber@gnat.com>
954
955         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
956         fix to any component reference if enclosing record has non-standard
957         representation.
958
959 2001-12-12  Vincent Celier <celier@gnat.com>
960
961         * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
962         Iteration
963
964 2001-12-12  Ed Schonberg <schonber@gnat.com>
965
966         * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
967         sem_attr.
968
969 2001-12-12  Robert Dewar <dewar@gnat.com>
970
971         * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
972
973 2001-12-12  Emmanuel Briot <briot@gnat.com>
974
975         * g-regexp.adb: Remove all debug code, since it isn't required anymore,
976         and it adds dependencies to system.io.
977
978 2001-12-12  Pascal Obry <obry@gnat.com>
979
980         * g-dirope.adb (Expand_Path.Var): Correctly detect end of
981         variable name.
982
983 2001-12-11  Ed Schonberg <schonber@gnat.com>
984
985         * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
986         that is the parent of other generics, the instance body replaces the
987         instance node.  Retrieve the instance of the spec, which is the one
988         that is visible in clients and within the body.
989
990 2001-12-11  Vincent Celier <celier@gnat.com>
991
992         * gnatmain.adb: Initial version.
993
994         * gnatmain.ads: Initial version.
995
996         * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
997
998         * snames.adb: Updated to match snames.ads.
999
1000         * snames.ads: Added Gnatstub.
1001
1002 2001-12-11  Vincent Celier <celier@gnat.com>
1003
1004         * prj-attr.adb (Initialization_Data): Change name from
1005         Initialisation_Data.
1006
1007 2001-12-11  Emmanuel Briot <briot@gnat.com>
1008
1009         * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
1010         + and * applied to backslashed expressions like \r.
1011
1012 2001-12-11  Vasiliy Fofanov <fofanov@gnat.com>
1013
1014         * g-os_lib.ads: String_List type added, Argument_List type is now
1015         subtype of String_List.
1016
1017 2001-12-11  Robert Dewar <dewar@gnat.com>
1018
1019         * g-os_lib.ads: Change copyright to FSF
1020         Add comments for String_List type
1021
1022 2001-12-11  Vincent Celier <celier@gnat.com>
1023
1024         * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
1025         string to the buffer).
1026
1027 2001-12-11  Ed Schonberg <schonber@gnat.com>
1028
1029         * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
1030         sem_attr.
1031
1032         * sem_attr.adb: Simplify previous fix for Address.
1033         (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
1034         to avoid anomalies where the bound of the type appears to raise
1035         constraint error.
1036
1037 2001-12-11  Robert Dewar <dewar@gnat.com>
1038
1039         * lib-xref.adb (Output_Refs): Make sure pointers are always properly
1040         handled.
1041
1042 2001-12-11  Ed Schonberg <schonber@gnat.com>
1043
1044         * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
1045         renamed unit before checking for recursive instantiations.
1046
1047 2001-12-11  Emmanuel Briot <briot@gnat.com>
1048
1049         * prj.ads: Add comments for some of the fields.
1050
1051 2001-12-11  Robert Dewar <dewar@gnat.com>
1052
1053         * lib-xref.adb (Output_Refs): Don't output type references outside
1054         the main unit if they are not otherwise referenced.
1055
1056 2001-12-11  Ed Schonberg <schonber@gnat.com>
1057
1058         * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
1059         code and diagnose additional illegal uses
1060
1061         * sem_util.adb (Is_Object_Reference): An indexed component is an
1062         object only if the prefix is.
1063
1064 2001-12-11  Vincent Celier <celier@gnat.com>
1065
1066         * g-diopit.adb: Initial version.
1067
1068         * g-diopit.ads: Initial version.
1069
1070         * g-dirope.adb:
1071         (Expand_Path): Avoid use of Unbounded_String
1072         (Find, Wildcard_Iterator): Moved to child package Iteration
1073
1074         * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
1075
1076 2001-12-11  Robert Dewar <dewar@gnat.com>
1077
1078         * sem_attr.adb: Minor reformatting
1079
1080 2001-12-11  Ed Schonberg <schonber@gnat.com>
1081
1082         * sem_ch3.adb: Clarify some ???.
1083
1084 2001-12-11  Robert Dewar <dewar@gnat.com>
1085
1086         * exp_util.adb (Must_Be_Aligned): Removed, replaced by
1087         Exp_Pakd.Known_Aligned_Enough
1088
1089         * sem_ch13.adb (Check_Address_Alignment): Removed, extended
1090         version is moved to Exp_Ch13.
1091
1092 2001-12-11  Robert Dewar <dewar@gnat.com>
1093
1094         * einfo.ads: Minor reformatting
1095
1096         * exp_ch5.adb: Add comment for previous.change
1097
1098         * ali.adb: New interface for extended typeref stuff.
1099
1100         * ali.ads: New interface for typeref stuff.
1101
1102         * checks.adb (Apply_Alignment_Check): New procedure.
1103
1104         * debug.adb: Add -gnatdM for modified ALI output
1105
1106         * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
1107
1108         * lib-xref.adb: Extend generation of <..> notation to cover
1109         subtype/object types. Note that this is a complete rewrite,
1110         getting rid of the very nasty quadratic algorithm previously
1111         used for derived type output.
1112
1113         * lib-xref.ads: Extend description of <..> notation to cover
1114         subtype/object types. Uses {..} for these other cases.
1115         Also use (..) for pointer types.
1116
1117         * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
1118
1119         * exp_pakd.adb: Minor reformatting.  Note that prevous RH should say:
1120         (Known_Aligned_Enough): Replaces Must_Be_Aligned.
1121
1122 2001-12-11  Vincent Celier <celier@gnat.com>
1123
1124         * gnatcmd.adb:
1125         Changed /COMPILE_ONLY to /ACTIONS=COMPILE
1126         Changed /BIND_ONLY to /ACTIONS=BIND
1127         Changed /LINK_ONLY to /ACTIONS=LINK
1128
1129 2001-12-11  Ed Schonberg  <schonber@gnat.com>
1130
1131         * sem_ch8.adb (Find_Selected_Component): improved search for a
1132         candidate package in case of error.
1133
1134         * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
1135         chain back on scope stack before reinstalling use clauses.
1136
1137         * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
1138         is enabled, do not kill the code for the condition, to preserve
1139         warning.
1140
1141 2001-12-11  Robert Dewar <dewar@gnat.com>
1142
1143         * checks.adb (Insert_Valid_Check): Apply validity check to expression
1144         of conversion, not to result of conversion.
1145
1146 2001-12-11  Ed Schonberg <schonber@gnat.com>
1147
1148         * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
1149         before freezing parent. If the declarations are mutually recursive,
1150         an access to the current record type may be frozen before the
1151         derivation is complete.
1152
1153 2001-12-05  Vincent Celier <celier@gnat.com>
1154
1155         * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
1156         -c /COMPILE_ONLY, -l /LINK_ONLY
1157
1158         * opt.ads:
1159         (Bind_Only): New Flag
1160         (Link_Only): New flag
1161
1162         * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
1163         and -l (Link_Only)
1164
1165         * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
1166
1167         * make.adb:
1168         (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1169         (Gnatmake): Set the step flags. Only perform a step if the
1170         corresponding step flag is True.
1171         (Scan_Make_Arg): Reset the bind and link step flags when -u
1172         or -gnatc has been specified.
1173
1174 2001-12-05  Ed Schonberg <schonber@gnat.com>
1175
1176         * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
1177         get bounds from right operand.
1178
1179         * sem_eval.adb: Minor reformatting
1180
1181         * exp_util.adb (Make_Literal_Range): use bound of literal rather
1182         than Index'First, its lower bound may be different from 1.
1183
1184         * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
1185         and C48009J
1186
1187 2001-12-05  Vincent Celier <celier@gnat.com>
1188
1189         * prj-nmsc.adb Minor reformatting
1190
1191         * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
1192         set and libraries are not supported.
1193
1194 2001-12-05  Ed Schonberg <schonber@gnat.com>
1195
1196         * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1197         private view explicitly, so the back-end can treat as a global
1198         when appropriate.
1199
1200 2001-12-05  Ed Schonberg <schonber@gnat.com>
1201
1202         * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1203          unit, always replace instance node with new body, for ASIS use.
1204
1205 2001-12-05  Vincent Celier <celier@gnat.com>
1206
1207         * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1208         libraries are not supported and both attributes Library_Name and
1209         Library_Dir are specified.
1210
1211         * prj-proc.adb (Expression): Set location of Result to location of
1212         first term.
1213
1214         * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1215         (prj-nmsc is now importing MLib.Tgt)
1216
1217         * prj-proc.adb: Put the change indicated above that was forgotten.
1218
1219 2001-12-05  Robert Dewar <dewar@gnat.com>
1220
1221         * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1222
1223 2001-12-05  Ed Schonberg <schonber@gnat.com>
1224
1225         * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1226         constraint, introduce explicit subtype declaration and derive from it.
1227
1228         * sem_ch3.adb: Minor reformatting
1229
1230 2001-12-05  Robert Dewar <dewar@gnat.com>
1231
1232         * checks.adb (Determine_Range): Increase cache size for checks.
1233         Minor reformatting
1234
1235         * exp_ch6.adb: Minor reformatting
1236         (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1237         a parameter whose root type is System.Address, since treating such
1238         subprograms as pure in the code generator is almost surely a mistake
1239         that will lead to unexpected results.
1240
1241         * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
1242         change handling of conversions.
1243
1244         * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1245
1246 2001-12-05  Ed Schonberg <schonber@gnat.com>
1247
1248         * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1249         aggregate with static wrong size, attach generated Raise node to
1250         declaration.
1251
1252 2001-12-05  Robert Dewar <dewar@gnat.com>
1253
1254         * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
1255         Fixes compilation abandoned bomb in B24009B.
1256
1257 2001-12-05  Ed Schonberg <schonber@gnat.com>
1258
1259         * sem_ch12.adb:
1260         Document use of Associated_Node on Selected_Components.
1261         (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1262         to clarify use of untyped descendant fields.
1263
1264 2001-12-05  Robert Dewar <dewar@gnat.com>
1265
1266         * prj-dect.ads: Add ??? comment
1267         Add 2001 to copyright notice (was not done in after all)
1268
1269         * prj-part.adb: Minor reformatting. Reword one awkward error message.
1270
1271         * prj.ads: Minor reformatting throughout, and add some ??? comments
1272
1273         * snames.ads: Minor reformatting
1274
1275 2001-12-05  Geert Bosch <bosch@gnat.com>
1276
1277         * snames.adb: Autoupdate
1278
1279 2001-12-05  Vincent Celier <celier@gnat.com>
1280
1281         * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1282
1283         * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1284
1285         * prj-env.adb: Minor comment changes (modifying -> extends).
1286
1287         * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1288
1289         * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
1290         Tok_Extends.
1291
1292         * prj.adb (Initialize): Change Modifying to Extends.
1293
1294         * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
1295
1296         * prj.ads: Minor comment change (Modifying -> extending).
1297
1298         * snames.ads: Change modifying to extends.
1299
1300 2001-12-05  Robert Dewar <dewar@gnat.com>
1301
1302         * sem_warn.adb: Remove stuff for conditionals, we are not going to
1303         do this after all.
1304
1305         * sem_warn.ads: Remove stuff for conditionals, we are not going to
1306         do this after all.  Add 2001 to copyright notice
1307
1308 2001-12-04  Geert Bosch <bosch@gnat.com>
1309
1310         *  einfo.h, sinfo.h, treeprs.ads: Regenerate.
1311
1312 2001-12-04  Robert Dewar <dewar@gnat.com>
1313
1314         * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
1315         location if we already have errors. Stops some cases of cascaded
1316         errors.
1317
1318         * errout.adb: Improve comment.
1319
1320 2001-12-04  Robert Dewar <dewar@gnat.com>
1321
1322         * sem_ch12.adb:
1323         (Analyze_Formal_Type_Definition): Defend against Error.
1324         (Analyze_Formal_Subprogram): Defend against Error.
1325
1326         * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
1327         remove following semicolon if present. Removes cascaded error.
1328
1329 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
1330
1331         * bindgen.adb:
1332         (Gen_Exception_Table_Ada): Write "begin" and then return if Num
1333          exceptions equals 0.
1334         (Gen_Exception_Table_C): Return if Num exceptions equals 0.
1335         Fixes PIWG E tests (which have to be run with -gnatL).
1336
1337 2001-12-04  Robert Dewar <dewar@gnat.com>
1338
1339         * einfo.ads: Minor reformatting
1340
1341 2001-12-04  Ed Schonberg <schonber@gnat.com>
1342
1343         * einfo.ads: Block_Node points to the identifier of the block, not to
1344         the block node itself, to preserve the link when the block is
1345         rewritten, e.g. within an if-statement with a static condition.
1346
1347         * inline.adb (Cleanup_Scopes): recover block statement from block
1348         entity using new meaning of Block_Node.
1349
1350         * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
1351         identifier of block node, rather than to node itself.
1352
1353 2001-12-04  Gary Dismukes <dismukes@gnat.com>
1354
1355         * layout.adb:
1356         (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1357         (Discrimify): Go back to setting the Etypes of the selected component
1358         because the Vname component does not exist at this point and will
1359         fail name resolution. Also set Analyzed.
1360         Remove with and use of Sem_Res.
1361
1362 2001-12-04  Arnaud Charlet <charlet@gnat.com>
1363
1364         * Makefile.in: (HIE_SOURCES): add s-fat*.
1365
1366 2001-12-04  Robert Dewar <dewar@gnat.com>
1367
1368         * sem_attr.adb:
1369         (Compile_Time_Known_Attribute): New procedure.
1370         (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1371          proper range check.
1372
1373 2001-12-04  Ed Schonberg <schonber@gnat.com>
1374
1375         * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
1376         processing discriminants to diagnose illegal default values.
1377
1378 2001-12-04  Ed Schonberg <schonber@gnat.com>
1379
1380         * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1381         access discriminant within a type extension that constrains its
1382         parent discriminants.
1383
1384 2001-12-04  Ed Schonberg <schonber@gnat.com>
1385
1386         * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
1387         is malformed, use instance of Any_Id to allow analysis to proceed.
1388
1389         * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
1390         type definition is illegal.
1391         (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1392         misplaced.
1393
1394 2001-12-04  Ed Schonberg <schonber@gnat.com>
1395
1396         * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
1397         constants.
1398
1399 2001-12-04  Robert Dewar <dewar@gnat.com>
1400
1401         * errout.adb: Minor reformatting
1402
1403 2001-12-04  Robert Dewar <dewar@gnat.com>
1404
1405         * exp_util.adb: Minor reformatting from last change
1406
1407         * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1408         which is a rewriting of an expression, traverse the original
1409         expression to remove warnings that may have been posted on it.
1410
1411 2001-12-04  Ed Schonberg <schonber@gnat.com>
1412
1413         * exp_util.adb (Must_Be_Aligned): Return false for a component of a
1414         record that has other packed components.
1415
1416 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
1417
1418         * adaint.c: Minor cleanups.
1419
1420 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
1421
1422         * adaint.c: Do not use utime.h on vxworks.
1423
1424 2001-12-04  Arnaud Charlet <charlet@gnat.com>
1425
1426         * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
1427         more confusion than it solves.
1428
1429 2001-12-04  Geert bosch <bosch@gnat.com>
1430
1431         * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1432
1433 2001-12-04  Geert Bosch  <bosch@gnat.com>
1434
1435         * Makefile.in (update-sources): New target.
1436         For use by gcc_release script.
1437
1438 2001-12-04  Ed Schonberg <schonber@gnat.com>
1439
1440         * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
1441         a configuration pragma, it is now legal wherever a pragma can appear.
1442
1443 2001-12-04  Zack Weinberg  <zack@codesourcery.com>
1444
1445         * Makefile.in: Don't set ALL.  Delete @cross_defines@,
1446         @cross_overrides@, @build_overrides@ stanzas.  INTERNAL_CFLAGS
1447         is now @CROSS@ -DIN_GCC; update comment.
1448
1449 2001-12-04  Robert Dewar <dewar@gnat.com>
1450
1451         * einfo.adb (Has_Pragma_Pure_Function): New flag.
1452         Fix problem that stopped ceinfo from working
1453
1454         * einfo.ads (Has_Pragma_Pure_Function): New flag.
1455
1456         * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1457
1458 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
1459
1460         * gnatchop.adb:
1461         (File_Time_Stamp): New procedure.
1462         (Preserve_Mode): New boolean.
1463         (Write_Unit): Pass time stamp.
1464         Implement -p switch (preserve time stamps).
1465
1466         * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1467
1468         * gnatchop.adb: Do usage info for -p switch
1469
1470         * adaint.h (__gnat_set_file_time_name): New function
1471
1472         * adaint.c (__gnat_set_file_time_name): Implement
1473
1474         * adaint.h: Fix typo
1475
1476 2001-12-03  Robert Dewar <dewar@gnat.com>
1477
1478         * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
1479         have Associated_Node.
1480
1481 2001-12-03  Robert Dewar <dewar@gnat.com>
1482
1483         * prj-proc.adb: Minor reformatting
1484
1485         * make.adb: Minor reformatting
1486
1487 2001-12-03  Geert Bosch <bosch@gnat.com>
1488
1489         * make.adb: Minor reformatting.
1490
1491 2001-12-03 Robert Dewar  <dewar@gnat.com>
1492
1493         * sem_ch12.adb: Minor reformatting
1494
1495 2001-12-03  Ed Schonberg <schonber@gnat.com>
1496
1497         * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1498         push Standard on the stack before analyzing the instance body,
1499         in order to have a clean visibility environment.
1500
1501         * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
1502
1503 2001-12-03  Ed Schonberg <schonber@gnat.com>
1504
1505         * sem_ch12.adb (Instantiate_Package_Body): Protect against double
1506         instantiation of a body that contains an inlined body.
1507
1508 2001-12-03  Ed Schonberg <schonber@gnat.com>
1509
1510         * sem_ch12.adb:
1511         (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1512         to prevent freezing within formal packages.
1513         (Freeze_Subprogram_Body): If body comes from another instance that
1514         appeared before its own body, place freeze node at end of current
1515         declarative part, to prevent a back-end crash.
1516         (Inline_Instance_Body): Handle properly a package instance within
1517         a subprogram instance that is a child unit.
1518
1519 2001-12-01  Graham Stott  <grahams@redhat.com>
1520
1521         * Makefile.in (misc.o): Add missing $(srcdir) prefix
1522         and add optabs.h dependency.
1523
1524         * misc.c: Include optabs.h
1525         (gnat_tree_code_type): Make static and const.
1526         (gnat_tree_code_length): Likewise.
1527         (gnat_tree_code_name): Likewise.
1528         (update_setjmp_buf): Obtain operands mode from insn_data.
1529
1530 2001-11-29  Richard Henderson  <rth@redhat.com>
1531
1532         * init.c: Remove obsolete dwarf2 frame.h section.
1533
1534 2001-11-29  Joseph S. Myers  <jsm28@cam.ac.uk>
1535
1536         * Make-lang.in (ada.generated-manpages): New dummy target.
1537
1538 2001-11-29  Ed Schonberg <schonber@gnat.com>
1539
1540         * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1541         into Command, an array conversion is illegal here. Uncovered by
1542         ACATS B460005.
1543
1544 2001/11/28  Geert Bosch <bosch@gnat.com>
1545
1546         * init.c: Minor whitespace changes.
1547
1548 2001-11-28  Doug Rupp <rupp@gnat.com>
1549
1550         * init.c: (__gnat_install_handler,VMS): Increase size of alternate
1551         signal stack.
1552
1553 2001-11-28  Zack Weinberg  <zack@codesourcery.com>
1554
1555         * misc.c (gnat_expand_constant): Move declaration above
1556         definition of lang_hooks.
1557         (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1558         (gnat_init): lang_expand_constant no longer exists.
1559
1560         (internal_error_function): Remove #ifdef HAVE_VPRINTF.  We
1561         always have vprintf.
1562         (gnat_init): Always call set_internal_error_function.
1563
1564 2001-11-27  Andreas Jaeger  <aj@suse.de>
1565
1566         * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1567
1568 2001-11-27  Laurent Guerby  <guerby@acm.org>
1569
1570         * Makefile.in: Regenerate Ada dependencies.
1571
1572 2001-11-26  Richard Henderson  <rth@redhat.com>
1573
1574         * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1575         gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1576         gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1577
1578 2001-11-25  Laurent Guerby  <guerby@acm.org>
1579
1580         * sysdep.c (rts_get_*): Fix style.
1581
1582 2001-11-19  Laurent Guerby  <guerby@acm.org>
1583
1584         * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1585         since it is of no apparent use and cause warnings.
1586
1587 2001-11-18  Neil Booth  <neil@daikokuya.demon.co.uk>
1588
1589         * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1590         static too.
1591         (gnat_init): Don't return NULL.
1592         (finish_parse): Remove.
1593
1594 2001-11-17  Laurent Guerby  <guerby@acm.org>
1595
1596         * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1597         * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1598         * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1599         * lang-spec.h: Add missing struct field to silence warnings.
1600         * sysdep.c (rts_get_*): Provide K&R prototype.
1601         * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1602         * traceback.c (Unlock_Task, Lock_Task): Likewise.
1603         * tracebak.c (__gnat_backtrace): Remove unused variable.
1604         * utils.c (end_subprog_body): Move to K&R style.
1605
1606 Thu Nov 15 18:16:17 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
1607
1608         * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1609
1610 2001-11-15  Neil Booth  <neil@daikokuya.demon.co.uk>
1611
1612         * misc.c (gnat_init): Change prototype.  Include the
1613         functionality of the old init_parse and init_decl_processing.
1614         (gnat_init_decl_processing): New prototype.
1615         (init_parse): Remove.
1616         * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1617
1618 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
1619
1620         * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1621         (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1622         (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1623         set_yydebug): Remove.
1624
1625 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
1626
1627         * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1628         (struct lang_hooks): Constify.
1629         (language_string, lang_identify): Remove.
1630         * utils.c (init_decl_processing): Update.
1631
1632 2001-11-06  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
1633
1634         * misc.c: Include langhooks-def.h.
1635         * Makefile.in: Update.
1636
1637 2001-10-30  Robert Dewar <dewar@gnat.com>
1638
1639         * style.adb:
1640         (Check_Identifier): Rewrite circuit to be compatible with use of letters
1641         in the upper half of ASCII.
1642         (Check_Identifier): Minor reformatting
1643
1644 2001-10-30  Geert Bosch <bosch@gnat.com>
1645
1646         * (Associated_Node, Set_Associated_Node): Do not check for
1647         Freeze_Entity.
1648
1649 2001-10-30  Robert Dewar <dewar@gnat.com>
1650
1651         * a-reatim.ads: Minor reformatting
1652
1653 2001-10-30  Robert Dewar <dewar@gnat.com>
1654
1655         * gnatdll.adb: Minor reformatting throughout. Many ??? added for
1656         undocumented declarations.
1657
1658 2001-10-30  Pascal Obry <obry@gnat.com>
1659
1660         * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
1661         to the binder and linker.
1662         Minor style fix.
1663
1664         * mdll.ads: Fix layout.  Update copyright notice.
1665
1666         * mdll.adb: Fix layout.  Update copyright notice.
1667
1668 2001-10-30  Robert Dewar <dewar@gnat.com>
1669
1670         * usage.adb: Minor fix to output for -gnaty.
1671
1672 2001-10-30  Ed Schonberg <schonber@gnat.com>
1673
1674         * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1675         to accommodate all its possible values.
1676
1677         * a-reatim.adb (Split): Special-case handling of Time_Span_First
1678         and of small absolute values of T.
1679
1680 2001-10-30  Richard Kenner <kenner@gnat.com>
1681
1682         * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1683         set_mem_attributes since not needed and wrong if RESULT if a REG;
1684         fixes ACATS failures.
1685
1686 2001-10-30  Geert Bosch <bosch@gnat.com>
1687
1688         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1689         s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1690
1691 2001-10-30  Robert Dewar <dewar@gnat.com>
1692
1693         * bindusg.adb: Undocument -f switch.
1694
1695         * gnatcmd.adb: Remove /FULL_ELABORATION.
1696
1697         * opt.ads (Force_RM_Elaboration_Order): Document that this is
1698         obsolescent.
1699
1700         * gnatbind.adb: Output new warning for use of obsolescent -f switch.
1701
1702         * gnatbind.adb: Minor update of warning msg.
1703
1704 2001-10-30  Vincent Celier <celier@gnat.com>
1705
1706         * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
1707         for project file switches (-P (/PROJECT_FILE=),
1708          -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
1709         or MEDIUM or HIGH)
1710
1711 2001-10-30  Geert Bosch <bosch@gnat.com>
1712
1713         * decl.c: Minor whitespace fixes.
1714
1715 2001-10-30  Richard Kenner <kenner@gnat.com>
1716
1717         * utils2.c (build_allocator): Test for SIZE overflow in array case too
1718
1719 2001-10-30  Geert Bosch <bosch@gnat.com>
1720
1721         * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
1722         Found due to GCC 3.0 warning of using uninitialized value.
1723
1724         * layout.adb:
1725         (Get_Max_Size): Use variant record for tracking value/expression.
1726          Makes logic clearer and prevents warnings for uninitialized variables.
1727         (Layout_Array_Type): Use variant record for tracking value/expression.
1728          Makes logic clearer and prevents warnings for uninitialized variables.
1729
1730 2001-10-30  Robert Dewar <dewar@gnat.com>
1731
1732         * lib.adb: Minor reformatting
1733
1734         * s-taprop.ads: Minor reformatting
1735
1736 2001-10-29  Laurent Guerby  <guerby@acm.org>
1737
1738         * init.c:
1739         (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1740         const.
1741         (_gnat_error_handler): Make MSG const.
1742
1743 2001-10-29  Richard Kenner <kenner@gnat.com>
1744
1745         * sysdep.c: Fix localtime_r problem on LynxOS.
1746         Also remove #elif to avoid warnings.
1747
1748         * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
1749         used by this.
1750
1751         * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1752
1753 2001-10-28  Joseph S. Myers  <jsm28@cam.ac.uk>
1754
1755         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
1756         exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
1757         g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
1758         g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
1759         layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
1760         s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
1761         sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
1762         sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
1763         sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
1764         types.ads, urealp.adb: Fix spelling errors.
1765
1766 2001-10-27  Laurent Guerby <guerby@acm.org>
1767
1768         * trans.c (gigi): Fix non determinism leading to bootstrap
1769         comparison failures for debugging information.
1770
1771 2001-10-26  Florian Weimer  <fw@deneb.enyo.de>
1772
1773         * gnat_rm.texi: Use @./@: where appropriate.
1774
1775 2001-10-26  Robert Dewar <dewar@gnat.com>
1776
1777         * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
1778
1779 2001-10-26  Richard Kenner <kenner@gnat.com>
1780
1781         * gmem.c (__gnat_gmem_read_next): Properly check for EOF
1782
1783 2001-10-26  Richard Kenner <kenner@gnat.com>
1784
1785         * decl.c (validate_size): Modify message for bad size to avoid
1786         implication that compiler is modifying the size.
1787
1788 2001-10-26  Robert Dewar <dewar@gnat.com>
1789
1790         * prj-util.adb: Minor reformatting. Fix bad header format.
1791
1792 2001-10-26  Robert Dewar <dewar@gnat.com>
1793
1794         * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
1795
1796         * sinfo.ads: Clarify use of Associated_Node (documentation only).
1797
1798         * sem_ch12.adb: Change Node4 to Associated_Node. Change
1799         Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
1800         much more narrowly in places where needed. These are cleanups.
1801
1802 2001-10-26  Joel Brobecker <brobecke@gnat.com>
1803
1804         * 5zosinte.ads (null_pthread): new constant.
1805
1806         * 5ztaprop.adb:
1807         (Initialize_TCB): Initialize thread ID to null, to be able to verify
1808          later that this field has been set.
1809         (Finalize_TCB): ditto.
1810         (Suspend_Task): Verify that the thread ID is not null before using it.
1811         (Resume_Task): ditto.
1812
1813         * s-tasdeb.adb:
1814         (Resume_All_Tasks): Lock the tasks list before using it.
1815         (Suspend_All_Tasks): ditto.
1816
1817 2001-10-26  Richard Kenner <kenner@gnat.com>
1818
1819         * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
1820         Make constant variant of designated type for Is_Access_Constant.
1821         Call update_pointer_to with main variant.
1822
1823         * trans.c (process_freeze_entity, process_type):
1824         Call update_pointer_to on main variant.
1825
1826         * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
1827         If main variant, update all other variants.
1828
1829         * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
1830         TREE_STATIC.
1831
1832 2001-10-26  Robert Dewar <dewar@gnat.com>
1833
1834         * prj-util.adb: Minor reformatting
1835
1836 2001-10-26  Robert Dewar <dewar@gnat.com>
1837
1838         * prj-util.adb: Minor reformatting
1839
1840 2001-10-26  Robert Dewar <dewar@gnat.com>
1841
1842         * prj-attr.adb: Minor reformatting throughout
1843
1844 2001-10-26  Robert Dewar <dewar@gnat.com>
1845
1846         * prj-attr.ads: Minor reformatting
1847         Add ??? comment (this whole spec has almost no comments)
1848
1849 2001-10-26  Vincent Celier <celier@gnat.com>
1850
1851         * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
1852         ("//") that precede the drive letter on Interix.
1853
1854 2001-10-26  Geert Bosch <bosch@gnat.com>
1855
1856         * gnat_rm.texi: Add GNAT Reference Manual.
1857
1858 2001-10-25  Robert Dewar <dewar@gnat.com>
1859
1860         * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
1861         is Error. Similar change for other renaming cases.
1862
1863 2001-10-25  Robert Dewar <dewar@gnat.com>
1864
1865         * s-atacco.ads: Add pragma Inline_Always for functions.
1866         Fix header format. Add copyright 2001
1867
1868 2001-10-25  Ed Schonberg <schonber@gnat.com>
1869
1870         * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
1871         return Error rather than Empty so that analysis can proceed.
1872
1873 2001-10-25  Ed Schonberg <schonber@gnat.com>
1874
1875         * sem_util.adb (Enter_Name): better handling of cascaded error
1876         messages when a unit appears in its own context.
1877
1878 2001-10-25  Ed Schonberg <schonber@gnat.com>
1879
1880         * sem_util.adb (Defining_Entity): in case of error, attach created
1881         entity to specification, so that semantic analysis can proceed.
1882
1883 2001-10-25  Robert Dewar <dewar@gnat.com>
1884
1885         * sem_util.adb
1886         (Defining_Entity): Deal with Error.
1887         (Process_End_Label): Deal with bad end label for.
1888
1889 2001-10-25  Ed Schonberg <schonber@gnat.com>
1890
1891         * sem_elab.adb (Check_A_Call): refine message when call is in an
1892         instance but callee is not declared in the generic unit.
1893
1894 2001-10-25  Ed Schonberg <schonber@gnat.com>
1895
1896         * sem_elab.adb (Check_A_Call): check for renaming before finding the
1897         enclosing unit, which may already be different from the calling unit.
1898
1899 2001-10-25  Geert Bosch <bosch@gnat.com>
1900
1901         * 4gintnam.ads: fix header format.
1902
1903 2001-10-25  Ed Schonberg <schonber@gnat.com>
1904
1905         * sem_res.adb (Resolve_Call): if the call is actually an indexing
1906         operation on the result of a parameterless call, perform elaboration
1907         check after the node has been properly rewritten.
1908
1909         * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
1910         inlined within the generic tree, the defining identifier is not a
1911         compilation_unit.
1912
1913 2001-10-25  Ed Schonberg <schonber@gnat.com>
1914
1915         * sem_res.adb (Resolve): special-case resolution of Null in an
1916          instance or an inlined body to avoid view conflicts.
1917
1918         * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
1919          compatibility by retrieving the access type of the generic copy.
1920
1921 2001-10-25  Robert Dewar <dewar@gnat.com>
1922
1923         * sem_ch3.adb:
1924         (Analyze_Number_Declaration): Handle error expression.
1925         (Signed_Integer_Type_Declaration): Handle error bound.
1926         (Analyze_Subtype_Indication): Handle error range.
1927
1928         * sem_util.adb (Get_Index_Bounds): Check for Error.
1929
1930 2001-10-25  Robert Dewar <dewar@gnat.com>
1931
1932         * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
1933         in no run time mode.
1934
1935 2001-10-25  Pascal Obry <obry@gnat.com>
1936
1937         * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
1938         mode case for ALLOC case.
1939
1940         * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
1941         all platforms. Improvement of last change.
1942
1943 2001-10-25  Robert Dewar <dewar@gnat.com>
1944
1945         * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
1946
1947 2001-10-25  Geert Bosch  <bosch@gnat.com>
1948
1949         * osint.adb (Is_Relative): Remove duplicate.
1950
1951 2001-10-25  Pascal Obry <obry@gnat.com>
1952
1953         * osint.adb (Read_Default_Search_Dirs): correctly detect relative
1954         pathnames in UNIX and DOS style with drive letter.
1955         (Is_Relative): new routine.
1956
1957         * osint.adb: Minor reformatting
1958
1959         * osint.adb (Is_Relative): implementation using
1960         GNAT.OS_Lib.Is_Absolute_Path. Better fix.
1961
1962 2001-10-25  Pascal Obry <obry@gnat.com>
1963
1964         * g-dirope.adb (Basename): correctly compute offset between the
1965         original Path and the translated one.
1966
1967         * g-dirope.adb: (Base_Name): add some comments.
1968
1969 2001-10-25  Robert Dewar <dewar@gnat.com>
1970
1971         * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
1972         in HIE mode, avoids compilation abandoned message
1973
1974         * exp_imgv.adb: Correct typo in previous change
1975
1976         * exp_imgv.adb: Correct typo in previous change (not my day!)
1977
1978 2001-10-25  Robert Dewar <dewar@gnat.com>
1979
1980         * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
1981
1982 2001-10-25  Pascal Obry <obry@gnat.com>
1983
1984         * g-awk.ads: Move all pragma inlines next to the routine
1985          declarations. This is more uniform with other GNAT spec.
1986
1987 2001-10-22  Geert Bosch  <bosch@gnat.com>
1988
1989         * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
1990
1991 2001-10-19  Geert Bosch  <bosch@gnat.com>
1992
1993         * Makefile.in (tools, gnattools): Remove gnatmem.
1994
1995 2001-10-17  Richard Henderson  <rth@redhat.com>
1996
1997         * Makefile.in (misc.o): Depend on langhooks.h.
1998         * misc.c: Include it.
1999         (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
2000         (LANG_HOOKS_DECODE_OPTION): New.
2001         (lang_hooks): Use LANG_HOOKS_INITIALIZER.
2002
2003 2001-10-16  Florian Weimer  <fw@deneb.enyo.de>
2004
2005         * trans.c (tree_transform): Adjust to recent change in
2006         expand_asm_operands to implement named asm operands.
2007
2008 2001-10-11  Ed Schonberg  <schonber@gnat.com>
2009
2010         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
2011         renaming of discriminant for mutable record type.
2012
2013 2001-10-11  Robert Dewar  <dewar@gnat.com>
2014
2015         * validsw.adb: Properly save -gnatVn status.
2016
2017 2001-10-11  Robert Dewar <dewar@gnat.com>
2018
2019         * usage.adb: Add lines for V switch.
2020
2021         * gnatcmd.adb (COMPILE): Revise translations for -gnatV
2022         (/VALIDITY_CHECKING).
2023
2024 2001-10-11  Ed Schonberg <schonber@gnat.com>
2025
2026         * sem_type.adb (Add_One_Interp): an operator for a type declared in
2027         an extension of System is known to be visible.
2028
2029 2001-10-11  Ed Schonberg <schonber@gnat.com>
2030
2031         * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
2032         properly. Fixes regression on ACATS C34005G.
2033
2034 2001-10-11  Robert Dewar <dewar@gnat.com>
2035
2036         * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
2037         loop in generic instance, since this is likely not very useful.
2038
2039 2001-10-11  Robert Dewar <dewar@gnat.com>
2040
2041         * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
2042         the error message for high integrity mode.
2043
2044         * rtsfind.adb (RTE): Give message if we try to find an entity that
2045         is not available in high integrity mode.
2046
2047         * rtsfind.ads:
2048         (OK_To_Use_In_HIE_Mode): New array.
2049         (RTE): May return Empty in high integrity mode.
2050
2051         * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
2052         OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
2053
2054         * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
2055         unit if not inlined always and in no runtime mode. Fixes problem
2056         caused by new Rtsfind changes.
2057
2058         * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
2059         body is deleted.
2060
2061         * rtsfind.adb (RTE): Make sure we do not try to load unit after
2062         giving message for entity not available in high integrity mode.
2063
2064 2001-10-11  Pascal Obry <obry@gnat.com>
2065
2066         * impunit.adb: Add GNAT.CRC32.
2067
2068 2001-10-11  Ed Schonberg <schonber@gnat.com>
2069
2070         * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
2071         properly the case where one universal operand in a non-static
2072         exponentiation of a real literal.
2073
2074 2001-10-11  Ed Schonberg <schonber@gnat.com>
2075
2076         * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
2077         clause, return the gobal finalization list, for lack of anthing else.
2078
2079 2001-10-11  Ed Schonberg <schonber@gnat.com>
2080
2081         * exp_ch7.adb (Make_Transient_Block): if statement is within
2082         exception handler, always use new transient scope to place Clean
2083         procedure.
2084
2085 2001-10-11  Pascal Obry <obry@gnat.com>
2086
2087         * Makefile.in:
2088         (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2089         (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2090         (GNATLS_RTL_OBJS): add g-crc32.o
2091         (GNATMAKE_RTL_OBJS): add g-crc32.o
2092
2093         * ali-util.adb:
2094         (CRC_Match): new function.
2095         (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
2096         instead of the previous simple checksum algorithm.
2097         (Time_Stamp_Mismatch): use CRC_Match for comparison.
2098         (Set_Source_Table): idem.
2099
2100         * ali-util.ads:
2101         (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
2102         instead of simple checksum.
2103         (CRC_Match): new function.
2104         (CRC_Error): new constant.
2105
2106         * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
2107         a CRC now and not a simple checksum. A CRC uses lower-case hex
2108         letters, fixes ambiguity in parsing.
2109
2110         * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
2111         is what this variable will store.
2112
2113         * bcheck.adb: Change reference to chechsum in comments by CRC.
2114         (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
2115         rename All_Checksum_Match to All_CRC_Match. Change due to API
2116         renaming since now GNAT does not use a simple checksum but a
2117         CRC using GNAT.CRC32.
2118
2119         * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
2120         now and not anymore a simple checksum.
2121
2122         * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
2123         places.
2124
2125         * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
2126
2127         * scans.adb:
2128         (Restore_Scan_State): rename Checksum to CRC.
2129         (Save_Scan_State): idem.
2130
2131         * scans.ads:
2132         With GNAT.CRC32.
2133         (Checksum): rename to CRC.
2134         (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
2135
2136         * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
2137         GNAT.CRC32).  Update copyright notice.
2138
2139         * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
2140         GNAT.CRC32).  Update copyright notice.
2141
2142         * scn.adb:
2143         (Accumulate_Checksum): removed.
2144         (Update): new procedure. Add a wide-character into the CRC.
2145
2146         * sinput-l.adb:
2147         (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
2148         (Load_File): fix initialization of S (change Source_Checksum to
2149         Source_CRC)
2150
2151         * sinput-p.adb (Load_Project_File): rename Source_Checksum to
2152         Source_CRC in S initialization.
2153
2154         * sinput.adb (Source_Checksum): renamed to Source_CRC.
2155
2156         * sinput.ads (Source_Checksum): renamed to Source_CRC.
2157         Update comments for the CRC.
2158
2159         * types.adb (Hex): Use lowercase for the letter part.
2160
2161         * types.ads (Get_Hex_String): Returns the hexadecimal representation
2162         for a word. This is currently used only for CRC. In previous version,
2163         the checksum was using a representation with all letter being
2164         upper-case. With the new implementation (using CRC) we do not remove
2165         the 32th bit of the CRC, so we can have an upper-case starting letter
2166         in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2167         It is ambigous since the CRC was optional and could be followed by
2168         options like EB, EE. So now this routines uses lower-case letter for
2169         the hexadecimal representation. Strange enough only lower case letters
2170         where checked in Scan_ALI (even if this was not a possible case).
2171
2172         * gnatvsn.ads (Library_Version): changed to 3.15a.
2173
2174         * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
2175         for the compiler.
2176
2177         * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
2178         for the compiler.
2179
2180         * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2181         Add 2001 to copyright notice
2182         (Accumulate_Checksum): Modify to use System.CRC32.
2183
2184         * ali-util.ads: Redo changes of previous revision to continue to use
2185         the word Checksum. Add 2001 to copyright notice.
2186
2187         * ali.adb: Undo some of previous changes, not needed.
2188         Keep the change for lower case letters in the checksum.
2189
2190         * ali.ads: Undo previous change not needed.
2191
2192         * bcheck.adb: Undo most of previous change, not needed.
2193         But do use Checksums_Match for checksum comparison.
2194
2195         * gnatls.adb: Undo most of previous change, not needed.
2196         But do use Checksums_Match for comparing checksums.
2197
2198         * lib-load.adb: Undo previous change, not needed.
2199
2200         * lib-writ.adb: Undo previous change, not needed.
2201
2202         * lib-writ.ads: Document that checksums use lower case,
2203         not upper case letters.
2204
2205         * scans.adb: Undo previous change, not needed
2206
2207         * scans.ads: Undo previous change, not needed.
2208
2209         * scn-nlit.adb: Undo previous changes, not needed.
2210
2211         * scn-slit.adb: Undo previous change, not needed.  Fix header format.
2212
2213         * scn.adb:
2214         (Accumulate_Checksum): Use System.CRC32.
2215         (Initialize_Checksum): New procedure.
2216         Remove other changes of previous revision.
2217
2218         * sinput-p.adb: Undo previous change, not needed.
2219
2220         * sinput.adb: Undo previous change, not needed.
2221
2222         * sinput-l.adb: Undo previous change, not needed.
2223
2224         * sinput.ads: Undo previous change, not needed.  Keep only comment
2225         on new checksum algorithm
2226
2227         * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2228         Also remove a-tags and a-stream from GNAT sources.
2229
2230         * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
2231
2232         * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2233
2234 2001-10-11  Geert Bosch  <bosch@gnat.com>
2235
2236         * einfo.h: Regenerate.
2237
2238         * nmake.ads: Regenerate.
2239
2240         * nmake.adb: Regenerate.
2241
2242         * sinfo.h: Regenerate.
2243
2244         * treeprs.adb: Regenerate.
2245
2246 2001-10-10  Geert Bosch  <bosch@gnat.com>
2247
2248         * gnat-style.texi: New file describing coding guidelines for Ada.
2249
2250 2001-10-10  Ed Schonberg <schonber@gnat.com>
2251
2252         * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
2253         is Flag174.
2254
2255 2001-10-10  Geert Bosch  <bosch@gnat.com>
2256
2257         * snames.ads: Add new names for project facility.
2258
2259         * snames.adb: Update to reflect snames.ads changes.
2260
2261         * snames.h: Update to reflect snames.ads changes.
2262
2263 2001-10-10  Vincent Celier <celier@gnat.com>
2264
2265         * make.adb:
2266         (Add_Switches): reflect the changes for the switches attributes
2267         Default_Switches indexed by the programming language,
2268         Switches indexed by the file name.
2269         (Collect_Arguments_And_Compile): Idem.
2270         Reflect the attribute name changes.
2271
2272         * prj-attr.adb:
2273         (Initialisation_Data): Change the names of some packages and
2274         attributes.
2275         (Initialize): process case insensitive associative arrays.
2276
2277         * prj-attr.ads:
2278         (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
2279
2280         * prj-dect.adb:
2281         (Parse_Attribute_Declaration): For case insensitive associative
2282          arrays, set the index string to lower case.
2283
2284         * prj-env.adb:
2285         Reflect the changes of the project attributes.
2286
2287         * prj-nmsc.adb:
2288         Replace Check_Naming_Scheme by Ada_Check and
2289         Language_Independent_Check.
2290
2291         * prj-nmsc.ads:
2292         Replaced Check_Naming_Scheme by 2 procedures:
2293         Ada_Check and Language_Independent_Check.
2294
2295         * prj-proc.adb:
2296         (Process_Declarative_Items): For case-insensitive associative
2297         arrays, set the index string to lower case.
2298         (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
2299         Prj.Nmsc.Check_Naming_Scheme.
2300
2301         * prj-tree.adb:
2302         (Case_Insensitive): New function
2303         (Set_Case_Insensitive): New procedure
2304
2305         * prj-tree.ads:
2306         (Case_Insensitive): New function
2307         (Set_Case_Insensitive): New procedure
2308         (Project_Node_Record): New flag Case_Insensitive.
2309
2310         * prj-util.adb:
2311         (Value_Of): new function to get the string value of a single
2312         string variable or attribute.
2313
2314         * prj-util.ads:
2315         (Value_Of): new function to get the string value of a single
2316         string variable or attribute.
2317
2318         * prj.adb:
2319         (Ada_Default_Spec_Suffix): New function
2320         (Ada_Default_Impl_Suffix): New function
2321         Change definitions of several constants to reflect
2322         new components of record types.
2323
2324         * prj.ads:
2325         (Naming_Data): Change several components to reflect new
2326         elements of naming schemes.
2327         (Project_Data): New flags Sources_Present and
2328         Language_Independent_Checked.
2329         (Ada_Default_Spec_Suffix): New function.
2330         (Ada_Default_Impl_Suffix): New function.
2331
2332         * snames.ads:
2333         Modification of predefined names for project manager: added
2334         Implementation, Specification_Exceptions, Implementation_Exceptions,
2335         Specification_Suffix, Implementation_Suffix, Separate_Suffix,
2336         Default_Switches, _Languages, Builder, Cross_Reference,
2337         Finder. Removed Body_Part, Specification_Append, Body_Append,
2338         Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
2339         Gnatlink.
2340
2341         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
2342         Add comments.
2343
2344         * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
2345         not that it is Nil_Variable_Value.
2346
2347         * prj.ads: Add ??? for uncommented declarations
2348
2349 2001-10-10  Ed Schonberg <schonber@gnat.com>
2350
2351         * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2352         constant, do not indicate possible modification, so that gigi can
2353         treat it as a bona fide constant.
2354
2355 2001-10-10  Robert Dewar <dewar@gnat.com>
2356
2357         * sem_prag.adb: Add processing for pragma External.
2358
2359         * snames.ads: Add entry for pragma External.
2360
2361         * par-prag.adb: Add pragma External.
2362
2363         * snames.adb: Updated to match snames.ads.
2364
2365 2001-10-10  Ed Schonberg <schonber@gnat.com>
2366
2367         * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2368         a dynamic task if the allocator appears in an indexed assignment
2369         or selected component assignment.
2370
2371         * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2372         For a dynamic task in an assignment statement, use target of
2373         assignment to generate meaningful name.
2374
2375 2001-10-10  Ed Schonberg <schonber@gnat.com>
2376
2377         * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
2378         a generic package.
2379
2380         * einfo.ads: Body_Entity is also defined for generic package.
2381         Documentation change only
2382
2383         * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2384         others_choice for a discriminated component initialization,
2385         convert discriminant references into the corresponding discriminals.
2386
2387         * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2388         only if original type is private and expression has to be wrapped
2389         in a conversion.
2390
2391         * checks.adb:
2392         (Apply_Constraint_Check): Do not perform length check
2393         if expression is an aggregate with only an others_choice.
2394         (Length_N_Cond): two references to the same in_parameter
2395         (typically the discriminal in an init_proc) denote the same value.
2396         Two useful optimization uncovered by bugfixes above.
2397
2398 2001-10-10  Robert Dewar <dewar@gnat.com>
2399
2400         * xeinfo.adb: Change int to char in translation of enumeration types.
2401         This fixes a problem in the C representation of component alignment.
2402         Add 2001 to copyright notice
2403
2404 2001-10-10  Richard Kenner <kenner@gnat.com>
2405
2406         * decl.c: (validate_size): Do check size of object of integral type
2407         if it is a packed array type.
2408
2409 2001-10-10  Richard Kenner <kenner@gnat.com>
2410
2411         * decl.c: (gnat_to_gnu_entity, case object): Also materialize
2412         VAR_DECL for constant if not Is_Public but -O0.
2413
2414 2001-10-10  Richard Kenner  <kenner@gnat.com>
2415
2416         * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2417
2418 2001-10-10  Geert Bosch  <bosch@gnat.com>
2419
2420         * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
2421         use '/' as switch character, allowing for absolute file names.
2422
2423 2001-10-09  Joseph S. Myers  <jsm28@cam.ac.uk>
2424
2425         * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2426         FSF address.
2427
2428 2001-10-08  Geert Bosch  <bosch@gnat.com>
2429
2430         * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2431         Automatically build utilities when files need to be regenerated.
2432
2433 2001-10-08  Geert Bosch  <bosch@gnat.com>
2434
2435         * xsnames.adb: New utility for updating snames.ads and snames.adb
2436
2437 2001-10-08  Zack Weinberg  <zack@codesourcery.com>
2438
2439         * Make-lang.in (ADAFLAGS): Add -W -Wall.
2440         (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2441         (gnat1): Also depend on attribs.o.
2442         (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2443         * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2444         (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2445         (ADAFLAGS): Add -W -Wall.
2446         (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2447         take out CFLAGS.
2448
2449         (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2450         s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2451         s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2452         Use $(ADAC), not $(CC), as compilation command.
2453
2454         (gnattools): Depend directly on tools to build, don't use
2455         recursive make.
2456         (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2457
2458         * einfo.h, sinfo.h: New files (autogenerated).
2459
2460 2001-10-08  Richard Henderson  <rth@redhat.com>
2461
2462         * comperr.adb (Abort_In_Progress): New.
2463         (Compiler_Abort): Use it to prevent recursion.
2464
2465 2001-10-08  Robert Dewar <dewar@gnat.com>
2466
2467         * atree.adb: Set Error_Posted in Error node, helps error recovery.
2468
2469         * par-endh.adb (Output_End_Expected): We should also not test
2470         Error_Posted on the Error node, since now it is always set.
2471
2472         * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
2473         to help error recovery. Part of general work on 9407-004.
2474
2475         * par.adb: Add ??? for misuse of error
2476
2477         * sem_res.adb:
2478         (Resolve): Defend against Error, fixes 9407-003.
2479         (Resolve_Discrete_Subtype_Indication): Defend against Error.
2480
2481         * sinfo.ads (N_Error): Now has Etype field (which will be set
2482         to Any_Type to help error recovery).
2483
2484 2001-10-08  Richard Kenner (kenner@gnat.com)
2485
2486         * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2487         Consistently set MEM attributes from expression; fixes
2488         bootstrap failure on x86.
2489
2490 2001-10-08  Geert Bosch  (bosch@gnat.com)
2491
2492         * 5oosinte.adb: Add 2001 to copyright notice.
2493
2494 2001-10-08  Geert Bosch  (bosch@gnat.com)
2495
2496         * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2497
2498         * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2499
2500 2001-10-07  Joseph S. Myers  <jsm28@cam.ac.uk>
2501
2502         * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2503
2504 2001-10-05  Geert Bosch  (bosch@gnat.com)
2505
2506         * adaint.h: Small formatting fix.
2507
2508 2001-10-04  Geert Bosch  <bosch@gnat.com>
2509
2510         * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2511         Arg is int, not FILE *, in dummy version of functions.
2512
2513         * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2514         Arg is int, not FILE *.
2515
2516 2001-10-04  Geert Bosch  <bosch@gnat.com>
2517
2518         * 3lsoccon.ads: Added file, missed with initial check ins.
2519
2520         * 4lintnam.ads: Fix header format.
2521         Change Linux to GNU/Linux.
2522
2523         * 5iosinte.adb: Change Linux to GNU/Linux.
2524
2525         * 5iosinte.ads: Change Linux to GNU/Linux.
2526
2527         * 5itaprop.adb: Change Linux to GNU/Linux.
2528
2529         * 5itaspri.ads: Change Linux to GNU/Linux.
2530         Update copyright notice.
2531
2532         * 5lintman.adb: Change Linux to GNU/Linux.
2533
2534         * 5lml-tgt.adb: Change Linux to GNU/Linux.
2535
2536         * 5losinte.ads: Change Linux to GNU/Linux.
2537
2538         * 5lsystem.ads: Change Linux to GNU/Linux.
2539
2540         * 5qosinte.adb: Change Linux to GNU/Linux.
2541
2542         * 5qosinte.ads: Change Linux to GNU/Linux.
2543
2544         * 5qparame.ads: Change Linux to GNU/Linux.
2545
2546         * 5qtaprop.adb: Change Linux to GNU/Linux.
2547
2548         * 5qtaspri.ads: Change Linux to GNU/Linux.
2549         Add 2001 to copyright notice.
2550
2551         * 5vintman.ads: Change Linux to GNU/Linux.
2552         Fix header format.  Add 2001 to copyright notice.
2553
2554         * g-soccon.ads: Change Linux to GNU/Linux.
2555
2556         * g-trasym.ads: Change Linux to GNU/Linux.
2557         Add 2001 to copyright notice.
2558
2559         * memtrack.adb: Change Linux to GNU/Linux.
2560
2561         * s-intman.ads: Change Linux to GNU/Linux.
2562         Add 2001 to copyright notice.  Fix header format.
2563
2564         * s-stache.adb: Change Linux to GNU/Linux.
2565
2566         * adaint.c: Change Linux to GNU/Linux.
2567
2568         * cio.c: Change Linux to GNU/Linux.
2569
2570         * cstreams.c: Change Linux to GNU/Linux.
2571
2572         * init.c: Change Linux to GNU/Linux.
2573
2574         * gmem.c: Change Linux to GNU/Linux.
2575
2576         * tracebak.c: Change Linux to GNU/Linux.
2577
2578
2579 2001-10-02  Geert Bosch  <bosch@gnat.com>
2580
2581         * misc.c (insert_default_attributes): Add dummy version.