OSDN Git Service

2003-02-18 Ben Elliston <bje@redhat.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / ChangeLog
1 2003-02-18  Ben Elliston  <bje@redhat.com>
2
3         Part of fix for PR ada/9406
4         * gnat_ug.texi (Binder output file): Grammar fix.
5
6 2003-02-18  Ben Elliston  <bje@redhat.com>
7
8         PR other/7350
9         * 5qtaprop.adb (Sleep): Fix typo in comment.
10
11 2003-02-04  Joseph S. Myers  <jsm@polyomino.org.uk>
12
13         * gnat_rm.texi, gnat_ug.texi: Update to GFDL 1.2.
14         * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
15         gnat_ug_wnt.texi: Regenerate.
16
17 2003-02-03  Christian Cornelssen <ccorn@cs.tu-berlin.de>
18
19         * Make-lang.in (ada.install-info): Let $(DESTDIR)$(infodir)
20         be created if necessary.
21         (ada.install-common): Let $(DESTDIR)$(bindir) be created
22         if necessary.  Remove erroneous and redundant gnatchop
23         installation commands.  Test for gnatdll before attempting
24         to install it.
25         (ada.uninstall): Also uninstall gnatfind, gnatxref, gnatlbr,
26         and gnatdll from all plausible locations.
27
28 2003-02-01  Richard Sandiford  <rsandifo@redhat.com>
29
30         * utils2.c (build_unary_op): Don't check flag_volatile.
31         * gnat_ug.texi: Remove -fvolatile from example.
32         * gnat_ug_vxw.texi: Likewise.
33
34 2003-01-29  Laurent Guerby <guerby@acm.org>
35
36         PR ada/8344
37         * final.c: rename to adafinal.c to avoid file name conflicts with gcc file.
38         * Makefile.in: match previous change. 
39         * Make-lang.in: match previous change. 
40
41 2003-01-29      Joel Sherrill <joel@OARcorp.com>
42
43         * 5rosinte.ads: Add SIGXCPU.
44         * 5rtpopsp.adb: New file.
45         * Make-lang.in: Do not build gnatpsta and gnatpsys when cross.
46         * Makefile.in: Recognize more RTEMS targets and add the RTEMS
47         specific file 5rtpopsp.adb.
48         * adaint.h: Add include of <stdio.h> when target is RTEMS.  This
49         is likely needed for all newlib targets.
50         * init.c: Add RTEMS specific version of __gnat_initialize().
51
52 2003-01-28  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
53
54         * adaint.c, adaint.h, gmem.c, init.c: Update copyright year.
55
56 2003-01-27  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
57
58         * init.c (__gnat_error_handler): Make msg const.
59
60         * gmem.c (convert_addresses): Move declaration ...
61         * adaint.h: ... here.
62         * adaint.c (convert_addresses): Adapt addrs type to match
63         prototype.
64
65         * adaint.c (__gnat_try_lock): Cast pid_t to long, adapt format.
66
67 2003-01-24  Andreas Schwab  <schwab@suse.de>
68
69         * ada-tree.h (SET_TYPE_DIGITS_VALUE): Add intermediate cast to
70         size_t to avoid warning.
71
72 2003-01-21  Zack Weinberg  <zack@codesourcery.com>
73
74         * Make-lang.in: Disable -Werror for tracebak.c and b_gnatb.c.
75
76 2003-01-09  Geoffrey Keating  <geoffk@apple.com>
77
78         * gnat_rm.texi: Remove RCS version number.
79
80         * ada-tree.h (union lang_tree_node): Add chain_next option.
81
82 2003-01-09  Christian Cornelssen  <ccorn@cs.tu-berlin.de>
83
84         * Make-lang.in (ada.install-info, ada.install-common,
85         ada.uninstall): Prepend $(DESTDIR) to the destination
86         directory in all (un)installation commands.
87         * Makefile.in (install-gnatlib, install-rts): Ditto.
88
89 2002-12-28  Joseph S. Myers  <jsm@polyomino.org.uk>
90
91         * gnat_rm.texi, gnat_ug.texi: Use @copying.
92         * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
93         gnat_ug_wnt.texi: Regenerate.
94
95 2002-12-23  Joseph S. Myers  <jsm@polyomino.org.uk>
96
97         * gnat_rm.texi: Include gcc-common.texi.  Use GCC version number
98         only.
99         * Make-lang.in ($(srcdir)/ada/gnat_ug_unx.info,
100         $(srcdir)/ada/gnat_ug_vms.info, $(srcdir)/ada/gnat_ug_vxw.info,
101         $(srcdir)/ada/gnat_ug_wnt.info, $(srcdir)/ada/gnat_rm.info,
102         ada/gnat_ug_unx.dvi, ada/gnat_ug_vms.dvi, ada/gnat_ug_vxw.dvi,
103         ada/gnat_ug_wnt.dvi, ada/gnat_rm.dvi): Depend on
104         $(srcdir)/doc/include/gcc-common.texi.
105
106 2002-12-15   Geert Bosch <bosch@gnat.com>
107
108         * sem_ch6.adb (Analyze_Subprogram_Body): Fix typo and formatting
109
110 2002-12-14   Geert Bosch <bosch@gnat.com>
111
112         * sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional
113         case of a body created for a Renaming_As_Body, on which
114         conformance checks are not performed. Fixes PR ada/5690.
115
116 2002-11-30  Zack Weinberg  <zack@codesourcery.com>
117
118         * cuintp.c, decl.c, deftarg.c, misc.c, targtyps.c, trans.c,
119         utils.c, utils2.c: Include coretypes.h and tm.h, and system.h when
120         not already included.
121         * Make-lang.in: Update dependencies.
122
123 2002-11-18  Nathanael Nerode  <neroden@gcc.gnu.org>
124         * adaint.c (__gnat_tmp_name): Better, but good enough for now,
125         solution to buffer overflow bug on GNU/Linux.
126
127 2002-11-14  Nathanael Nerode  <neroden@gcc.gnu.org>
128         Closes PR ada/5856 and PR ada/6919 !
129         * bindgen.adb: Remove all references to Public_Version.
130         * comperr.adb: Remove all references to Public_Version and
131         GNATPRO_Version; correct bug reporting instructions.
132         * comperr.ads: Change to match bug box.
133         * gnatvsn.ads: Remove all references to Public version and
134         GNATPRO version.
135
136 2002-11-13  Nathanael Nerode  <neroden@gcc.gnu.org>
137         PR ada/6919
138         * adaint.c (__gnat_tmp_name): Remove buffer overflow bug on
139         GNU/Linux.
140
141         PR ada/6558
142         * config-lang.in: Remove diff_excludes.
143
144 2002-11-05  Graham Stott  <graham.stott@btinternet.com>
145         PR ada/8358
146         * trans.c (gnu_pending_elaboration_lists): New GC root.
147         (build_unit_elab): Use..
148
149 2002-10-30   Geert Bosch <bosch@gnat.com>
150         PR ada/6558
151         * misc.c : Include optabs.h
152
153         * Make-lang.in (misc.o): Add dependency on optabs.h
154
155 2002-10-29   Geert Bosch <bosch@gnat.com>
156         PR ada/6558
157         * Make-lang.in (gnatbind): Depend on CONFIG_H
158
159 2002-10-29  Geert bosch  <bosch@gnat.com>
160         PR ada/6558
161         * misc.c: Unrevert misc.c (1.13)
162
163 2002-10-28  Nathanael Nerode  <neroden@gcc.gnu.org>
164
165         * a-chlat9.ads a-cwila9.ads a-dynpri.adb a-retide.adb: Update
166         maintainership comments.
167
168 2002-09-25  Nathanael Nerode  <neroden@gcc.gnu.org>
169         PR ada/5904
170         * 5ataprop.adb 5atpopsp.adb 5bosinte.adb 5ftaprop.adb
171         5gtaprop.adb 5htaprop.adb 5rosinte.ads 5staprop.adb
172         5stpopse.adb 5vtaspri.ads 5zintman.adb 5ztaprop.adb
173         7staprop.adb: Correct statements in comments about
174         maintainership of GNAT.
175
176         PR ada/5904
177         * 1ssecsta.adb 1ssecsta.ads adadecode.c adadecode.h aux-io.c
178         gnatname.adb gnatname.ads mkdir.c osint-b.adb osint-b.ads
179         osint-c.adb osint-c.ads osint-l.adb osint-l.ads osint-m.adb
180         osint-m.ads prj-makr.adb prj-makr.ads prj-pp.adb prj-pp.ads
181         s-atacco.ads s-traceb.adb s-traceb.ads s-traces.adb
182         s-traces.ads s-tratas.adb s-tratas.ads sinput-d.adb
183         sinput-d.ads switch-b.adb switch-b.ads switch-c.adb
184         switch-c.ads switch-m.adb switch-m.ads: Correct statements in
185         comments about maintainership of GNAT.
186
187         PR ada/6919 (forward port of patch for PR ada/5904)
188         * 1aexcept.adb 1aexcept.ads 41intnam.ads 42intnam.ads
189         4aintnam.ads 4cintnam.ads 4dintnam.ads 4hexcpol.adb
190         4lintnam.ads 4mintnam.ads 4nintnam.ads 4onumaux.ads
191         4pintnam.ads 4rintnam.ads 4sintnam.ads 4uintnam.ads
192         4vcalend.adb 4vintnam.ads 4wcalend.adb 4wexcpol.adb
193         4wintnam.ads 4zintnam.ads 4znumaux.ads 4zsytaco.adb
194         4zsytaco.ads 51osinte.adb 51osinte.ads 52osinte.adb
195         52osinte.ads 52system.ads 53osinte.ads 5aosinte.ads
196         5asystem.ads 5atasinf.ads 5ataspri.ads 5avxwork.ads
197         5bosinte.ads 5bsystem.ads 5cosinte.ads 5dosinte.ads
198         5esystem.ads 5fosinte.ads 5fsystem.ads 5ftasinf.ads
199         5ginterr.adb 5gmastop.adb 5gosinte.ads 5gproinf.adb
200         5gproinf.ads 5gsystem.ads 5gtasinf.adb 5gtasinf.ads
201         5gtpgetc.adb 5hparame.ads 5hsystem.ads 5htaspri.ads
202         5iosinte.ads 5itaspri.ads 5ksystem.ads 5kvxwork.ads
203         5losinte.ads 5lsystem.ads 5mosinte.ads 5mvxwork.ads
204         5ninmaop.adb 5nintman.adb 5nosinte.ads 5ntaspri.ads
205         5oosprim.adb 5oparame.adb 5osystem.ads 5posinte.ads
206         5posprim.adb 5pvxwork.ads 5rosinte.ads 5rparame.adb
207         5sintman.adb 5sosinte.ads 5sparame.adb 5ssystem.ads
208         5stasinf.adb 5stasinf.ads 5staspri.ads 5svxwork.ads
209         5tosinte.ads 5uosinte.ads 5vasthan.adb 5vinterr.adb
210         5vintman.ads 5vosinte.ads 5vosprim.adb 5vosprim.ads
211         5vparame.ads 5vsystem.ads 5vtaspri.ads 5vtpopde.adb
212         5vtpopde.ads 5vvaflop.adb 5wintman.adb 5wmemory.adb
213         5wosinte.ads 5wosprim.adb 5wsystem.ads 5wtaprop.adb
214         5wtaspri.ads 5ysystem.ads 5zinterr.adb 5zosinte.adb
215         5zosinte.ads 5zosprim.adb 5zsystem.ads 6vcpp.adb 6vcstrea.adb
216         7sosprim.adb 86numaux.adb 86numaux.ads 9drpc.adb a-astaco.adb
217         a-caldel.ads a-calend.adb a-calend.ads a-chahan.adb
218         a-chahan.ads a-colien.adb a-colien.ads a-colire.adb
219         a-colire.ads a-comlin.adb a-comlin.ads a-cwila1.ads
220         a-decima.adb a-decima.ads a-diocst.adb a-diocst.ads
221         a-direio.adb a-direio.ads a-einuoc.adb a-einuoc.ads
222         a-except.adb a-except.ads a-excpol.adb a-exctra.adb
223         a-exctra.ads a-filico.adb a-filico.ads a-finali.adb
224         a-finali.ads a-interr.ads a-intsig.adb a-intsig.ads
225         a-ngcefu.adb a-ngcoty.adb a-ngcoty.ads a-ngelfu.adb
226         a-nudira.adb a-nudira.ads a-nuflra.adb a-nuflra.ads
227         a-numaux.ads a-reatim.ads a-retide.ads a-sequio.adb
228         a-sequio.ads a-siocst.adb a-siocst.ads a-ssicst.adb
229         a-ssicst.ads a-stmaco.ads a-storio.adb a-strbou.adb
230         a-strbou.ads a-stream.ads a-strfix.adb a-strfix.ads
231         a-strmap.adb a-strmap.ads a-strsea.adb a-strsea.ads
232         a-strunb.adb a-strunb.ads a-ststio.adb a-ststio.ads
233         a-stunau.adb a-stunau.ads a-stwibo.adb a-stwibo.ads
234         a-stwifi.adb a-stwima.adb a-stwima.ads a-stwise.adb
235         a-stwise.ads a-stwiun.adb a-stwiun.ads a-suteio.adb
236         a-suteio.ads a-swmwco.ads a-swuwti.adb a-swuwti.ads
237         a-sytaco.adb a-sytaco.ads a-tags.adb a-tags.ads a-tasatt.ads
238         a-taside.adb a-taside.ads a-teioed.adb a-teioed.ads
239         a-textio.adb a-textio.ads a-ticoau.adb a-ticoau.ads
240         a-ticoio.adb a-ticoio.ads a-tideau.adb a-tideau.ads
241         a-tideio.adb a-tideio.ads a-tienau.adb a-tienau.ads
242         a-tienio.adb a-tienio.ads a-tifiio.adb a-tifiio.ads
243         a-tiflau.adb a-tiflau.ads a-tiflio.adb a-tiflio.ads
244         a-tigeau.adb a-tigeau.ads a-tiinau.adb a-tiinau.ads
245         a-tiinio.adb a-tiinio.ads a-timoau.adb a-timoau.ads
246         a-timoio.adb a-timoio.ads a-tiocst.adb a-tiocst.ads
247         a-titest.adb a-witeio.adb a-witeio.ads a-wtcoau.adb
248         a-wtcoau.ads a-wtcoio.adb a-wtcstr.adb a-wtcstr.ads
249         a-wtdeau.adb a-wtdeau.ads a-wtdeio.adb a-wtdeio.ads
250         a-wtedit.adb a-wtedit.ads a-wtenau.adb a-wtenau.ads
251         a-wtenio.adb a-wtenio.ads a-wtfiio.adb a-wtfiio.ads
252         a-wtflau.adb a-wtflau.ads a-wtflio.adb a-wtflio.ads
253         a-wtgeau.adb a-wtgeau.ads a-wtinau.adb a-wtinau.ads
254         a-wtinio.adb a-wtmoau.adb a-wtmoau.ads a-wtmoio.adb
255         a-wtmoio.ads a-wttest.adb ada-tree.def ada-tree.h ada.h
256         adaint.c adaint.h ali-util.adb ali-util.ads ali.adb ali.ads
257         alloc.ads argv.c atree.adb atree.ads atree.h back_end.adb
258         back_end.ads bcheck.adb bcheck.ads binde.adb binde.ads
259         binderr.adb binderr.ads bindgen.adb bindgen.ads bindusg.adb
260         bindusg.ads butil.adb butil.ads cal.c casing.adb casing.ads
261         ceinfo.adb checks.adb checks.ads cio.c comperr.adb comperr.ads
262         csets.adb csets.ads csinfo.adb cstand.adb cstand.ads
263         cstreams.c cuintp.c debug.adb debug.ads debug_a.adb
264         debug_a.ads dec-io.adb dec-io.ads dec.ads decl.c deftarg.c
265         einfo.adb einfo.ads einfo.h elists.adb elists.ads elists.h
266         errno.c errout.adb errout.ads eval_fat.adb eval_fat.ads exit.c
267         exp_aggr.adb exp_aggr.ads exp_attr.adb exp_attr.ads
268         exp_ch10.ads exp_ch11.adb exp_ch11.ads exp_ch12.adb
269         exp_ch12.ads exp_ch13.adb exp_ch13.ads exp_ch2.adb exp_ch2.ads
270         exp_ch3.adb exp_ch3.ads exp_ch4.adb exp_ch4.ads exp_ch5.adb
271         exp_ch5.ads exp_ch6.adb exp_ch6.ads exp_ch7.adb exp_ch7.ads
272         exp_ch8.adb exp_ch8.ads exp_ch9.adb exp_ch9.ads exp_code.adb
273         exp_code.ads exp_dbug.adb exp_dbug.ads exp_disp.adb
274         exp_disp.ads exp_dist.adb exp_dist.ads exp_fixd.adb
275         exp_fixd.ads exp_imgv.adb exp_imgv.ads exp_intr.adb
276         exp_intr.ads exp_pakd.adb exp_pakd.ads exp_prag.adb
277         exp_prag.ads exp_smem.adb exp_smem.ads exp_strm.adb
278         exp_strm.ads exp_tss.adb exp_tss.ads exp_util.adb exp_util.ads
279         exp_vfpt.adb exp_vfpt.ads expander.adb expander.ads fe.h
280         final.c fmap.adb fmap.ads fname-sf.adb fname-sf.ads
281         fname-uf.adb fname-uf.ads fname.adb fname.ads freeze.adb
282         freeze.ads frontend.adb frontend.ads g-calend.ads g-comlin.adb
283         g-debpoo.adb g-debpoo.ads g-locfil.adb g-os_lib.ads
284         g-regist.adb g-regist.ads get_targ.adb get_targ.ads gigi.h
285         gmem.c gnat1drv.adb gnat1drv.ads gnat_ug.texi gnatbind.adb
286         gnatbind.ads gnatbl.c gnatcmd.adb gnatcmd.ads gnatdll.adb
287         gnatfind.adb gnatkr.adb gnatkr.ads gnatlbr.adb gnatlink.adb
288         gnatlink.ads gnatls.adb gnatls.ads gnatmake.adb gnatmake.ads
289         gnatmem.adb gnatprep.adb gnatprep.ads gnatpsta.adb gnatvsn.ads
290         gnatxref.adb hlo.adb hlo.ads hostparm.ads i-c.adb i-cexten.ads
291         i-cobol.adb i-cobol.ads i-cpoint.adb i-cpoint.ads i-cpp.adb
292         i-cpp.ads i-cstrea.adb i-cstrea.ads i-cstrin.adb i-cstrin.ads
293         i-fortra.adb i-os2err.ads i-os2lib.adb i-os2lib.ads
294         i-os2syn.ads i-os2thr.ads i-pacdec.adb i-pacdec.ads
295         impunit.adb impunit.ads init.c inline.adb inline.ads io-aux.c
296         itypes.adb itypes.ads krunch.adb krunch.ads lang-options.h
297         lang-specs.h layout.adb layout.ads lib-list.adb lib-load.adb
298         lib-load.ads lib-sort.adb lib-util.adb lib-util.ads
299         lib-writ.adb lib-writ.ads lib-xref.adb lib-xref.ads lib.adb
300         lib.ads link.c live.adb live.ads make.adb make.ads makeusg.adb
301         makeusg.ads math_lib.adb mdll.adb mdll.ads memtrack.adb misc.c
302         namet.adb namet.ads namet.h nlists.adb nlists.ads nlists.h
303         nmake.adb nmake.ads nmake.adt opt.adb opt.ads osint.adb
304         osint.ads output.adb output.ads par-ch10.adb par-ch11.adb
305         par-ch12.adb par-ch13.adb par-ch2.adb par-ch3.adb par-ch4.adb
306         par-ch5.adb par-ch6.adb par-ch7.adb par-ch8.adb par-ch9.adb
307         par-endh.adb par-labl.adb par-load.adb par-prag.adb
308         par-sync.adb par-tchk.adb par-util.adb par.adb par.ads
309         prj-attr.adb prj-attr.ads prj-com.adb prj-com.ads prj-dect.adb
310         prj-dect.ads prj-env.adb prj-env.ads prj-ext.adb prj-ext.ads
311         prj-nmsc.adb prj-nmsc.ads prj-pars.adb prj-pars.ads
312         prj-part.adb prj-part.ads prj-proc.adb prj-proc.ads
313         prj-strt.adb prj-strt.ads prj-tree.adb prj-tree.ads
314         prj-util.adb prj-util.ads prj.adb prj.ads raise.c raise.h
315         repinfo.adb repinfo.ads repinfo.h restrict.adb restrict.ads
316         rident.ads rtsfind.adb rtsfind.ads s-addima.adb s-addima.ads
317         s-arit64.adb s-arit64.ads s-assert.adb s-assert.ads
318         s-asthan.adb s-asthan.ads s-atacco.adb s-auxdec.adb
319         s-auxdec.ads s-bitops.adb s-bitops.ads s-chepoo.ads
320         s-direio.adb s-direio.ads s-except.ads s-exctab.adb
321         s-exctab.ads s-exnflt.ads s-exngen.adb s-exngen.ads
322         s-exnint.ads s-exnlfl.ads s-exnlin.ads s-exnllf.ads
323         s-exnlli.ads s-exnsfl.ads s-exnsin.ads s-exnssi.ads
324         s-expflt.ads s-expgen.adb s-expgen.ads s-expint.ads
325         s-explfl.ads s-explin.ads s-expllf.ads s-explli.ads
326         s-expllu.adb s-expllu.ads s-expmod.adb s-expmod.ads
327         s-expsfl.ads s-expsin.ads s-expssi.ads s-expuns.adb
328         s-expuns.ads s-fatflt.ads s-fatgen.adb s-fatgen.ads
329         s-fatlfl.ads s-fatllf.ads s-fatsfl.ads s-ficobl.ads
330         s-fileio.adb s-fileio.ads s-finimp.adb s-finimp.ads
331         s-finroo.adb s-finroo.ads s-fore.adb s-fore.ads s-imgbiu.adb
332         s-imgbiu.ads s-imgboo.adb s-imgboo.ads s-imgcha.adb
333         s-imgcha.ads s-imgdec.adb s-imgdec.ads s-imgenu.adb
334         s-imgenu.ads s-imgint.adb s-imgint.ads s-imgllb.adb
335         s-imgllb.ads s-imglld.adb s-imglld.ads s-imglli.adb
336         s-imglli.ads s-imgllu.adb s-imgllu.ads s-imgllw.adb
337         s-imgllw.ads s-imgrea.adb s-imgrea.ads s-imguns.adb
338         s-imguns.ads s-imgwch.adb s-imgwch.ads s-imgwiu.adb
339         s-imgwiu.ads s-inmaop.ads s-interr.adb s-interr.ads
340         s-intman.ads s-io.adb s-io.ads s-maccod.ads s-mantis.adb
341         s-mantis.ads s-memory.adb s-memory.ads s-osprim.ads
342         s-pack03.adb s-pack03.ads s-pack05.adb s-pack05.ads
343         s-pack06.adb s-pack06.ads s-pack07.adb s-pack07.ads
344         s-pack09.adb s-pack09.ads s-pack10.adb s-pack10.ads
345         s-pack11.adb s-pack11.ads s-pack12.adb s-pack12.ads
346         s-pack13.adb s-pack13.ads s-pack14.adb s-pack14.ads
347         s-pack15.adb s-pack15.ads s-pack17.adb s-pack17.ads
348         s-pack18.adb s-pack18.ads s-pack19.adb s-pack19.ads
349         s-pack20.adb s-pack20.ads s-pack21.adb s-pack21.ads
350         s-pack22.adb s-pack22.ads s-pack23.adb s-pack23.ads
351         s-pack24.adb s-pack24.ads s-pack25.adb s-pack25.ads
352         s-pack26.adb s-pack26.ads s-pack27.adb s-pack27.ads
353         s-pack28.adb s-pack28.ads s-pack29.adb s-pack29.ads
354         s-pack30.adb s-pack30.ads s-pack31.adb s-pack31.ads
355         s-pack33.adb s-pack33.ads s-pack34.adb s-pack34.ads
356         s-pack35.adb s-pack35.ads s-pack36.adb s-pack36.ads
357         s-pack37.adb s-pack37.ads s-pack38.adb s-pack38.ads
358         s-pack39.adb s-pack39.ads s-pack40.adb s-pack40.ads
359         s-pack41.adb s-pack41.ads s-pack42.adb s-pack42.ads
360         s-pack43.adb s-pack43.ads s-pack44.adb s-pack44.ads
361         s-pack45.adb s-pack45.ads s-pack46.adb s-pack46.ads
362         s-pack47.adb s-pack47.ads s-pack48.adb s-pack48.ads
363         s-pack49.adb s-pack49.ads s-pack50.adb s-pack50.ads
364         s-pack51.adb s-pack51.ads s-pack52.adb s-pack52.ads
365         s-pack53.adb s-pack53.ads s-pack54.adb s-pack54.ads
366         s-pack55.adb s-pack55.ads s-pack56.adb s-pack56.ads
367         s-pack57.adb s-pack57.ads s-pack58.adb s-pack58.ads
368         s-pack59.adb s-pack59.ads s-pack60.adb s-pack60.ads
369         s-pack61.adb s-pack61.ads s-pack62.adb s-pack62.ads
370         s-pack63.adb s-pack63.ads s-parame.adb s-parame.ads
371         s-parint.adb s-parint.ads s-pooglo.adb s-pooglo.ads
372         s-pooloc.adb s-pooloc.ads s-poosiz.adb s-poosiz.ads
373         s-powtab.ads s-proinf.adb s-proinf.ads s-rpc.adb s-rpc.ads
374         s-scaval.ads s-secsta.adb s-secsta.ads s-sequio.adb
375         s-sequio.ads s-shasto.adb s-shasto.ads s-soflin.adb
376         s-soflin.ads s-sopco3.adb s-sopco3.ads s-sopco4.adb
377         s-sopco4.ads s-sopco5.adb s-sopco5.ads s-stache.adb
378         s-stache.ads s-stalib.adb s-stalib.ads s-stoele.adb
379         s-stopoo.ads s-stratt.adb s-stratt.ads s-strops.adb
380         s-strops.ads s-taprob.ads s-taprop.ads s-tarest.ads
381         s-tasdeb.adb s-tasdeb.ads s-tasinf.adb s-tasinf.ads
382         s-tasini.ads s-taskin.ads s-tasren.ads s-tasres.ads
383         s-tassta.ads s-tpinop.adb s-tpinop.ads s-tpoben.ads
384         s-tpobop.ads s-unstyp.ads s-vaflop.adb s-vaflop.ads
385         s-valboo.adb s-valboo.ads s-valcha.adb s-valcha.ads
386         s-valdec.adb s-valdec.ads s-valenu.adb s-valenu.ads
387         s-valint.adb s-valint.ads s-vallld.adb s-vallld.ads
388         s-vallli.adb s-vallli.ads s-valllu.adb s-valllu.ads
389         s-valrea.adb s-valrea.ads s-valuns.adb s-valuns.ads
390         s-valuti.adb s-valuti.ads s-valwch.adb s-valwch.ads
391         s-vercon.adb s-vercon.ads s-vmexta.adb s-vmexta.ads
392         s-wchcnv.adb s-wchcnv.ads s-wchcon.ads s-wchjis.adb
393         s-wchjis.ads s-wchstw.adb s-wchstw.ads s-wchwts.adb
394         s-wchwts.ads s-widboo.adb s-widboo.ads s-widcha.adb
395         s-widcha.ads s-widenu.adb s-widenu.ads s-widlli.adb
396         s-widlli.ads s-widllu.adb s-widllu.ads s-widwch.adb
397         s-widwch.ads s-wwdcha.adb s-wwdcha.ads s-wwdenu.adb
398         s-wwdenu.ads s-wwdwch.adb s-wwdwch.ads scans.adb scans.ads
399         scn-nlit.adb scn-slit.adb scn.adb scn.ads sdefault.ads sem.adb
400         sem.ads sem_aggr.adb sem_aggr.ads sem_attr.adb sem_attr.ads
401         sem_case.adb sem_case.ads sem_cat.adb sem_cat.ads sem_ch10.adb
402         sem_ch10.ads sem_ch11.adb sem_ch11.ads sem_ch12.adb
403         sem_ch12.ads sem_ch13.adb sem_ch13.ads sem_ch2.adb sem_ch2.ads
404         sem_ch3.adb sem_ch3.ads sem_ch4.adb sem_ch4.ads sem_ch5.adb
405         sem_ch5.ads sem_ch6.adb sem_ch6.ads sem_ch7.adb sem_ch7.ads
406         sem_ch8.adb sem_ch8.ads sem_ch9.adb sem_ch9.ads sem_disp.adb
407         sem_disp.ads sem_dist.adb sem_dist.ads sem_elab.adb
408         sem_elab.ads sem_elim.adb sem_elim.ads sem_eval.adb
409         sem_eval.ads sem_intr.adb sem_intr.ads sem_maps.adb
410         sem_maps.ads sem_mech.adb sem_mech.ads sem_prag.adb
411         sem_prag.ads sem_res.adb sem_res.ads sem_smem.adb sem_smem.ads
412         sem_type.adb sem_type.ads sem_util.adb sem_util.ads
413         sem_vfpt.adb sem_vfpt.ads sem_warn.adb sem_warn.ads
414         sfn_scan.adb sfn_scan.ads sinfo-cn.adb sinfo-cn.ads sinfo.adb
415         sinfo.ads sinfo.h sinput-l.adb sinput-l.ads sinput-p.adb
416         sinput-p.ads sinput.adb sinput.ads snames.adb snames.ads
417         snames.h sprint.adb sprint.ads stand.adb stand.ads stringt.adb
418         stringt.ads stringt.h style.adb style.ads stylesw.adb
419         stylesw.ads switch.adb switch.ads sysdep.c system.ads
420         table.adb table.ads targparm.adb targparm.ads targtyps.c
421         tbuild.adb tbuild.ads trans.c tree_gen.adb tree_gen.ads
422         tree_in.adb tree_in.ads tree_io.adb tree_io.ads treepr.adb
423         treepr.ads treeprs.ads treeprs.adt ttypef.ads ttypes.ads
424         types.adb types.ads types.h uintp.adb uintp.ads uintp.h
425         uname.adb uname.ads urealp.adb urealp.ads urealp.h usage.adb
426         usage.ads utils.c utils2.c validsw.adb validsw.ads
427         widechar.adb widechar.ads xeinfo.adb xnmake.adb xr_tabls.adb
428         xr_tabls.ads xref_lib.adb xref_lib.ads xsinfo.adb xsnames.adb
429         xtreeprs.adb: Correct statements in comments about maintainership
430         of GNAT.
431
432 2002-09-23  Zack Weinberg  <zack@codesourcery.com>
433
434         * Make-lang.in (EXTRA_GNATBIND_OBJS): Add version.o.
435         * Makefile.in (TOOLS_LIBS): Add ../../version.o.
436         * gnatvsn.ads: Gnat_Version_String is now a function.
437         * gnatvsn.adb: New file.  When asked for Gnat_Version_String,
438         copy the C version_string into a String and return it.
439         * gnatcmd.adb, gnatkr.adb, gnatlbr.adb, gnatlink.adb,
440         gnatls.adb,gnatmake.adb, gnatprep.adb, gnatpsta.adb:
441         Remove pragma Ident (Gnat_Version_String).  If this was the
442         sole use of package Gnatvsn, remove the with statement too.
443         * gnat1drv.adb: Tweak -gnatv output.
444
445 2002-09-17  Richard Henderson  <rth@redhat.com>
446
447         * trans.c (tree_transform): Use real_ldexp not REAL_VALUE_LDEXP.
448         * config/dsp16xx/dsp16xx.md (fixuns_trunchfhi2): Use real_2expN.
449         * config/mips/mips.md (fixuns_truncdfsi2): Likewise.
450         (fixuns_truncdfdi2, fixuns_truncsfsi2, fixuns_truncsfdi2): Likewise.
451         * config/m68k/m68k.c (floating_exact_log2): Use real_exponent
452         and real_2expN instead of a loop.
453         * doc/tm.texi (REAL_VALUE_LDEXP): Remove.
454         (REAL_VALUE_RNDZINT, REAL_VALUE_UNSIGNED_RNDZINT): Remove.
455
456 2002-08-25  Andre Leis <a.leis@gmx.net>
457             David Billinghurst (David.Billinghurst@riotinto.com>
458
459         * sysdep.c (__gnat_ttyname): include <termios.h> on cygwin
460
461 2002-08-13  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
462
463         * Make-lang.in (gnatbind$(exeext)): Link with $(SYSLIBS).
464         Remove $(CONFIG_H) dependency.
465
466 2002-08-08  Nathan Sidwell  <nathan@codesourcery.com>
467
468         * ada/Make-lang.in (ada.mostlyclean): Remove coverage files.
469
470 2002-07-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
471
472         * adadecode.c (ada_demangle): Use xstrdup in lieu of
473         xmalloc/strcpy.
474         * misc.c (gnat_decode_option): Likewise.
475
476 2002-07-15  Florian Weimer  <fw@deneb.enyo.de>
477
478         * make.adb (Add_Switch): Make Generic_Position a procedure.  The
479         function approach did not work well because of a side effect (the
480         function call could reallocate the table which was being indexed
481         using its result). Fixes ada/4851. [RESURRECTED]
482
483 2002-07-01  Roger Sayle  <roger@eyesopen.com>
484
485         * ada/utils.c (builtin_function): Accept an additional parameter.
486
487 2002-06-28  Andreas Jaeger  <aj@suse.de>
488
489         PR ada/7144
490         * Makefile.in: Fix typo in comment, patch by Adrian Knoth
491         <adi@thur.de>.
492
493 2002-06-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
494
495         * Makefile.in (SHELL): Set to @SHELL@.
496
497 2002-06-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
498
499         * utils.c (init_gigi_decls): Use ARRAY_SIZE in lieu of explicit
500         array size calculation.
501
502 2002-06-04  Andreas Jaeger  <aj@suse.de>
503
504         * Make-lang.in (gnatbind): Readd rule that has been lost in last
505         patch.
506
507 2002-06-03  Geoffrey Keating  <geoffk@redhat.com>
508
509         Merge from pch-branch:
510
511         * config-lang.in (gtfiles): Add ada-tree.h.
512         * ada-tree.h (SET_TYPE_CI_CO_LIST): New.
513         (SET_TYPE_MODULUS): New.
514         (SET_TYPE_INDEX): New.
515         (SET_TYPE_DIGITS_VALUE): New.
516         (SET_TYPE_RM_SIZE): New.
517         (SET_TYPE_UNCONSTRAINED_ARRAY): New.
518         (SET_TYPE_ADA_SIZE): New.
519         (SET_TYPE_ACTUAL_BOUNDS): New.
520         (SET_DECL_CONST_CORRESPONDING_VAR): New.
521         (SET_DECL_ORIGINAL_FIELD): New.
522         (TREE_LOOP_ID): Correct typo.
523         * decl.c: Use new macros.
524         * utils.c: Include debug.h, use new macros.
525         * utils2.c: Use new macros.
526
527         * ada-tree.h: Update all macros for new tree description.
528         (struct tree_loop_id): New.
529         (union lang_tree_node): New.
530         (struct lang_decl): New.
531         (struct lang_type): New.
532         * misc.c (gnat_mark_tree): Delete.
533         (LANG_HOOKS_MARK_TREE): Delete.
534         * trans.c (tree_transform): No longer any need to cast
535         for TREE_LOOP_ID.
536
537         * utils.c (struct language_function): New dummy structure.
538
539         * Makefile.in (decl.o): gt-ada-<filename.h> is in objdir, not srcdir.
540         (misc.o): Likewise.
541         (utils.o): Likewise; also gtype-ada.h.
542         * Make-lang.in (gnat1): Add dependency on s-gtype.
543         (gnatbind): Add dependency on $(CONFIG_H).
544         * utils.c: Correct last #include.
545         (stuct e_stack): Remove unnecessary 'static'.
546         (mark_e_stack): Remove unused prototype.
547
548         * scn-nlit.adb: Remove whitespace after version number to
549         keep lines under 80 chars.
550         * snames.adb: Likewise.
551         * treepr.ads: Likewise.
552
553         * Makefile.in (decl.o): Include gt-ada-<filename>.h.
554         (misc.o): Likewise.
555         (utils.o): Include gt-ada-<filename>.h and gtype-ada.h.
556         * config-lang.in (gtfiles): New.
557         * decl.c: Use gengtype for roots.
558         * gigi.h: Use gengtype for roots.
559         * trans.c: Use gengtype for roots.
560         * utils.c: Use gengtype for roots, marking.  Include gtype-ada.h.
561
562 2002-06-02  Gabriel Dos Reis  <gdr@codesourcery.com>
563
564         * misc.c (gnat_init): Adjust setting of internal_error_function.
565
566 2002-06-01  Joseph S. Myers  <jsm28@cam.ac.uk>
567
568         * gnat_ug.texi: Use @ifnottex instead of @ifinfo.
569         * gnat_ug_unx.texi, gnat_ug_vms.texi, gnat_ug_vxw.texi,
570         gnat_ug_wnt.texi: Regenerate.
571
572 2002-05-31  Florian Weimer  <fw@deneb.enyo.de>
573
574         * 5ntaprop.adb (with System.OS_Primitives): Remove.
575
576         * cstreams.c (max_path_len): Move from here ...
577         * adaint.c (__gnat_max_path_len): ... to here.
578         * adaint.c (__gnat_max_path_len): Declare.
579         * g-dirope.adb (Max_Path): Adjust.
580         * g-os_lib.adb (Normalize_Pathname.Max_Path): Adjust.
581         * i-cstrea.ads (max_path_len): Adjust.
582         * osint.adb (Get_RTS_Search_Dir.Max_Path): Adjust.
583         * xr_tabls.adb (Dir_Name.Max_Path: Adjust.
584
585         * Makefile.in, Make-lang.in: Documentation is now built in
586         Make-lang.in.  Store Info and generated Texinfo files in the
587         source directory.
588         * gnat_ug.texi: Remove CVS keywords, correct version number.
589         Set file name correctly.
590
591         * gnat_ug_*.texi: Add.
592         * .cvsignore: Ignore generated Texinfo files.
593
594 2002-05-30  Zack Weinberg  <zack@codesourcery.com>
595
596         * ada.h: Add MI guard macro.
597         (SUBTYPE): Define constants with an anonymous enum, not static
598         const variables.
599         (IN): Cast constants to appropriate type before use.
600
601 2002-05-26  Joseph S. Myers  <jsm28@cam.ac.uk>
602
603         * gnatvsn.ads (Gnat_Version_String): Change to "3.2 20020526
604         (experimental)".
605
606 2002-05-23  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
607
608         * Make-lang.in (CP, ECHO): Copy from Makefile.in.
609         (X_ADA_CFLAGS, T_ADA_CFLAGS, X_ADAFLAGS, T_ADAFLAGS): Likewise.
610         (ALL_ADAFLAGS, FORCE_DEBUG_ADAFLAGS, ADA_CFLAGS): Likewise.
611         (ALL_ADA_CFLAGS): Likewise.
612         (ADA_INCLUDES): Likewise.
613         Adapt for new working dir.
614         (GNATBIND): Use Makefile.in version.
615         (.SUFFIXES): Copy from Makefile.in.
616         (ada-warn): Define.
617         (.adb.o, .ads.o): Copy from Makefile.in.
618         Added $(OUTPUT_OPTION).
619         (GNAT1_C_OBJS): Moved from Makefile.in.
620         Prefix with ada subdir.
621         (GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS, GNATBIND_OBJS): Likewise.
622         (EXTRA_GNAT1_OBJS): Moved from Makefile.in.
623         Adapt for new working dir.
624         (EXTRA_GNATBIND_OBJS): Likewise.
625         (ADA_BACKEND): Moved from Makefile.in.
626         Renamed to avoid conflict with global BACKEND.
627         Use that one.
628         (TARGET_ADA_SRCS): Moved from Makefile.in.
629         (gnat1$(exeext)): Replaced recursive rule with Makefile.in version.
630         Use ADA_BACKEND.
631         (gnatbind$(exeext)): Replaced recursive rule with Makefile.in version.
632         (ada_extra_files): Moved from Makefile.in.
633         Prefix with ada subdir.
634         (ada/b_gnat1.c, ada/b_gnat1.o, ada/b_gnatb.c, ada/b_gnatb.o): Likewise.
635         (ada/treeprs.ads, ada/einfo.h, ada/sinfo.h, ada/nmake.adb): Likewise.
636         (ada/nmake.ads): Likewise.
637         (update-sources): Moved from Makefile.in.
638         Prefix with ada subdir.
639         (ada/sdefault.adb, ada/stamp-sdefault, ada/sdefault.o): Likewise.
640         (ADA_TREE_H): Likewise.
641         (ada/a-except.o, ada/s-assert.o, ada/s-memory.o): Likewise.
642         (ada/memtrack.o): Likewise.
643         (ada/adadecode.o): Likewise.
644         Update dependencies.
645         (ada/adaint.o): New.
646         (ada/argv.o): Moved from Makefile.in.
647         Prefix with ada subdir.
648         Update dependencies.
649         (ada/cstreams.o, ada/exit.o, ada/final.o, ada/link.o): Likewise.
650         (ada/cio.o, ada/init.o, ada/raise.o, ada/tracebak.o): Likewise.
651         (ada/cuintp.o, ada/decl.o, ada/misc.o): Moved from Makefile.in.
652         Prefix with ada subdir.
653         (ada/targtyps.o, ada/trans.o, ada/utils.o, ada/utils2.o): Likewise.
654         (GNAT DEPENDENCIES): Regenerate.
655         * Makefile.in (MACHMODE_H, RTL_H, TREE_H): Removed, provided by
656         toplevel Makefile.in.
657         (EXTRA_GNAT1_OBJS, EXTRA_GNATBIND_OBJS): Removed.
658         (TARGET_ADA_SRCS): Removed.
659         (GNAT1_C_OBJS, GNAT_ADA_OBJS, GNAT1_ADA_OBJS, GNAT1_OBJS): Likewise.
660         (GNATBIND_OBJS): Likewise.
661         (ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Moved here.
662         (BACKEND): Removed.
663         (../gnat1$(exeext), ../gnatbind$(exeext)): Likewise.
664         (TREE_H): Likewise.
665         (ada_extra_files): Likewise.
666         (b_gnat1.c, b_gnat1.o, b_gnatb.c, b_gnatb.o): Likewise.
667         (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads): Likewise.
668         (update-sources): Likewise.
669         (sdefault.adb, stamp-sdefault, sdefault.o): Likewise
670         (ADA_TREE_H): Likewise.
671         (adadecoce.o): Likewise.
672         (cuintp.o, decl.o, misc.o, trans.o, utils.o, utils2.o): Likewise.
673         (GNAT DEPENDENCIES): Likewise.
674
675 2002-05-16  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
676
677         * Makefile.adalib: Allow for PWDCMD to override hardcoded pwd.
678         * Makefile.in: Likewise.
679
680 2002-05-14  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
681
682         * Make-lang.in (gnat1$(exeext), gnatbind$(exeext), gnattools):
683         Restore $(CONFIG_H) and prefix.o dependencies.
684         (ada.stage[1-4]): Depend on stage?-start.
685
686         * Makefile.in (b_gnatb.c): Depend on interfac.o.
687
688 2002-05-02  Jim Wilson  <wilson@redhat.com>
689
690         * utils.c (finish_record_type): Change record_size to record_type.
691
692 2001-05-02  John David Anglin  <dave@hiauly1.hia.nrc.ca>
693
694         * ada/Makefile.in (X_ADA_CFLAGS, T_ADA_CFLAGS): New fragment overrides.
695         (ALL_ADA_CFLAGS): Define.  Replace ADA_CFLAGS with ALL_ADA_CFLAGS in
696         ALL_ADAFLAGS, MOST_ADAFLAGS, and all compilations using CC.
697
698 2002-04-25  Neil Booth  <neil@daikokuya.demon.co.uk>
699
700         * misc.c (gnat_parse_file): Update.
701
702 2002-04-24  Neil Booth  <neil@daikokuya.demon.co.uk>
703
704         * misc.c (gnat_init): Don't set lang_attribute_common.
705
706 2002-04-21  Joseph S. Myers  <jsm28@cam.ac.uk>
707
708         * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
709
710 2002-04-21  Florian Weimer  <fw@deneb.enyo.de>
711
712         * gnat_ug.texi: New file.
713
714         * gnat_rm.texi: Do not include texiplus.texi.  Include fdl.texi
715         instead of gfdl.texi
716
717         * xgnatug.adb, ug_words: New files.
718
719         * Makefile.in (doc, dvi): New targets.  Build gnat_ug_*,
720         gnat_rm and gnat-style manuals.
721
722 2002-04-18  Neil Booth  <neil@daikokuya.demon.co.uk>
723
724         * gigi.h (incomplete_type_error): Remove.
725         * utils.c (incomplete_type_error): Remove.
726
727 2002-04-16  Mark Mitchell  <mark@codesourcery.com>
728
729         * trans.c (tree_transform): Add has_scope argument to
730         expand_start_stmt_expr.
731
732 2002-04-04  Neil Booth  <neil@daikokuya.demon.co.uk>
733
734         * gigi.h (truthvalue_conversion): Rename.
735         * misc.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.
736         * trans.c (tree_transform): Update.
737         * utils2.c (truthvalue_conversion): Rename, update.
738         (build_binary_op, build_unary_op): Update.
739
740 2002-04-04  Laurent Guerby  <guerby@acm.org>
741
742         * make.adb: Implement -margs, remove restriction about file name placement.
743         * makeusg.adb: Documentation update.
744         * Makefile.in (TOOLS_FLAGS_TO_PASS): Add VPATH=$(fsrcdir).
745         * Makefile.in (gnattools3): Comment out, gnatmem does not build without libaddr2line.
746
747 2002-04-04  Neil Booth  <neil@daikokuya.demon.co.uk>
748
749         * utils.c (create_subprog_decl): Use SET_DECL_ASSEMBLER_NAME.
750         (builtin_function): Similarly.
751
752 2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>
753
754         * decl.c (gnat_to_gnu_entity): Update.
755         * gigi.h (mark_addressable): Rename.
756         * misc.c (LANG_HOOKS_MARK_ADDRESSABLE): Redefine.
757         * trans.c (tree_transform): Update.
758         * utils.c (create_var_decl): Update.
759         * util2.c (build_binary_op, build_unary_op,
760         fill_vms_descriptor): Update.
761         (mark_addressable): Rename, update.
762
763 2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>
764
765         * gigi.h (unsigned_type, signed_type, signed_or_unsigned_type):
766         Rename.
767         * misc.c (LANG_HOOKS_SIGNED_TYPE, LANG_HOOKS_UNSIGNED_TYPE,
768         LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): New.
769         * trans.c (tree_transform, convert_with_check): Update.
770         * utils.c (unsigned_type, signed_type, signed_or_unsigned_type):
771         Rename.
772
773 2002-03-31  Neil Booth  <neil@daikokuya.demon.co.uk>
774
775         * gigi.h (finish_incomplete_decl): Rename.
776         * misc.c (LANG_HOOKS_FINISH_INCOMPLETE_DECL): Redefine.
777         * utils.c (gnat_init_decl_processing): Don't set hook.
778         (finish_incomplete_decl): Rename.
779
780 2002-03-29  Andreas Schwab  <schwab@suse.de>
781
782         * Makefile.in: Pass VPATH=$(fsrcdir) when calling make in rts
783         directory.
784
785 2001-03-28  Robert Dewar <dewar@gnat.com>
786
787         * checks.ads:
788         (Remove_Checks): New procedure
789
790         * checks.adb:
791         (Remove_Checks): New procedure
792
793         * exp_util.adb:
794         Use new Duplicate_Subexpr functions
795         (Duplicate_Subexpr_No_Checks): New procedure
796         (Duplicate_Subexpr_No_Checks_Orig): New procedure
797         (Duplicate_Subexpr): Restore original form (checks duplicated)
798         (Duplicate_Subexpr): Call Remove_Checks
799
800         * exp_util.ads:
801         (Duplicate_Subexpr_No_Checks): New procedure
802         (Duplicate_Subexpr_No_Checks_Orig): New procedure
803         Add 2002 to copyright notice
804
805         * sem_util.adb: Use new Duplicate_Subexpr functions
806
807         * sem_eval.adb:
808         (Eval_Indexed_Component): This is the place to call
809         Constant_Array_Ref and to replace the value. We simply merge
810         the code of this function in here, since it is now no longer
811         used elsewhere. This fixes the problem of the back end not
812         realizing we were clever enough to see that this was
813         constant.
814         (Expr_Val): Remove call to Constant_Array_Ref
815         (Expr_Rep_Val): Remove call to Constant_Array_Ref
816         Minor reformatting
817         (Constant_Array_Ref): Deal with string literals (patch
818         suggested by Zack Weinberg on the gcc list)
819
820 2001-03-28  Ed Schonberg <schonber@gnat.com>
821
822         * exp_util.adb: Duplicate_Subexpr_No_Checks_Orig =>
823         Duplicate_Subexpr_Move_Checks.
824
825         * exp_util.ads: Duplicate_Subexpr_No_Checks_Orig =>
826         Duplicate_Subexpr_Move_Checks.
827
828         * sem_eval.adb: (Constant_Array_Ref): Verify that constant
829         value of array exists before retrieving it (it may a private
830         protected component in a function).
831
832 2002-03-28   Geert Bosch <bosch@gnat.com>
833
834         * prj-pp.adb : New file.
835
836         * prj-pp.ads : New file.
837
838 2002-03-28  Andreas Jaeger  <aj@suse.de>
839
840         * Makefile.in (stamp-sdefault): Fix path for Makefile.
841
842 2002-03-28  Neil Booth  <neil@daikokuya.demon.co.uk>
843
844         * misc.c (gnat_expand_expr): Move prototype.
845
846 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
847
848         * misc.c (insert_default_attributes): Remove.
849
850 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
851
852         * misc.c (LANG_HOOKS_EXPAND_EXPR): Redefine.
853         (gnat_init): Don't set hook.
854         (gnat_expand_expr): Fix prototype.
855
856 2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>
857
858         * misc.c (ggc_p): Remove.
859
860 2002-03-27  Geert Bosch  <bosch@gnat.com>
861
862         * prj-makr.ads, prj-makr.adb : New files.
863
864 2002-03-26  Neil Booth  <neil@daikokuya.demon.co.uk>
865
866         * misc.c (LANG_HOOKS_MARK_TREE): Redefine.
867         (lang_mark_tree): Make static, rename.
868
869 2002-03-25  Neil Booth  <neil@daikokuya.demon.co.uk>
870
871         * misc.c (maybe_build_cleanup): Remove.
872
873 2002-03-24  Neil Booth  <neil@daikokuya.demon.co.uk>
874
875         * gigi.h (yyparse): Remove.
876
877 2002-03-23  Florian Weimer  <fw@deneb.enyo.de>
878
879         * gnat_rm.texi: Sync with ACT version.
880           (From Ben Brosgol <brosgol@gnat.com>)
881
882 2002-03-20  Neil Booth  <neil@daikokuya.demon.co.uk>
883
884         * misc.c (LANG_HOOKS_DECL_PRINTABLE_NAME): Redefine.
885         (gnat_init): Remove old hook.
886
887 2002-03-17  Neil Booth  <neil@daikokuya.demon.co.uk>
888
889         * misc.c (LANG_HOOKS_PARSE_FILE): Redefine.
890         (yyparse): Rename gnat_parse_file.
891
892 2002-03-14  Geoffrey Keating  <geoffk@redhat.com>
893
894         Delete all lines containing "$Revision:".
895         * xeinfo.adb: Don't look for revision numbers.
896         * xnmake.adb: Likewise.
897         * xsinfo.adb: Likewise.
898         * xsnames.adb: Likewise.
899         * xtreeprs.adb: Likewise.
900
901 2002-03-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
902
903         * misc.c (gnat_tree_code_type, gnat_tree_code_length,
904         gnat_tree_code_name): Delete.
905         (tree_code_type, tree_code_length, tree_code_name): Define.
906         (gnat_init): Don't try to copy into the various tree_code
907         arrays.
908
909 2002-03-11  Richard Henderson  <rth@redhat.com>
910
911         * Makefile.in (.NOTPARALLEL): Add fake tag.
912
913 2002-03-07  Geert Bosch  <bosch@gnat.com>
914
915         * adadecode.c, adadecode.h, aux-io.c, s-traces.adb, s-traces.ads,
916         s-tratas.adb, s-tratas.ads, sinput-d.adb, sinput-d.ads,
917         switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads,
918         switch-m.adb, switch-m.ads : New files.
919
920 2002-03-07  Geert Bosch  <bosch@gnat.com>
921
922         * 41intnam.ads, 42intnam.ads, 4aintnam.ads, 4cintnam.ads,
923         4dintnam.ads, 4gintnam.ads, 4hintnam.ads, 4lintnam.ads,
924         4mintnam.ads, 4pintnam.ads, 4rintnam.ads, 4sintnam.ads,
925         4uintnam.ads, 4vcalend.adb, 4zintnam.ads, 52system.ads,
926         5amastop.adb, 5asystem.ads, 5ataprop.adb, 5atpopsp.adb,
927         5avxwork.ads, 5bosinte.adb, 5bsystem.ads, 5esystem.ads,
928         5fsystem.ads, 5ftaprop.adb, 5ginterr.adb, 5gmastop.adb,
929         5gsystem.ads, 5gtaprop.adb, 5gtasinf.adb, 5gtasinf.ads,
930         5hparame.ads, 5hsystem.ads, 5htaprop.adb, 5htraceb.adb,
931         5itaprop.adb, 5ksystem.ads, 5kvxwork.ads, 5lintman.adb,
932         5lsystem.ads, 5mvxwork.ads, 5ninmaop.adb, 5nosinte.ads,
933         5ntaprop.adb, 5ointerr.adb, 5omastop.adb, 5oosinte.adb,
934         5osystem.ads, 5otaprop.adb, 5otaspri.ads, 5pvxwork.ads,
935         5qtaprop.adb, 5sintman.adb, 5ssystem.ads, 5staprop.adb,
936         5stpopse.adb, 5svxwork.ads, 5tosinte.ads, 5uintman.adb,
937         5vasthan.adb, 5vinmaop.adb, 5vinterr.adb, 5vintman.adb,
938         5vmastop.adb, 5vparame.ads, 5vsystem.ads, 5vtaprop.adb,
939         5vtpopde.adb, 5wmemory.adb, 5wsystem.ads, 5wtaprop.adb,
940         5ysystem.ads, 5zinterr.adb, 5zintman.adb, 5zosinte.adb,
941         5zosinte.ads, 5zsystem.ads, 5ztaprop.adb, 6vcpp.adb, 6vcstrea.adb,
942         7sintman.adb, 7staprop.adb, 7stpopsp.adb, 9drpc.adb,
943         Make-lang.in, Makefile.in, a-caldel.adb, a-comlin.ads,
944         a-dynpri.adb, a-except.adb, a-except.ads, a-finali.adb,
945         a-ncelfu.ads, a-reatim.adb, a-retide.adb, a-stream.ads,
946         a-ststio.adb, a-ststio.ads, a-stwifi.adb, a-tags.adb, a-tasatt.adb,
947         a-textio.adb, a-tideau.adb, a-tiflau.adb, a-tigeau.adb,
948         a-tigeau.ads, a-tiinau.adb, a-timoau.adb, a-witeio.adb,
949         a-wtdeau.adb, a-wtenau.adb, a-wtflau.adb, a-wtgeau.adb,
950         a-wtgeau.ads, a-wtinau.adb, a-wtmoau.adb, ada-tree.def, ada-tree.h,
951         adaint.c, adaint.h, ali-util.adb, ali.adb, ali.ads, atree.adb,
952         atree.ads, atree.h, back_end.adb, bcheck.adb, bindgen.adb,
953         bindusg.adb, checks.adb, comperr.adb, config-lang.in, csets.adb,
954         csets.ads, cstand.adb, cstreams.c, debug.adb, debug.ads, decl.c,
955         einfo.adb, einfo.ads, einfo.h, elists.h, errout.adb, errout.ads,
956         eval_fat.adb, exp_aggr.adb, exp_attr.adb, exp_ch11.adb,
957         exp_ch12.adb, exp_ch13.adb, exp_ch2.adb, exp_ch3.adb, exp_ch3.ads,
958         exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_ch7.ads,
959         exp_ch9.adb, exp_ch9.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads,
960         exp_dist.adb, exp_fixd.adb, exp_intr.adb, exp_pakd.adb,
961         exp_prag.adb, exp_strm.adb, exp_util.adb, exp_util.ads,
962         expander.adb, expect.c, fe.h, fmap.adb, fmap.ads, fname-uf.adb,
963         freeze.adb, frontend.adb, g-awk.adb, g-cgideb.adb, g-comlin.adb,
964         g-comlin.ads, g-debpoo.adb, g-dirope.adb, g-dirope.ads,
965         g-dyntab.adb, g-expect.adb, g-expect.ads, g-io.ads, g-io_aux.adb,
966         g-io_aux.ads, g-locfil.adb, g-locfil.ads, g-os_lib.adb,
967         g-os_lib.ads, g-regexp.adb, g-regpat.adb, g-socket.adb,
968         g-socket.ads, g-spipat.adb, g-table.adb, g-trasym.adb,
969         g-trasym.ads, gigi.h, gmem.c, gnat1drv.adb, gnatbind.adb, gnatbl.c,
970         gnatchop.adb, gnatcmd.adb, gnatdll.adb, gnatfind.adb, gnatlbr.adb,
971         gnatlink.adb, gnatls.adb, gnatmem.adb, gnatprep.adb, gnatvsn.ads,
972         gnatxref.adb, hlo.adb, hostparm.ads, i-cobol.adb, i-cpp.adb,
973         i-cstrea.ads, i-cstrin.adb, i-pacdec.adb, i-vxwork.ads,
974         impunit.adb, init.c, inline.adb, io-aux.c, layout.adb, lib-load.adb,
975         lib-util.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb,
976         lib-xref.ads, lib.adb, lib.ads, make.adb, makeusg.adb, mdll.adb,
977         memroot.adb, misc.c, mlib-tgt.adb, mlib-utl.adb, mlib-utl.ads,
978         mlib.adb, namet.adb, namet.ads, namet.h, nlists.h, nmake.adb,
979         nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
980         output.adb, output.ads, par-ch2.adb, par-ch3.adb, par-ch5.adb,
981         par-prag.adb, par-tchk.adb, par-util.adb, par.adb, prj-attr.adb,
982         prj-dect.adb, prj-env.adb, prj-env.ads, prj-nmsc.adb, prj-part.adb,
983         prj-proc.adb, prj-strt.adb, prj-tree.adb, prj-tree.ads, prj.adb,
984         prj.ads, raise.c, raise.h, repinfo.adb, restrict.adb, restrict.ads,
985         rident.ads, rtsfind.adb, rtsfind.ads, s-arit64.adb, s-asthan.adb,
986         s-atacco.adb, s-atacco.ads, s-auxdec.adb, s-crc32.adb, s-crc32.ads,
987         s-direio.adb, s-fatgen.adb, s-fileio.adb, s-finimp.adb,
988         s-gloloc.adb, s-gloloc.ads, s-interr.adb, s-mastop.adb,
989         s-mastop.ads, s-memory.adb, s-parame.ads, s-parint.adb,
990         s-pooglo.adb, s-pooloc.adb, s-rpc.adb, s-secsta.adb, s-sequio.adb,
991         s-shasto.adb, s-soflin.adb, s-soflin.ads, s-stache.adb,
992         s-taasde.adb, s-taasde.ads, s-tadeca.adb, s-tadeca.ads,
993         s-tadert.adb, s-tadert.ads, s-taenca.adb, s-taenca.ads,
994         s-taprob.adb, s-taprop.ads, s-tarest.adb, s-tasdeb.adb,
995         s-tasini.adb, s-tasini.ads, s-taskin.adb, s-taskin.ads,
996         s-tasque.adb, s-tasque.ads, s-tasren.adb, s-tasren.ads,
997         s-tassta.adb, s-tasuti.adb, s-tasuti.ads, s-tataat.adb,
998         s-tataat.ads, s-tpoben.adb, s-tpoben.ads, s-tpobop.adb,
999         s-tposen.adb, s-tposen.ads, s-traceb.adb, s-traceb.ads,
1000         s-unstyp.ads, s-widenu.adb, scn-nlit.adb, scn.adb, sem.adb,
1001         sem_aggr.adb, sem_attr.adb, sem_attr.ads, sem_case.adb,
1002         sem_ch10.adb, sem_ch11.adb, sem_ch11.ads, sem_ch12.adb,
1003         sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch3.adb, sem_ch3.ads,
1004         sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb,
1005         sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_disp.adb, sem_dist.adb,
1006         sem_elab.adb, sem_elim.adb, sem_elim.ads, sem_eval.adb,
1007         sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb,
1008         sem_type.adb, sem_util.adb, sem_util.ads, sem_vfpt.adb,
1009         sem_warn.adb, sinfo.adb, sinfo.ads, sinfo.h, sinput-l.adb,
1010         sinput-l.ads, sinput.adb, sinput.ads, snames.adb, snames.ads,
1011         snames.h, sprint.adb, sprint.ads, stringt.adb, stringt.ads,
1012         stringt.h, style.adb, switch.adb, switch.ads, sysdep.c, system.ads,
1013         table.adb, targparm.adb, targparm.ads, targtyps.c, tbuild.adb,
1014         tbuild.ads, tracebak.c, trans.c, tree_gen.adb, tree_io.adb,
1015         treepr.adb, treepr.ads, treeprs.ads, treeprs.adt, ttypes.ads,
1016         types.adb, types.ads, types.h, uintp.ads, urealp.ads, usage.adb,
1017         utils.c, utils2.c, validsw.adb, xnmake.adb, xr_tabls.adb,
1018         xr_tabls.ads, xref_lib.adb, xref_lib.ads : Merge in ACT changes.
1019
1020         * 1ssecsta.adb, 1ssecsta.ads, a-chlat9.ads, a-cwila9.ads,
1021         g-enblsp.adb, g-md5.adb, g-md5.ads, gnatname.adb, gnatname.ads,
1022         mkdir.c, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads,
1023         osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads : New files
1024
1025         * 3lsoccon.ads, 5qparame.ads, 5qvxwork.ads, 5smastop.adb,
1026         5zparame.ads, gnatmain.adb, gnatmain.ads, gnatpsys.adb : Removed
1027
1028         * mdllfile.adb, mdllfile.ads, mdlltool.adb, mdlltool.ads : Renamed
1029         to mdll-fil.ad[bs] and mdll-util.ad[bs]
1030
1031         * mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads : Renamed
1032         from mdllfile.ad[bs] and mdlltool.ad[bs]
1033
1034 2002-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1035
1036         * utils.c (init_gnat_to_gnu, init_gigi_decls): Use ARRAY_SIZE in
1037         lieu of explicit sizeof/sizeof.
1038
1039 2002-02-28  Neil Booth  <neil@daikokuya.demon.co.uk>
1040
1041         * misc.c (copy_lang_decl): Remove.
1042
1043 2002-02-27  Zack Weinberg  <zack@codesourcery.com>
1044
1045         * misc.c: Delete traditional-mode-related code copied from the
1046         C front end but not used, or used only to permit the compiler
1047         to link.
1048
1049 2002-02-07  Richard Henderson  <rth@redhat.com>
1050
1051         * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
1052         * adaint.h (__gnat_to_gm_time): Update prototype.
1053
1054 2002-01-30  Richard Henderson  <rth@redhat.com>
1055
1056         * trans.c (tree_transform) [N_Loop_Statement]: Use
1057         expand_exit_loop_top_cond.
1058
1059 2001-12-23  Richard Henderson  <rth@redhat.com>
1060
1061         * utils.c (end_subprog_body): Push GC context around
1062         rest_of_compilation for nested functions.
1063
1064 2001-12-23  Richard Henderson  <rth@redhat.com>
1065
1066         * 5nosinte.ads: Get definition of "int" from Interfaces.C.
1067
1068 2001-12-23  Florian Weimer  <fw@deneb.enyo.de>
1069
1070         * gnat-style.texi (Declarations and Types): Remove ancient style
1071         rule which was mandated by code generation issues.
1072
1073         * gnat-style.texi (header): Add @dircategory, @direntry.
1074         (title page): Remove date.
1075         (general) Add @./@: where approriate, and two spaces after the
1076         full stop at the end of a sentence.  Use @samp markup when
1077         referring concrete lexical entities (keywords, attribute names
1078         etc.), and @syntax for ARM grammar elements. Use @r for English
1079         text in comments.  Use @emph for emphasis.  Change "if-statements"
1080         etc. to "if statements" (without @samp). Break long lines.  Make
1081         casing of section names consistent.
1082         (Identifiers): Use @samp markup for variable names.
1083         (Comments): Use @samp markup for comment characters. Line-end
1084         comments may follow any Ada code, not just statements.  Fix
1085         misspelling of "Integer" as "integer".
1086         (Loop statements): Do not use variable name "I", use "J".
1087         (Subprogram Declarations): Document alignment.
1088         (Subprogram Bodies, Block statements): Document empty line before
1089         "begin".
1090
1091 2001-12-22  Florian Weimer  <fw@deneb.enyo.de>
1092
1093         * make.adb (Add_Switch): Make Generic_Position a procedure.  The
1094         function approach did not work well because of a side effect (the
1095         function call could reallocate the table which was being indexed
1096         using its result). Fixes ada/4851.
1097
1098 2001-12-19  Robert Dewar <dewar@gnat.com>
1099
1100         * bindgen.adb: Minor reformatting
1101
1102         * cstand.adb: Minor reformatting
1103
1104         * fmap.adb: Minor reformatting
1105         Change name from Add for Add_To_File_Map (Add is much too generic)
1106         Change Path_Name_Of to Mapped_Path_Name
1107         Change File_Name_Of to Mapped_File_Name
1108         Fix copyright dates in header
1109
1110         * fmap.ads:
1111         Change name from Add for Add_To_File_Map (Add is much too generic)
1112         Change Path_Name_Of to Mapped_Path_Name
1113         Change File_Name_Of to Mapped_File_Name
1114         Fix copyright dates in header
1115
1116         * fname-uf.adb: Minor reformatting.  New names of stuff in Fmap.
1117         Add use clause for Fmap.
1118
1119         * make.adb: Minor reformatting
1120
1121         * osint.adb: Minor reformatting.  Change of names in Fmap.
1122         Add use clause for Fmap.
1123
1124         * prj-env.adb: Minor reformatting
1125
1126         * prj-env.ads: Minor reformatting
1127
1128         * switch.adb: Minor reformatting.  Do proper raise of Bad_Switch if
1129         error found (there were odd exceptions to this general rule in
1130         -gnatec/-gnatem processing)
1131
1132 2001-12-19  Olivier Hainque <hainque@gnat.com>
1133
1134         * raise.c (__gnat_eh_personality): Exception handling personality
1135         routine for Ada.  Still in rough state, inspired from the C++ version
1136         and still containing a bunch of debugging artifacts.
1137         (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
1138         inspired from the C++ library.
1139
1140         * raise.c (eh_personality): Add comments. Part of work for the GCC 3
1141         exception handling integration.
1142
1143 2001-12-19  Arnaud Charlet <charlet@gnat.com>
1144
1145         * Makefile.in: Remove use of 5smastop.adb which is obsolete.
1146         (HIE_SOURCES): Add s-secsta.ad{s,b}.
1147         (HIE_OBJS): Add s-fat*.o
1148         (RAVEN_SOURCES): Remove files that are no longer required. Add
1149         interrupt handling files.
1150         (RAVEN_MOD): Removed, no longer needed.
1151
1152 2001-12-19  Robert Dewar <dewar@gnat.com>
1153
1154         * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
1155         Add 2001 to copyright date
1156
1157         * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
1158         need to force universal inlining for these cases.
1159
1160 2001-12-19  Arnaud Charlet <charlet@gnat.com>
1161
1162         * s-taprob.adb: Minor clean ups so that this unit can be used in
1163         Ravenscar HI.
1164
1165         * exp_ch7.adb: Allow use of secondary stack in HI mode.
1166         Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
1167
1168 2001-12-19  Vincent Celier <celier@gnat.com>
1169
1170         * prj-tree.ads (Project_Node_Record): Add comments for components
1171         Pkg_Id and Case_Insensitive.
1172
1173 2001-12-19  Pascal Obry <obry@gnat.com>
1174
1175         * g-socket.adb: Minor reformatting. Found while reading code.
1176
1177 2001-12-19  Robert Dewar <dewar@gnat.com>
1178
1179         * prj-tree.ads: Minor reformatting
1180
1181 2001-12-20  Joseph S. Myers  <jsm28@cam.ac.uk>
1182
1183         * config-lang.in (diff_excludes): Remove.
1184
1185 2001-12-17  Ed Schonberg <schonber@gnat.com>
1186
1187         * sem_res.adb (Resolve_Selected_Component): do not generate a
1188         discriminant check if the selected component is a component of
1189         the argument of an initialization procedure.
1190
1191         * trans.c (tree_transform, case of arithmetic operators): If result
1192         type is private, the gnu_type is the base type of the full view,
1193         given that the full view itself may be a subtype.
1194
1195 2001-12-17  Robert Dewar <dewar@gnat.com>
1196
1197         * sem_res.adb: Minor reformatting
1198
1199         * trans.c (tree_transform, case N_Real_Literal): Add missing third
1200         parameter in call to Machine (unknown horrible effects from this
1201         omission).
1202
1203         * urealp.h: Add definition of Round_Even for call to Machine
1204         Add third parameter for Machine
1205
1206 2001-12-17  Ed Schonberg <schonber@gnat.com>
1207
1208         * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
1209         predefined units in No_Run_Time mode.
1210
1211 2001-12-17  Richard Kenner <kenner@gnat.com>
1212
1213         * misc.c (insn-codes.h): Now include.
1214
1215 2001-12-17  Olivier Hainque <hainque@gnat.com>
1216
1217         * a-except.adb: Preparation work for future integration of the GCC 3
1218         exception handling mechanism
1219         (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
1220         to factorize previous code sequences and make them externally callable,
1221         e.g. for the Ada personality routine when the GCC 3 mechanism is used.
1222         (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
1223         Use the new notification routines.
1224
1225 2001-12-17  Emmanuel Briot <briot@gnat.com>
1226
1227         * prj-tree.ads (First_Choice_Of): Document the when others case
1228
1229 2001-12-17  Arnaud Charlet <charlet@gnat.com>
1230
1231         * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
1232         HI-E mode, in order to support Ravenscar profile properly.
1233
1234         * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
1235         mode on 32 bits targets.
1236
1237 2001-12-17  Vincent Celier <celier@gnat.com>
1238
1239         * fmap.adb: Initial version.
1240
1241         * fmap.ads: Initial version.
1242
1243         * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
1244         If search is successfully done, add to mapping.
1245
1246         * frontend.adb: Initialize the mapping if a -gnatem switch was used.
1247
1248         * make.adb:
1249         (Gnatmake): Add new local variable Mapping_File_Name.
1250          Create mapping file when using project file(s).
1251          Delete mapping file before exiting.
1252
1253         * opt.ads (Mapping_File_Name): New variable
1254
1255         * osint.adb (Find_File): Use path name found in mapping, if any.
1256
1257         * prj-env.adb (Create_Mapping_File): New procedure
1258
1259         * prj-env.ads (Create_Mapping_File): New procedure.
1260
1261         * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
1262         (Mapping_File)
1263
1264         * usage.adb: Add entry for new switch -gnatem.
1265
1266         * Makefile.in: Add dependencies for fmap.o.
1267
1268 2001-12-17  Ed Schonberg <schonber@gnat.com>
1269
1270         * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
1271         is a package instantiation rewritten as a package body.
1272         (Install_Withed_Unit): Undo previous change, now redundant.
1273
1274 2001-12-17  Gary Dismukes <dismukes@gnat.com>
1275
1276         * layout.adb:
1277         (Compute_Length): Move conversion to Unsigned to callers.
1278         (Get_Max_Size): Convert Len expression to Unsigned after calls to
1279         Compute_Length and Determine_Range.
1280         (Layout_Array_Type): Convert Len expression to Unsigned after calls to
1281         Compute_Length and Determine_Range.
1282         Above changes fix problem with length computation for supernull arrays
1283         where Max (Len, 0) wasn't getting applied due to the Unsigned
1284         conversion used by Compute_Length.
1285
1286 2001-12-17  Arnaud Charlet <charlet@gnat.com>
1287
1288         * rtsfind.ads:
1289         (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
1290          System.Secondary_Stack.
1291         (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
1292          in HI-E mode.
1293         Remove unused entity RE_Exception_Data.
1294
1295         * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
1296
1297         * rident.ads (No_Secondary_Stack): New restriction.
1298
1299 2001-12-17  Joel Brobecker <brobecke@gnat.com>
1300
1301         * gnat_rm.texi: Fix minor typos. Found while reading the section
1302         regarding "Bit_Order Clauses" that was sent to a customer.
1303         Very interesting documentation!
1304
1305 2001-12-17  Robert Dewar <dewar@gnat.com>
1306
1307         * sem_case.adb (Choice_Image): Avoid creating improper character
1308         literal names by using the routine Set_Character_Literal_Name. This
1309         fixes bombs in certain error message cases.
1310
1311 2001-12-17  Arnaud Charlet <charlet@gnat.com>
1312
1313         * a-reatim.adb: Minor reformatting.
1314
1315 2001-12-17  Ed Schonberg <schonber@gnat.com>
1316
1317         * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
1318         case where the formal is an extension of another formal in the current
1319         unit or in a parent generic unit.
1320
1321 2001-12-17  Arnaud Charlet <charlet@gnat.com>
1322
1323         * s-tposen.adb: Update comments.  Minor reformatting.
1324         Minor code clean up.
1325
1326         * s-tarest.adb: Update comments.  Minor code reorganization.
1327
1328 2001-12-17  Gary Dismukes <dismukes@gnat.com>
1329
1330         * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
1331         when Java_VM.
1332
1333 2001-12-17  Robert Dewar <dewar@gnat.com>
1334
1335         * exp_attr.adb: Minor reformatting
1336
1337 2001-12-17  Ed Schonberg <schonber@gnat.com>
1338
1339         * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
1340         derivations nested within a child unit: verify that the parent
1341         type is declared in an outer scope.
1342
1343 2001-12-17  Robert Dewar <dewar@gnat.com>
1344
1345         * sem_ch12.adb: Minor reformatting
1346
1347 2001-12-17  Ed Schonberg <schonber@gnat.com>
1348
1349         * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
1350         warning if current unit is a predefined one, from which bodies may
1351         have been deleted.
1352
1353 2001-12-17  Robert Dewar <dewar@gnat.com>
1354
1355         * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
1356         Fix header format. Add 2001 to copyright date.
1357
1358         * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
1359         which caused CE during compilation if checks were enabled.
1360
1361 2001-12-17  Vincent Celier <celier@gnat.com>
1362
1363         * make.adb:
1364         (Switches_Of): New function
1365         (Test_If_Relative_Path): New procedure
1366         (Add_Switches): Use new function Switches_Of
1367         (Collect_Arguments_And_Compile): Use new function Switches_Of.
1368         When using a project file, test if there are any relative
1369         search path. Fail if there are any.
1370         (Gnatmake): Only add switches for the primary directory when not using
1371         a project file. When using a project file, change directory to the
1372         object directory of the main project file. When using a project file,
1373         test if there are any relative search path. Fail if there are any.
1374         When using a project file, fail if specified executable is relative
1375         path with directory information, and prepend executable, if not
1376         specified as an absolute path, with the exec directory.  Make sure
1377         that only one -o switch is transmitted to the linker.
1378
1379         * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
1380
1381         * prj-nmsc.adb:
1382         (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
1383         when using a non standard naming scheme.
1384         (Check_Ada_Naming_Scheme): Make sure that error messages
1385         do not raise exceptions.
1386         (Is_Illegal_Append): Return True if there is no dot in the suffix.
1387         (Language_Independent_Check): Check the exec directory.
1388
1389         * prj.adb (Project_Empty): Add new component Exec_Directory
1390
1391         * prj.ads:
1392         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
1393         (Project_Data): Add component Exec_Directory
1394
1395         * snames.adb: Updated to match snames.ads revision 1.215
1396
1397         * snames.ads: Added Exec_Dir
1398
1399 2001-12-17  Robert Dewar <dewar@gnat.com>
1400
1401         * make.adb: Minor reformatting
1402
1403         * prj-nmsc.adb: Minor reformatting
1404
1405         * snames.adb: Updated to match snames.ads
1406
1407         * snames.ads: Alphebetize entries for project file
1408
1409 2001-12-17  Ed Schonberg <schonber@gnat.com>
1410
1411         * trans.c (process_freeze_entity): Do nothing if the entity is a
1412         subprogram that was already elaborated.
1413
1414 2001-12-17  Richard Kenner <kenner@gnat.com>
1415
1416         * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
1417         and Esize if object is referenced via pointer.
1418
1419 2001-12-17  Ed Schonberg <schonber@gnat.com>
1420
1421         * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
1422         is discrete before analyzing choices.
1423
1424 2001-12-17  Joel Brobecker <brobecke@gnat.com>
1425
1426         * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
1427         containing the name of the Ada Main Program. This string is mainly
1428         intended for the debugger.
1429         (Gen_Output_File_C): Do the equivalent change when generating a C file.
1430
1431 2001-12-17  Robert Dewar <dewar@gnat.com>
1432
1433         * ali.adb: Set new Dummy_Entry field in dependency entry
1434
1435         * ali.ads: Add Dummy_Entry field to source dependency table
1436
1437         * bcheck.adb (Check_Consistency): Ignore dummy D lines
1438
1439         * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
1440
1441         * lib-writ.ads: Document dummy D lines for missing files.
1442
1443         * types.ads: (Dummy_Time_Stamp): New value for non-existant files
1444
1445 2001-12-17  Robert Dewar <dewar@gnat.com>
1446
1447         * ali.adb: Type reference does not reset current file.
1448
1449         * ali.adb: Recognize and scan renaming reference
1450
1451         * ali.ads: Add spec for storing renaming references.
1452
1453         * lib-xref.ads: Add documentation for handling of renaming references
1454
1455         * lib-xref.adb: Implement output of renaming reference.
1456
1457         * checks.adb:
1458         (Determine_Range): Document local variables
1459         (Determine_Range): Make sure Hbound is initialized. It looks as though
1460          there could be a real problem here with an uninitialized reference
1461          to Hbound, but no actual example of failure has been found.
1462
1463 2001-12-17  Laurent Pautet <pautet@gnat.com>
1464
1465         * g-socket.ads:
1466         Fix comment of Shutdown_Socket and Close_Socket. These functions
1467         should not fail silently because if they are called twice, this
1468         probably means that there is a race condition in the user program.
1469         Anyway, this behaviour is consistent with the rest of this unit.
1470         When an error occurs, an exception is raised with the error message
1471         as exception message.
1472
1473 2001-12-17  Robert Dewar <dewar@gnat.com>
1474
1475         * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
1476         that it happens before modification of Sloc values for -gnatD.
1477
1478         * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
1479         so that it happens before modification of Sloc values for -gnatD.
1480
1481         * switch.adb: Minor reformatting
1482
1483 2001-12-15  Richard Henderson  <rth@redhat.com>
1484
1485         * sem_ch7.adb: Wrap comment.
1486
1487 2001-12-16  Joseph S. Myers  <jsm28@cam.ac.uk>
1488
1489         * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
1490         5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
1491         5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
1492         5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
1493         5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
1494         7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
1495         a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
1496         a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
1497         cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
1498         exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
1499         exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
1500         g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
1501         gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
1502         make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
1503         par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
1504         repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
1505         s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
1506         s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
1507         s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
1508         s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
1509         sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
1510         sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
1511         sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
1512         sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
1513         spelling errors.
1514
1515 2001-12-14  Vincent Celier <celier@gnat.com>
1516
1517         * osint.adb(Create_Debug_File): When an object file is specified,
1518         put the .dg file in the same directory as the object file.
1519
1520 2001-12-14  Robert Dewar <dewar@gnat.com>
1521
1522         * osint.adb: Minor reformatting
1523
1524         * lib-xref.adb (Output_Instantiation): New procedure to generate
1525         instantiation references.
1526
1527         * lib-xref.ads: Add documentation of handling of generic references.
1528
1529         * ali.adb (Read_Instantiation_Ref): New procedure to read
1530         instantiation references
1531
1532         * ali.ads: Add spec for storing instantiation references
1533
1534         * bindusg.adb: Minor reformatting
1535
1536         * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1537
1538         * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1539
1540         * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1541
1542         * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
1543
1544         * csets.ads:
1545         Fix header format
1546         Add 2001 to copyright date
1547         Add entry for Latin-5 (Cyrillic ISO-8859-5)
1548
1549 2001-12-14  Matt Gingell <gingell@gnat.com>
1550
1551         * adaint.c: mktemp is a macro on Lynx and can not be used as an
1552         expression.
1553
1554 2001-12-14  Richard Kenner <kenner@gnat.com>
1555
1556         * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
1557         if operand is CONSTRUCTOR.
1558
1559 2001-12-14  Ed Schonberg <schonber@gnat.com>
1560
1561         * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
1562         before emiting check on right-hand side, so that exception information
1563         is correct.
1564
1565 2001-12-14  Richard Kenner <kenner@gnat.com>
1566
1567         * utils.c (create_var_decl): Throw away initializing expression
1568         if just annotating types and non-constant.
1569
1570 2001-12-14  Vincent Celier <celier@gnat.com>
1571
1572         * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
1573         Default_Ada_...
1574
1575         * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1576         Remove functions.
1577         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
1578
1579         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
1580         Remove functions.
1581         (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
1582
1583 2001-12-16  Joseph S. Myers  <jsm28@cam.ac.uk>
1584
1585         * ChangeLog: Remove piece of diff output.
1586
1587 2001-12-14  Geert Bosch <bosch@gnat.com>
1588
1589         * config-lang.in: Update copyright notice
1590
1591         * layout.adb: Remove commented out code.
1592
1593         * mdllfile.ads: Update copyright notice. Fix header format.
1594
1595         * sem_case.ads: Likewise.
1596
1597         * sem_ch3.adb: Minor reformatting.
1598
1599 2001-12-12  Geert Bosch <bosch@gnat.com>
1600
1601         * freeze.ads: Update copyright date.
1602
1603         * g-comlin.ads: Minor reformatting.
1604
1605         * gnat-style.texi: Fix typo.
1606
1607 2001-12-12  Geert Bosch <bosch@gnat.com>
1608
1609         *  einfo.h: Regenerate.
1610
1611 2001-12-12  Ed Schonberg <schonber@gnat.com>
1612
1613         * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
1614         on known node types, rather than untyped fields. Further cleanups.
1615
1616 2001-12-12  Robert Dewar <dewar@gnat.com>
1617
1618         * sem_ch12.adb:
1619         (Save_Entity_Descendant): Minor comment update.
1620         (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
1621          of an N_Attribute_Reference node. As per note below, this does not
1622         eliminate need for Associated_Node in attribute ref nodes.
1623         (Associated_Node): Documentation explicitly mentions attribute
1624         reference nodes, since this field is used in such nodes.
1625
1626         * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
1627
1628 2001-12-12  Robert Dewar <dewar@gnat.com>
1629
1630         * s-stalib.adb: Add more comments on with statements being needed
1631
1632         * par-ch12.adb: Minor reformatting
1633
1634         * prj-dect.ads: Fix copyright header
1635
1636         * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
1637         inputs fit in 32 bits, but the result still overflows.
1638
1639         * s-fatgen.ads: Minor comment improvement
1640
1641 2001-12-12  Ed Schonberg <schonber@gnat.com>
1642
1643         * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
1644         formal derived type, look for an inherited component from the full
1645         view of the parent, if any.
1646
1647 2001-12-12  Robert Dewar <dewar@gnat.com>
1648
1649         * checks.ads (Apply_Alignment_Check): New procedure.
1650
1651         * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
1652         ensure that the alignment of objects with address clauses is
1653         appropriate, and raise PE if not.
1654
1655         * exp_util.ads (Must_Be_Aligned): Removed, replaced by
1656         Exp_Pakd.Known_Aligned_Enough
1657
1658         * mdllfile.ads: Minor reformatting
1659
1660         * mlib-fil.ads: Minor reformatting
1661
1662 2001-12-12  Ed Schonberg <schonber@gnat.com>
1663
1664         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
1665         fix to any component reference if enclosing record has non-standard
1666         representation.
1667
1668 2001-12-12  Vincent Celier <celier@gnat.com>
1669
1670         * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
1671         Iteration
1672
1673 2001-12-12  Ed Schonberg <schonber@gnat.com>
1674
1675         * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
1676         sem_attr.
1677
1678 2001-12-12  Robert Dewar <dewar@gnat.com>
1679
1680         * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
1681
1682 2001-12-12  Emmanuel Briot <briot@gnat.com>
1683
1684         * g-regexp.adb: Remove all debug code, since it isn't required anymore,
1685         and it adds dependencies to system.io.
1686
1687 2001-12-12  Pascal Obry <obry@gnat.com>
1688
1689         * g-dirope.adb (Expand_Path.Var): Correctly detect end of
1690         variable name.
1691
1692 2001-12-11  Ed Schonberg <schonber@gnat.com>
1693
1694         * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
1695         that is the parent of other generics, the instance body replaces the
1696         instance node.  Retrieve the instance of the spec, which is the one
1697         that is visible in clients and within the body.
1698
1699 2001-12-11  Vincent Celier <celier@gnat.com>
1700
1701         * gnatmain.adb: Initial version.
1702
1703         * gnatmain.ads: Initial version.
1704
1705         * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
1706
1707         * snames.adb: Updated to match snames.ads.
1708
1709         * snames.ads: Added Gnatstub.
1710
1711 2001-12-11  Vincent Celier <celier@gnat.com>
1712
1713         * prj-attr.adb (Initialization_Data): Change name from
1714         Initialisation_Data.
1715
1716 2001-12-11  Emmanuel Briot <briot@gnat.com>
1717
1718         * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
1719         + and * applied to backslashed expressions like \r.
1720
1721 2001-12-11  Vasiliy Fofanov <fofanov@gnat.com>
1722
1723         * g-os_lib.ads: String_List type added, Argument_List type is now
1724         subtype of String_List.
1725
1726 2001-12-11  Robert Dewar <dewar@gnat.com>
1727
1728         * g-os_lib.ads: Change copyright to FSF
1729         Add comments for String_List type
1730
1731 2001-12-11  Vincent Celier <celier@gnat.com>
1732
1733         * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
1734         string to the buffer).
1735
1736 2001-12-11  Ed Schonberg <schonber@gnat.com>
1737
1738         * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
1739         sem_attr.
1740
1741         * sem_attr.adb: Simplify previous fix for Address.
1742         (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
1743         to avoid anomalies where the bound of the type appears to raise
1744         constraint error.
1745
1746 2001-12-11  Robert Dewar <dewar@gnat.com>
1747
1748         * lib-xref.adb (Output_Refs): Make sure pointers are always properly
1749         handled.
1750
1751 2001-12-11  Ed Schonberg <schonber@gnat.com>
1752
1753         * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
1754         renamed unit before checking for recursive instantiations.
1755
1756 2001-12-11  Emmanuel Briot <briot@gnat.com>
1757
1758         * prj.ads: Add comments for some of the fields.
1759
1760 2001-12-11  Robert Dewar <dewar@gnat.com>
1761
1762         * lib-xref.adb (Output_Refs): Don't output type references outside
1763         the main unit if they are not otherwise referenced.
1764
1765 2001-12-11  Ed Schonberg <schonber@gnat.com>
1766
1767         * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
1768         code and diagnose additional illegal uses
1769
1770         * sem_util.adb (Is_Object_Reference): An indexed component is an
1771         object only if the prefix is.
1772
1773 2001-12-11  Vincent Celier <celier@gnat.com>
1774
1775         * g-diopit.adb: Initial version.
1776
1777         * g-diopit.ads: Initial version.
1778
1779         * g-dirope.adb:
1780         (Expand_Path): Avoid use of Unbounded_String
1781         (Find, Wildcard_Iterator): Moved to child package Iteration
1782
1783         * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
1784
1785 2001-12-11  Robert Dewar <dewar@gnat.com>
1786
1787         * sem_attr.adb: Minor reformatting
1788
1789 2001-12-11  Ed Schonberg <schonber@gnat.com>
1790
1791         * sem_ch3.adb: Clarify some ???.
1792
1793 2001-12-11  Robert Dewar <dewar@gnat.com>
1794
1795         * exp_util.adb (Must_Be_Aligned): Removed, replaced by
1796         Exp_Pakd.Known_Aligned_Enough
1797
1798         * sem_ch13.adb (Check_Address_Alignment): Removed, extended
1799         version is moved to Exp_Ch13.
1800
1801 2001-12-11  Robert Dewar <dewar@gnat.com>
1802
1803         * einfo.ads: Minor reformatting
1804
1805         * exp_ch5.adb: Add comment for previous.change
1806
1807         * ali.adb: New interface for extended typeref stuff.
1808
1809         * ali.ads: New interface for typeref stuff.
1810
1811         * checks.adb (Apply_Alignment_Check): New procedure.
1812
1813         * debug.adb: Add -gnatdM for modified ALI output
1814
1815         * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
1816
1817         * lib-xref.adb: Extend generation of <..> notation to cover
1818         subtype/object types. Note that this is a complete rewrite,
1819         getting rid of the very nasty quadratic algorithm previously
1820         used for derived type output.
1821
1822         * lib-xref.ads: Extend description of <..> notation to cover
1823         subtype/object types. Uses {..} for these other cases.
1824         Also use (..) for pointer types.
1825
1826         * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
1827
1828         * exp_pakd.adb: Minor reformatting.  Note that prevous RH should say:
1829         (Known_Aligned_Enough): Replaces Must_Be_Aligned.
1830
1831 2001-12-11  Vincent Celier <celier@gnat.com>
1832
1833         * gnatcmd.adb:
1834         Changed /COMPILE_ONLY to /ACTIONS=COMPILE
1835         Changed /BIND_ONLY to /ACTIONS=BIND
1836         Changed /LINK_ONLY to /ACTIONS=LINK
1837
1838 2001-12-11  Ed Schonberg  <schonber@gnat.com>
1839
1840         * sem_ch8.adb (Find_Selected_Component): improved search for a
1841         candidate package in case of error.
1842
1843         * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
1844         chain back on scope stack before reinstalling use clauses.
1845
1846         * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
1847         is enabled, do not kill the code for the condition, to preserve
1848         warning.
1849
1850 2001-12-11  Robert Dewar <dewar@gnat.com>
1851
1852         * checks.adb (Insert_Valid_Check): Apply validity check to expression
1853         of conversion, not to result of conversion.
1854
1855 2001-12-11  Ed Schonberg <schonber@gnat.com>
1856
1857         * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
1858         before freezing parent. If the declarations are mutually recursive,
1859         an access to the current record type may be frozen before the
1860         derivation is complete.
1861
1862 2001-12-05  Vincent Celier <celier@gnat.com>
1863
1864         * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
1865         -c /COMPILE_ONLY, -l /LINK_ONLY
1866
1867         * opt.ads:
1868         (Bind_Only): New Flag
1869         (Link_Only): New flag
1870
1871         * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
1872         and -l (Link_Only)
1873
1874         * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
1875
1876         * make.adb:
1877         (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1878         (Gnatmake): Set the step flags. Only perform a step if the
1879         corresponding step flag is True.
1880         (Scan_Make_Arg): Reset the bind and link step flags when -u
1881         or -gnatc has been specified.
1882
1883 2001-12-05  Ed Schonberg <schonber@gnat.com>
1884
1885         * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
1886         get bounds from right operand.
1887
1888         * sem_eval.adb: Minor reformatting
1889
1890         * exp_util.adb (Make_Literal_Range): use bound of literal rather
1891         than Index'First, its lower bound may be different from 1.
1892
1893         * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
1894         and C48009J
1895
1896 2001-12-05  Vincent Celier <celier@gnat.com>
1897
1898         * prj-nmsc.adb Minor reformatting
1899
1900         * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
1901         set and libraries are not supported.
1902
1903 2001-12-05  Ed Schonberg <schonber@gnat.com>
1904
1905         * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1906         private view explicitly, so the back-end can treat as a global
1907         when appropriate.
1908
1909 2001-12-05  Ed Schonberg <schonber@gnat.com>
1910
1911         * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1912          unit, always replace instance node with new body, for ASIS use.
1913
1914 2001-12-05  Vincent Celier <celier@gnat.com>
1915
1916         * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1917         libraries are not supported and both attributes Library_Name and
1918         Library_Dir are specified.
1919
1920         * prj-proc.adb (Expression): Set location of Result to location of
1921         first term.
1922
1923         * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1924         (prj-nmsc is now importing MLib.Tgt)
1925
1926         * prj-proc.adb: Put the change indicated above that was forgotten.
1927
1928 2001-12-05  Robert Dewar <dewar@gnat.com>
1929
1930         * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1931
1932 2001-12-05  Ed Schonberg <schonber@gnat.com>
1933
1934         * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1935         constraint, introduce explicit subtype declaration and derive from it.
1936
1937         * sem_ch3.adb: Minor reformatting
1938
1939 2001-12-05  Robert Dewar <dewar@gnat.com>
1940
1941         * checks.adb (Determine_Range): Increase cache size for checks.
1942         Minor reformatting
1943
1944         * exp_ch6.adb: Minor reformatting
1945         (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1946         a parameter whose root type is System.Address, since treating such
1947         subprograms as pure in the code generator is almost surely a mistake
1948         that will lead to unexpected results.
1949
1950         * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
1951         change handling of conversions.
1952
1953         * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1954
1955 2001-12-05  Ed Schonberg <schonber@gnat.com>
1956
1957         * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1958         aggregate with static wrong size, attach generated Raise node to
1959         declaration.
1960
1961 2001-12-05  Robert Dewar <dewar@gnat.com>
1962
1963         * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
1964         Fixes compilation abandoned bomb in B24009B.
1965
1966 2001-12-05  Ed Schonberg <schonber@gnat.com>
1967
1968         * sem_ch12.adb:
1969         Document use of Associated_Node on Selected_Components.
1970         (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1971         to clarify use of untyped descendant fields.
1972
1973 2001-12-05  Robert Dewar <dewar@gnat.com>
1974
1975         * prj-dect.ads: Add ??? comment
1976         Add 2001 to copyright notice (was not done in after all)
1977
1978         * prj-part.adb: Minor reformatting. Reword one awkward error message.
1979
1980         * prj.ads: Minor reformatting throughout, and add some ??? comments
1981
1982         * snames.ads: Minor reformatting
1983
1984 2001-12-05  Geert Bosch <bosch@gnat.com>
1985
1986         * snames.adb: Autoupdate
1987
1988 2001-12-05  Vincent Celier <celier@gnat.com>
1989
1990         * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1991
1992         * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1993
1994         * prj-env.adb: Minor comment changes (modifying -> extends).
1995
1996         * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1997
1998         * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
1999         Tok_Extends.
2000
2001         * prj.adb (Initialize): Change Modifying to Extends.
2002
2003         * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
2004
2005         * prj.ads: Minor comment change (Modifying -> extending).
2006
2007         * snames.ads: Change modifying to extends.
2008
2009 2001-12-05  Robert Dewar <dewar@gnat.com>
2010
2011         * sem_warn.adb: Remove stuff for conditionals, we are not going to
2012         do this after all.
2013
2014         * sem_warn.ads: Remove stuff for conditionals, we are not going to
2015         do this after all.  Add 2001 to copyright notice
2016
2017 2001-12-04  Geert Bosch <bosch@gnat.com>
2018
2019         *  einfo.h, sinfo.h, treeprs.ads: Regenerate.
2020
2021 2001-12-04  Robert Dewar <dewar@gnat.com>
2022
2023         * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
2024         location if we already have errors. Stops some cases of cascaded
2025         errors.
2026
2027         * errout.adb: Improve comment.
2028
2029 2001-12-04  Robert Dewar <dewar@gnat.com>
2030
2031         * sem_ch12.adb:
2032         (Analyze_Formal_Type_Definition): Defend against Error.
2033         (Analyze_Formal_Subprogram): Defend against Error.
2034
2035         * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
2036         remove following semicolon if present. Removes cascaded error.
2037
2038 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
2039
2040         * bindgen.adb:
2041         (Gen_Exception_Table_Ada): Write "begin" and then return if Num
2042          exceptions equals 0.
2043         (Gen_Exception_Table_C): Return if Num exceptions equals 0.
2044         Fixes PIWG E tests (which have to be run with -gnatL).
2045
2046 2001-12-04  Robert Dewar <dewar@gnat.com>
2047
2048         * einfo.ads: Minor reformatting
2049
2050 2001-12-04  Ed Schonberg <schonber@gnat.com>
2051
2052         * einfo.ads: Block_Node points to the identifier of the block, not to
2053         the block node itself, to preserve the link when the block is
2054         rewritten, e.g. within an if-statement with a static condition.
2055
2056         * inline.adb (Cleanup_Scopes): recover block statement from block
2057         entity using new meaning of Block_Node.
2058
2059         * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
2060         identifier of block node, rather than to node itself.
2061
2062 2001-12-04  Gary Dismukes <dismukes@gnat.com>
2063
2064         * layout.adb:
2065         (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
2066         (Discrimify): Go back to setting the Etypes of the selected component
2067         because the Vname component does not exist at this point and will
2068         fail name resolution. Also set Analyzed.
2069         Remove with and use of Sem_Res.
2070
2071 2001-12-04  Arnaud Charlet <charlet@gnat.com>
2072
2073         * Makefile.in: (HIE_SOURCES): add s-fat*.
2074
2075 2001-12-04  Robert Dewar <dewar@gnat.com>
2076
2077         * sem_attr.adb:
2078         (Compile_Time_Known_Attribute): New procedure.
2079         (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
2080          proper range check.
2081
2082 2001-12-04  Ed Schonberg <schonber@gnat.com>
2083
2084         * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
2085         processing discriminants to diagnose illegal default values.
2086
2087 2001-12-04  Ed Schonberg <schonber@gnat.com>
2088
2089         * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
2090         access discriminant within a type extension that constrains its
2091         parent discriminants.
2092
2093 2001-12-04  Ed Schonberg <schonber@gnat.com>
2094
2095         * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
2096         is malformed, use instance of Any_Id to allow analysis to proceed.
2097
2098         * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
2099         type definition is illegal.
2100         (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
2101         misplaced.
2102
2103 2001-12-04  Ed Schonberg <schonber@gnat.com>
2104
2105         * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
2106         constants.
2107
2108 2001-12-04  Robert Dewar <dewar@gnat.com>
2109
2110         * errout.adb: Minor reformatting
2111
2112 2001-12-04  Robert Dewar <dewar@gnat.com>
2113
2114         * exp_util.adb: Minor reformatting from last change
2115
2116         * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
2117         which is a rewriting of an expression, traverse the original
2118         expression to remove warnings that may have been posted on it.
2119
2120 2001-12-04  Ed Schonberg <schonber@gnat.com>
2121
2122         * exp_util.adb (Must_Be_Aligned): Return false for a component of a
2123         record that has other packed components.
2124
2125 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
2126
2127         * adaint.c: Minor cleanups.
2128
2129 2001-12-04  Douglass B. Rupp <rupp@gnat.com>
2130
2131         * adaint.c: Do not use utime.h on vxworks.
2132
2133 2001-12-04  Arnaud Charlet <charlet@gnat.com>
2134
2135         * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
2136         more confusion than it solves.
2137
2138 2001-12-04  Geert bosch <bosch@gnat.com>
2139
2140         * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
2141
2142 2001-12-04  Geert Bosch  <bosch@gnat.com>
2143
2144         * Makefile.in (update-sources): New target.
2145         For use by gcc_release script.
2146
2147 2001-12-04  Ed Schonberg <schonber@gnat.com>
2148
2149         * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
2150         a configuration pragma, it is now legal wherever a pragma can appear.
2151
2152 2001-12-04  Zack Weinberg  <zack@codesourcery.com>
2153
2154         * Makefile.in: Don't set ALL.  Delete @cross_defines@,
2155         @cross_overrides@, @build_overrides@ stanzas.  INTERNAL_CFLAGS
2156         is now @CROSS@ -DIN_GCC; update comment.
2157
2158 2001-12-04  Robert Dewar <dewar@gnat.com>
2159
2160         * einfo.adb (Has_Pragma_Pure_Function): New flag.
2161         Fix problem that stopped ceinfo from working
2162
2163         * einfo.ads (Has_Pragma_Pure_Function): New flag.
2164
2165         * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
2166
2167 2001-12-04  Douglas B. Rupp <rupp@gnat.com>
2168
2169         * gnatchop.adb:
2170         (File_Time_Stamp): New procedure.
2171         (Preserve_Mode): New boolean.
2172         (Write_Unit): Pass time stamp.
2173         Implement -p switch (preserve time stamps).
2174
2175         * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
2176
2177         * gnatchop.adb: Do usage info for -p switch
2178
2179         * adaint.h (__gnat_set_file_time_name): New function
2180
2181         * adaint.c (__gnat_set_file_time_name): Implement
2182
2183         * adaint.h: Fix typo
2184
2185 2001-12-03  Robert Dewar <dewar@gnat.com>
2186
2187         * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
2188         have Associated_Node.
2189
2190 2001-12-03  Robert Dewar <dewar@gnat.com>
2191
2192         * prj-proc.adb: Minor reformatting
2193
2194         * make.adb: Minor reformatting
2195
2196 2001-12-03  Geert Bosch <bosch@gnat.com>
2197
2198         * make.adb: Minor reformatting.
2199
2200 2001-12-03 Robert Dewar  <dewar@gnat.com>
2201
2202         * sem_ch12.adb: Minor reformatting
2203
2204 2001-12-03  Ed Schonberg <schonber@gnat.com>
2205
2206         * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
2207         push Standard on the stack before analyzing the instance body,
2208         in order to have a clean visibility environment.
2209
2210         * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
2211
2212 2001-12-03  Ed Schonberg <schonber@gnat.com>
2213
2214         * sem_ch12.adb (Instantiate_Package_Body): Protect against double
2215         instantiation of a body that contains an inlined body.
2216
2217 2001-12-03  Ed Schonberg <schonber@gnat.com>
2218
2219         * sem_ch12.adb:
2220         (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
2221         to prevent freezing within formal packages.
2222         (Freeze_Subprogram_Body): If body comes from another instance that
2223         appeared before its own body, place freeze node at end of current
2224         declarative part, to prevent a back-end crash.
2225         (Inline_Instance_Body): Handle properly a package instance within
2226         a subprogram instance that is a child unit.
2227
2228 2001-12-01  Graham Stott  <grahams@redhat.com>
2229
2230         * Makefile.in (misc.o): Add missing $(srcdir) prefix
2231         and add optabs.h dependency.
2232
2233         * misc.c: Include optabs.h
2234         (gnat_tree_code_type): Make static and const.
2235         (gnat_tree_code_length): Likewise.
2236         (gnat_tree_code_name): Likewise.
2237         (update_setjmp_buf): Obtain operands mode from insn_data.
2238
2239 2001-11-29  Richard Henderson  <rth@redhat.com>
2240
2241         * init.c: Remove obsolete dwarf2 frame.h section.
2242
2243 2001-11-29  Joseph S. Myers  <jsm28@cam.ac.uk>
2244
2245         * Make-lang.in (ada.generated-manpages): New dummy target.
2246
2247 2001-11-29  Ed Schonberg <schonber@gnat.com>
2248
2249         * g-os_lib.adb (Add_To_Command): use explicit loop to move string
2250         into Command, an array conversion is illegal here. Uncovered by
2251         ACATS B460005.
2252
2253 2001/11/28  Geert Bosch <bosch@gnat.com>
2254
2255         * init.c: Minor whitespace changes.
2256
2257 2001-11-28  Doug Rupp <rupp@gnat.com>
2258
2259         * init.c: (__gnat_install_handler,VMS): Increase size of alternate
2260         signal stack.
2261
2262 2001-11-28  Zack Weinberg  <zack@codesourcery.com>
2263
2264         * misc.c (gnat_expand_constant): Move declaration above
2265         definition of lang_hooks.
2266         (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
2267         (gnat_init): lang_expand_constant no longer exists.
2268
2269         (internal_error_function): Remove #ifdef HAVE_VPRINTF.  We
2270         always have vprintf.
2271         (gnat_init): Always call set_internal_error_function.
2272
2273 2001-11-27  Andreas Jaeger  <aj@suse.de>
2274
2275         * Makefile.in (stamp-tool_src_dir): Use symbolic link.
2276
2277 2001-11-27  Laurent Guerby  <guerby@acm.org>
2278
2279         * Makefile.in: Regenerate Ada dependencies.
2280
2281 2001-11-26  Richard Henderson  <rth@redhat.com>
2282
2283         * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
2284         gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
2285         gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
2286
2287 2001-11-25  Laurent Guerby  <guerby@acm.org>
2288
2289         * sysdep.c (rts_get_*): Fix style.
2290
2291 2001-11-19  Laurent Guerby  <guerby@acm.org>
2292
2293         * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
2294         since it is of no apparent use and cause warnings.
2295
2296 2001-11-18  Neil Booth  <neil@daikokuya.demon.co.uk>
2297
2298         * misc.c (gnat_decode_option, gnat_init_options): Make definitions
2299         static too.
2300         (gnat_init): Don't return NULL.
2301         (finish_parse): Remove.
2302
2303 2001-11-17  Laurent Guerby  <guerby@acm.org>
2304
2305         * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
2306         * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
2307         * io-aux.c: Provide K&R prototypes to all functions, reformat code.
2308         * lang-spec.h: Add missing struct field to silence warnings.
2309         * sysdep.c (rts_get_*): Provide K&R prototype.
2310         * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
2311         * traceback.c (Unlock_Task, Lock_Task): Likewise.
2312         * tracebak.c (__gnat_backtrace): Remove unused variable.
2313         * utils.c (end_subprog_body): Move to K&R style.
2314
2315 Thu Nov 15 18:16:17 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2316
2317         * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
2318
2319 2001-11-15  Neil Booth  <neil@daikokuya.demon.co.uk>
2320
2321         * misc.c (gnat_init): Change prototype.  Include the
2322         functionality of the old init_parse and init_decl_processing.
2323         (gnat_init_decl_processing): New prototype.
2324         (init_parse): Remove.
2325         * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
2326
2327 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
2328
2329         * misc.c (gnat_print_decl, gnat_print_type): Renamed.
2330         (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
2331         (print_lang_statistics, lang_print_xnode, print_lang_identifier,
2332         set_yydebug): Remove.
2333
2334 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
2335
2336         * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
2337         (struct lang_hooks): Constify.
2338         (language_string, lang_identify): Remove.
2339         * utils.c (init_decl_processing): Update.
2340
2341 2001-11-06  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
2342
2343         * misc.c: Include langhooks-def.h.
2344         * Makefile.in: Update.
2345
2346 2001-10-30  Robert Dewar <dewar@gnat.com>
2347
2348         * style.adb:
2349         (Check_Identifier): Rewrite circuit to be compatible with use of letters
2350         in the upper half of ASCII.
2351         (Check_Identifier): Minor reformatting
2352
2353 2001-10-30  Geert Bosch <bosch@gnat.com>
2354
2355         * (Associated_Node, Set_Associated_Node): Do not check for
2356         Freeze_Entity.
2357
2358 2001-10-30  Robert Dewar <dewar@gnat.com>
2359
2360         * a-reatim.ads: Minor reformatting
2361
2362 2001-10-30  Robert Dewar <dewar@gnat.com>
2363
2364         * gnatdll.adb: Minor reformatting throughout. Many ??? added for
2365         undocumented declarations.
2366
2367 2001-10-30  Pascal Obry <obry@gnat.com>
2368
2369         * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
2370         to the binder and linker.
2371         Minor style fix.
2372
2373         * mdll.ads: Fix layout.  Update copyright notice.
2374
2375         * mdll.adb: Fix layout.  Update copyright notice.
2376
2377 2001-10-30  Robert Dewar <dewar@gnat.com>
2378
2379         * usage.adb: Minor fix to output for -gnaty.
2380
2381 2001-10-30  Ed Schonberg <schonber@gnat.com>
2382
2383         * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
2384         to accommodate all its possible values.
2385
2386         * a-reatim.adb (Split): Special-case handling of Time_Span_First
2387         and of small absolute values of T.
2388
2389 2001-10-30  Richard Kenner <kenner@gnat.com>
2390
2391         * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
2392         set_mem_attributes since not needed and wrong if RESULT if a REG;
2393         fixes ACATS failures.
2394
2395 2001-10-30  Geert Bosch <bosch@gnat.com>
2396
2397         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
2398         s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
2399
2400 2001-10-30  Robert Dewar <dewar@gnat.com>
2401
2402         * bindusg.adb: Undocument -f switch.
2403
2404         * gnatcmd.adb: Remove /FULL_ELABORATION.
2405
2406         * opt.ads (Force_RM_Elaboration_Order): Document that this is
2407         obsolescent.
2408
2409         * gnatbind.adb: Output new warning for use of obsolescent -f switch.
2410
2411         * gnatbind.adb: Minor update of warning msg.
2412
2413 2001-10-30  Vincent Celier <celier@gnat.com>
2414
2415         * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
2416         for project file switches (-P (/PROJECT_FILE=),
2417          -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
2418         or MEDIUM or HIGH)
2419
2420 2001-10-30  Geert Bosch <bosch@gnat.com>
2421
2422         * decl.c: Minor whitespace fixes.
2423
2424 2001-10-30  Richard Kenner <kenner@gnat.com>
2425
2426         * utils2.c (build_allocator): Test for SIZE overflow in array case too
2427
2428 2001-10-30  Geert Bosch <bosch@gnat.com>
2429
2430         * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
2431         Found due to GCC 3.0 warning of using uninitialized value.
2432
2433         * layout.adb:
2434         (Get_Max_Size): Use variant record for tracking value/expression.
2435          Makes logic clearer and prevents warnings for uninitialized variables.
2436         (Layout_Array_Type): Use variant record for tracking value/expression.
2437          Makes logic clearer and prevents warnings for uninitialized variables.
2438
2439 2001-10-30  Robert Dewar <dewar@gnat.com>
2440
2441         * lib.adb: Minor reformatting
2442
2443         * s-taprop.ads: Minor reformatting
2444
2445 2001-10-29  Laurent Guerby  <guerby@acm.org>
2446
2447         * init.c:
2448         (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
2449         const.
2450         (_gnat_error_handler): Make MSG const.
2451
2452 2001-10-29  Richard Kenner <kenner@gnat.com>
2453
2454         * sysdep.c: Fix localtime_r problem on LynxOS.
2455         Also remove #elif to avoid warnings.
2456
2457         * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
2458         used by this.
2459
2460         * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
2461
2462 2001-10-28  Joseph S. Myers  <jsm28@cam.ac.uk>
2463
2464         * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
2465         exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
2466         g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
2467         g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
2468         layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
2469         s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
2470         sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
2471         sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
2472         sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
2473         types.ads, urealp.adb: Fix spelling errors.
2474
2475 2001-10-27  Laurent Guerby <guerby@acm.org>
2476
2477         * trans.c (gigi): Fix non determinism leading to bootstrap
2478         comparison failures for debugging information.
2479
2480 2001-10-26  Florian Weimer  <fw@deneb.enyo.de>
2481
2482         * gnat_rm.texi: Use @./@: where appropriate.
2483
2484 2001-10-26  Robert Dewar <dewar@gnat.com>
2485
2486         * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
2487
2488 2001-10-26  Richard Kenner <kenner@gnat.com>
2489
2490         * gmem.c (__gnat_gmem_read_next): Properly check for EOF
2491
2492 2001-10-26  Richard Kenner <kenner@gnat.com>
2493
2494         * decl.c (validate_size): Modify message for bad size to avoid
2495         implication that compiler is modifying the size.
2496
2497 2001-10-26  Robert Dewar <dewar@gnat.com>
2498
2499         * prj-util.adb: Minor reformatting. Fix bad header format.
2500
2501 2001-10-26  Robert Dewar <dewar@gnat.com>
2502
2503         * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
2504
2505         * sinfo.ads: Clarify use of Associated_Node (documentation only).
2506
2507         * sem_ch12.adb: Change Node4 to Associated_Node. Change
2508         Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
2509         much more narrowly in places where needed. These are cleanups.
2510
2511 2001-10-26  Joel Brobecker <brobecke@gnat.com>
2512
2513         * 5zosinte.ads (null_pthread): new constant.
2514
2515         * 5ztaprop.adb:
2516         (Initialize_TCB): Initialize thread ID to null, to be able to verify
2517          later that this field has been set.
2518         (Finalize_TCB): ditto.
2519         (Suspend_Task): Verify that the thread ID is not null before using it.
2520         (Resume_Task): ditto.
2521
2522         * s-tasdeb.adb:
2523         (Resume_All_Tasks): Lock the tasks list before using it.
2524         (Suspend_All_Tasks): ditto.
2525
2526 2001-10-26  Richard Kenner <kenner@gnat.com>
2527
2528         * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
2529         Make constant variant of designated type for Is_Access_Constant.
2530         Call update_pointer_to with main variant.
2531
2532         * trans.c (process_freeze_entity, process_type):
2533         Call update_pointer_to on main variant.
2534
2535         * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
2536         If main variant, update all other variants.
2537
2538         * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
2539         TREE_STATIC.
2540
2541 2001-10-26  Robert Dewar <dewar@gnat.com>
2542
2543         * prj-util.adb: Minor reformatting
2544
2545 2001-10-26  Robert Dewar <dewar@gnat.com>
2546
2547         * prj-util.adb: Minor reformatting
2548
2549 2001-10-26  Robert Dewar <dewar@gnat.com>
2550
2551         * prj-attr.adb: Minor reformatting throughout
2552
2553 2001-10-26  Robert Dewar <dewar@gnat.com>
2554
2555         * prj-attr.ads: Minor reformatting
2556         Add ??? comment (this whole spec has almost no comments)
2557
2558 2001-10-26  Vincent Celier <celier@gnat.com>
2559
2560         * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
2561         ("//") that precede the drive letter on Interix.
2562
2563 2001-10-26  Geert Bosch <bosch@gnat.com>
2564
2565         * gnat_rm.texi: Add GNAT Reference Manual.
2566
2567 2001-10-25  Robert Dewar <dewar@gnat.com>
2568
2569         * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
2570         is Error. Similar change for other renaming cases.
2571
2572 2001-10-25  Robert Dewar <dewar@gnat.com>
2573
2574         * s-atacco.ads: Add pragma Inline_Always for functions.
2575         Fix header format. Add copyright 2001
2576
2577 2001-10-25  Ed Schonberg <schonber@gnat.com>
2578
2579         * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
2580         return Error rather than Empty so that analysis can proceed.
2581
2582 2001-10-25  Ed Schonberg <schonber@gnat.com>
2583
2584         * sem_util.adb (Enter_Name): better handling of cascaded error
2585         messages when a unit appears in its own context.
2586
2587 2001-10-25  Ed Schonberg <schonber@gnat.com>
2588
2589         * sem_util.adb (Defining_Entity): in case of error, attach created
2590         entity to specification, so that semantic analysis can proceed.
2591
2592 2001-10-25  Robert Dewar <dewar@gnat.com>
2593
2594         * sem_util.adb
2595         (Defining_Entity): Deal with Error.
2596         (Process_End_Label): Deal with bad end label for.
2597
2598 2001-10-25  Ed Schonberg <schonber@gnat.com>
2599
2600         * sem_elab.adb (Check_A_Call): refine message when call is in an
2601         instance but callee is not declared in the generic unit.
2602
2603 2001-10-25  Ed Schonberg <schonber@gnat.com>
2604
2605         * sem_elab.adb (Check_A_Call): check for renaming before finding the
2606         enclosing unit, which may already be different from the calling unit.
2607
2608 2001-10-25  Geert Bosch <bosch@gnat.com>
2609
2610         * 4gintnam.ads: fix header format.
2611
2612 2001-10-25  Ed Schonberg <schonber@gnat.com>
2613
2614         * sem_res.adb (Resolve_Call): if the call is actually an indexing
2615         operation on the result of a parameterless call, perform elaboration
2616         check after the node has been properly rewritten.
2617
2618         * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
2619         inlined within the generic tree, the defining identifier is not a
2620         compilation_unit.
2621
2622 2001-10-25  Ed Schonberg <schonber@gnat.com>
2623
2624         * sem_res.adb (Resolve): special-case resolution of Null in an
2625          instance or an inlined body to avoid view conflicts.
2626
2627         * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
2628          compatibility by retrieving the access type of the generic copy.
2629
2630 2001-10-25  Robert Dewar <dewar@gnat.com>
2631
2632         * sem_ch3.adb:
2633         (Analyze_Number_Declaration): Handle error expression.
2634         (Signed_Integer_Type_Declaration): Handle error bound.
2635         (Analyze_Subtype_Indication): Handle error range.
2636
2637         * sem_util.adb (Get_Index_Bounds): Check for Error.
2638
2639 2001-10-25  Robert Dewar <dewar@gnat.com>
2640
2641         * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
2642         in no run time mode.
2643
2644 2001-10-25  Pascal Obry <obry@gnat.com>
2645
2646         * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
2647         mode case for ALLOC case.
2648
2649         * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
2650         all platforms. Improvement of last change.
2651
2652 2001-10-25  Robert Dewar <dewar@gnat.com>
2653
2654         * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
2655
2656 2001-10-25  Geert Bosch  <bosch@gnat.com>
2657
2658         * osint.adb (Is_Relative): Remove duplicate.
2659
2660 2001-10-25  Pascal Obry <obry@gnat.com>
2661
2662         * osint.adb (Read_Default_Search_Dirs): correctly detect relative
2663         pathnames in UNIX and DOS style with drive letter.
2664         (Is_Relative): new routine.
2665
2666         * osint.adb: Minor reformatting
2667
2668         * osint.adb (Is_Relative): implementation using
2669         GNAT.OS_Lib.Is_Absolute_Path. Better fix.
2670
2671 2001-10-25  Pascal Obry <obry@gnat.com>
2672
2673         * g-dirope.adb (Basename): correctly compute offset between the
2674         original Path and the translated one.
2675
2676         * g-dirope.adb: (Base_Name): add some comments.
2677
2678 2001-10-25  Robert Dewar <dewar@gnat.com>
2679
2680         * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
2681         in HIE mode, avoids compilation abandoned message
2682
2683         * exp_imgv.adb: Correct typo in previous change
2684
2685         * exp_imgv.adb: Correct typo in previous change (not my day!)
2686
2687 2001-10-25  Robert Dewar <dewar@gnat.com>
2688
2689         * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
2690
2691 2001-10-25  Pascal Obry <obry@gnat.com>
2692
2693         * g-awk.ads: Move all pragma inlines next to the routine
2694          declarations. This is more uniform with other GNAT spec.
2695
2696 2001-10-22  Geert Bosch  <bosch@gnat.com>
2697
2698         * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
2699
2700 2001-10-19  Geert Bosch  <bosch@gnat.com>
2701
2702         * Makefile.in (tools, gnattools): Remove gnatmem.
2703
2704 2001-10-17  Richard Henderson  <rth@redhat.com>
2705
2706         * Makefile.in (misc.o): Depend on langhooks.h.
2707         * misc.c: Include it.
2708         (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
2709         (LANG_HOOKS_DECODE_OPTION): New.
2710         (lang_hooks): Use LANG_HOOKS_INITIALIZER.
2711
2712 2001-10-16  Florian Weimer  <fw@deneb.enyo.de>
2713
2714         * trans.c (tree_transform): Adjust to recent change in
2715         expand_asm_operands to implement named asm operands.
2716
2717 2001-10-11  Ed Schonberg  <schonber@gnat.com>
2718
2719         * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
2720         renaming of discriminant for mutable record type.
2721
2722 2001-10-11  Robert Dewar  <dewar@gnat.com>
2723
2724         * validsw.adb: Properly save -gnatVn status.
2725
2726 2001-10-11  Robert Dewar <dewar@gnat.com>
2727
2728         * usage.adb: Add lines for V switch.
2729
2730         * gnatcmd.adb (COMPILE): Revise translations for -gnatV
2731         (/VALIDITY_CHECKING).
2732
2733 2001-10-11  Ed Schonberg <schonber@gnat.com>
2734
2735         * sem_type.adb (Add_One_Interp): an operator for a type declared in
2736         an extension of System is known to be visible.
2737
2738 2001-10-11  Ed Schonberg <schonber@gnat.com>
2739
2740         * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
2741         properly. Fixes regression on ACATS C34005G.
2742
2743 2001-10-11  Robert Dewar <dewar@gnat.com>
2744
2745         * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
2746         loop in generic instance, since this is likely not very useful.
2747
2748 2001-10-11  Robert Dewar <dewar@gnat.com>
2749
2750         * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
2751         the error message for high integrity mode.
2752
2753         * rtsfind.adb (RTE): Give message if we try to find an entity that
2754         is not available in high integrity mode.
2755
2756         * rtsfind.ads:
2757         (OK_To_Use_In_HIE_Mode): New array.
2758         (RTE): May return Empty in high integrity mode.
2759
2760         * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
2761         OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
2762
2763         * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
2764         unit if not inlined always and in no runtime mode. Fixes problem
2765         caused by new Rtsfind changes.
2766
2767         * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
2768         body is deleted.
2769
2770         * rtsfind.adb (RTE): Make sure we do not try to load unit after
2771         giving message for entity not available in high integrity mode.
2772
2773 2001-10-11  Pascal Obry <obry@gnat.com>
2774
2775         * impunit.adb: Add GNAT.CRC32.
2776
2777 2001-10-11  Ed Schonberg <schonber@gnat.com>
2778
2779         * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
2780         properly the case where one universal operand in a non-static
2781         exponentiation of a real literal.
2782
2783 2001-10-11  Ed Schonberg <schonber@gnat.com>
2784
2785         * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
2786         clause, return the gobal finalization list, for lack of anthing else.
2787
2788 2001-10-11  Ed Schonberg <schonber@gnat.com>
2789
2790         * exp_ch7.adb (Make_Transient_Block): if statement is within
2791         exception handler, always use new transient scope to place Clean
2792         procedure.
2793
2794 2001-10-11  Pascal Obry <obry@gnat.com>
2795
2796         * Makefile.in:
2797         (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2798         (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2799         (GNATLS_RTL_OBJS): add g-crc32.o
2800         (GNATMAKE_RTL_OBJS): add g-crc32.o
2801
2802         * ali-util.adb:
2803         (CRC_Match): new function.
2804         (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
2805         instead of the previous simple checksum algorithm.
2806         (Time_Stamp_Mismatch): use CRC_Match for comparison.
2807         (Set_Source_Table): idem.
2808
2809         * ali-util.ads:
2810         (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
2811         instead of simple checksum.
2812         (CRC_Match): new function.
2813         (CRC_Error): new constant.
2814
2815         * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
2816         a CRC now and not a simple checksum. A CRC uses lower-case hex
2817         letters, fixes ambiguity in parsing.
2818
2819         * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
2820         is what this variable will store.
2821
2822         * bcheck.adb: Change reference to chechsum in comments by CRC.
2823         (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
2824         rename All_Checksum_Match to All_CRC_Match. Change due to API
2825         renaming since now GNAT does not use a simple checksum but a
2826         CRC using GNAT.CRC32.
2827
2828         * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
2829         now and not anymore a simple checksum.
2830
2831         * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
2832         places.
2833
2834         * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
2835
2836         * scans.adb:
2837         (Restore_Scan_State): rename Checksum to CRC.
2838         (Save_Scan_State): idem.
2839
2840         * scans.ads:
2841         With GNAT.CRC32.
2842         (Checksum): rename to CRC.
2843         (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
2844
2845         * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
2846         GNAT.CRC32).  Update copyright notice.
2847
2848         * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
2849         GNAT.CRC32).  Update copyright notice.
2850
2851         * scn.adb:
2852         (Accumulate_Checksum): removed.
2853         (Update): new procedure. Add a wide-character into the CRC.
2854
2855         * sinput-l.adb:
2856         (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
2857         (Load_File): fix initialization of S (change Source_Checksum to
2858         Source_CRC)
2859
2860         * sinput-p.adb (Load_Project_File): rename Source_Checksum to
2861         Source_CRC in S initialization.
2862
2863         * sinput.adb (Source_Checksum): renamed to Source_CRC.
2864
2865         * sinput.ads (Source_Checksum): renamed to Source_CRC.
2866         Update comments for the CRC.
2867
2868         * types.adb (Hex): Use lowercase for the letter part.
2869
2870         * types.ads (Get_Hex_String): Returns the hexadecimal representation
2871         for a word. This is currently used only for CRC. In previous version,
2872         the checksum was using a representation with all letter being
2873         upper-case. With the new implementation (using CRC) we do not remove
2874         the 32th bit of the CRC, so we can have an upper-case starting letter
2875         in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2876         It is ambigous since the CRC was optional and could be followed by
2877         options like EB, EE. So now this routines uses lower-case letter for
2878         the hexadecimal representation. Strange enough only lower case letters
2879         where checked in Scan_ALI (even if this was not a possible case).
2880
2881         * gnatvsn.ads (Library_Version): changed to 3.15a.
2882
2883         * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
2884         for the compiler.
2885
2886         * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
2887         for the compiler.
2888
2889         * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2890         Add 2001 to copyright notice
2891         (Accumulate_Checksum): Modify to use System.CRC32.
2892
2893         * ali-util.ads: Redo changes of previous revision to continue to use
2894         the word Checksum. Add 2001 to copyright notice.
2895
2896         * ali.adb: Undo some of previous changes, not needed.
2897         Keep the change for lower case letters in the checksum.
2898
2899         * ali.ads: Undo previous change not needed.
2900
2901         * bcheck.adb: Undo most of previous change, not needed.
2902         But do use Checksums_Match for checksum comparison.
2903
2904         * gnatls.adb: Undo most of previous change, not needed.
2905         But do use Checksums_Match for comparing checksums.
2906
2907         * lib-load.adb: Undo previous change, not needed.
2908
2909         * lib-writ.adb: Undo previous change, not needed.
2910
2911         * lib-writ.ads: Document that checksums use lower case,
2912         not upper case letters.
2913
2914         * scans.adb: Undo previous change, not needed
2915
2916         * scans.ads: Undo previous change, not needed.
2917
2918         * scn-nlit.adb: Undo previous changes, not needed.
2919
2920         * scn-slit.adb: Undo previous change, not needed.  Fix header format.
2921
2922         * scn.adb:
2923         (Accumulate_Checksum): Use System.CRC32.
2924         (Initialize_Checksum): New procedure.
2925         Remove other changes of previous revision.
2926
2927         * sinput-p.adb: Undo previous change, not needed.
2928
2929         * sinput.adb: Undo previous change, not needed.
2930
2931         * sinput-l.adb: Undo previous change, not needed.
2932
2933         * sinput.ads: Undo previous change, not needed.  Keep only comment
2934         on new checksum algorithm
2935
2936         * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2937         Also remove a-tags and a-stream from GNAT sources.
2938
2939         * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
2940
2941         * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2942
2943 2001-10-11  Geert Bosch  <bosch@gnat.com>
2944
2945         * einfo.h: Regenerate.
2946
2947         * nmake.ads: Regenerate.
2948
2949         * nmake.adb: Regenerate.
2950
2951         * sinfo.h: Regenerate.
2952
2953         * treeprs.adb: Regenerate.
2954
2955 2001-10-10  Geert Bosch  <bosch@gnat.com>
2956
2957         * gnat-style.texi: New file describing coding guidelines for Ada.
2958
2959 2001-10-10  Ed Schonberg <schonber@gnat.com>
2960
2961         * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
2962         is Flag174.
2963
2964 2001-10-10  Geert Bosch  <bosch@gnat.com>
2965
2966         * snames.ads: Add new names for project facility.
2967
2968         * snames.adb: Update to reflect snames.ads changes.
2969
2970         * snames.h: Update to reflect snames.ads changes.
2971
2972 2001-10-10  Vincent Celier <celier@gnat.com>
2973
2974         * make.adb:
2975         (Add_Switches): reflect the changes for the switches attributes
2976         Default_Switches indexed by the programming language,
2977         Switches indexed by the file name.
2978         (Collect_Arguments_And_Compile): Idem.
2979         Reflect the attribute name changes.
2980
2981         * prj-attr.adb:
2982         (Initialisation_Data): Change the names of some packages and
2983         attributes.
2984         (Initialize): process case insensitive associative arrays.
2985
2986         * prj-attr.ads:
2987         (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
2988
2989         * prj-dect.adb:
2990         (Parse_Attribute_Declaration): For case insensitive associative
2991          arrays, set the index string to lower case.
2992
2993         * prj-env.adb:
2994         Reflect the changes of the project attributes.
2995
2996         * prj-nmsc.adb:
2997         Replace Check_Naming_Scheme by Ada_Check and
2998         Language_Independent_Check.
2999
3000         * prj-nmsc.ads:
3001         Replaced Check_Naming_Scheme by 2 procedures:
3002         Ada_Check and Language_Independent_Check.
3003
3004         * prj-proc.adb:
3005         (Process_Declarative_Items): For case-insensitive associative
3006         arrays, set the index string to lower case.
3007         (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
3008         Prj.Nmsc.Check_Naming_Scheme.
3009
3010         * prj-tree.adb:
3011         (Case_Insensitive): New function
3012         (Set_Case_Insensitive): New procedure
3013
3014         * prj-tree.ads:
3015         (Case_Insensitive): New function
3016         (Set_Case_Insensitive): New procedure
3017         (Project_Node_Record): New flag Case_Insensitive.
3018
3019         * prj-util.adb:
3020         (Value_Of): new function to get the string value of a single
3021         string variable or attribute.
3022
3023         * prj-util.ads:
3024         (Value_Of): new function to get the string value of a single
3025         string variable or attribute.
3026
3027         * prj.adb:
3028         (Ada_Default_Spec_Suffix): New function
3029         (Ada_Default_Impl_Suffix): New function
3030         Change definitions of several constants to reflect
3031         new components of record types.
3032
3033         * prj.ads:
3034         (Naming_Data): Change several components to reflect new
3035         elements of naming schemes.
3036         (Project_Data): New flags Sources_Present and
3037         Language_Independent_Checked.
3038         (Ada_Default_Spec_Suffix): New function.
3039         (Ada_Default_Impl_Suffix): New function.
3040
3041         * snames.ads:
3042         Modification of predefined names for project manager: added
3043         Implementation, Specification_Exceptions, Implementation_Exceptions,
3044         Specification_Suffix, Implementation_Suffix, Separate_Suffix,
3045         Default_Switches, _Languages, Builder, Cross_Reference,
3046         Finder. Removed Body_Part, Specification_Append, Body_Append,
3047         Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
3048         Gnatlink.
3049
3050         * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
3051         Add comments.
3052
3053         * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
3054         not that it is Nil_Variable_Value.
3055
3056         * prj.ads: Add ??? for uncommented declarations
3057
3058 2001-10-10  Ed Schonberg <schonber@gnat.com>
3059
3060         * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
3061         constant, do not indicate possible modification, so that gigi can
3062         treat it as a bona fide constant.
3063
3064 2001-10-10  Robert Dewar <dewar@gnat.com>
3065
3066         * sem_prag.adb: Add processing for pragma External.
3067
3068         * snames.ads: Add entry for pragma External.
3069
3070         * par-prag.adb: Add pragma External.
3071
3072         * snames.adb: Updated to match snames.ads.
3073
3074 2001-10-10  Ed Schonberg <schonber@gnat.com>
3075
3076         * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
3077         a dynamic task if the allocator appears in an indexed assignment
3078         or selected component assignment.
3079
3080         * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
3081         For a dynamic task in an assignment statement, use target of
3082         assignment to generate meaningful name.
3083
3084 2001-10-10  Ed Schonberg <schonber@gnat.com>
3085
3086         * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
3087         a generic package.
3088
3089         * einfo.ads: Body_Entity is also defined for generic package.
3090         Documentation change only
3091
3092         * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
3093         others_choice for a discriminated component initialization,
3094         convert discriminant references into the corresponding discriminals.
3095
3096         * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
3097         only if original type is private and expression has to be wrapped
3098         in a conversion.
3099
3100         * checks.adb:
3101         (Apply_Constraint_Check): Do not perform length check
3102         if expression is an aggregate with only an others_choice.
3103         (Length_N_Cond): two references to the same in_parameter
3104         (typically the discriminal in an init_proc) denote the same value.
3105         Two useful optimization uncovered by bugfixes above.
3106
3107 2001-10-10  Robert Dewar <dewar@gnat.com>
3108
3109         * xeinfo.adb: Change int to char in translation of enumeration types.
3110         This fixes a problem in the C representation of component alignment.
3111         Add 2001 to copyright notice
3112
3113 2001-10-10  Richard Kenner <kenner@gnat.com>
3114
3115         * decl.c: (validate_size): Do check size of object of integral type
3116         if it is a packed array type.
3117
3118 2001-10-10  Richard Kenner <kenner@gnat.com>
3119
3120         * decl.c: (gnat_to_gnu_entity, case object): Also materialize
3121         VAR_DECL for constant if not Is_Public but -O0.
3122
3123 2001-10-10  Richard Kenner  <kenner@gnat.com>
3124
3125         * misc.c (struct lang_hooks): Add new initializer to match GCC change.
3126
3127 2001-10-10  Geert Bosch  <bosch@gnat.com>
3128
3129         * xnmake.adb (XNmake): Fix handling of -s/-b options.  No longer
3130         use '/' as switch character, allowing for absolute file names.
3131
3132 2001-10-09  Joseph S. Myers  <jsm28@cam.ac.uk>
3133
3134         * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
3135         FSF address.
3136
3137 2001-10-08  Geert Bosch  <bosch@gnat.com>
3138
3139         * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
3140         Automatically build utilities when files need to be regenerated.
3141
3142 2001-10-08  Geert Bosch  <bosch@gnat.com>
3143
3144         * xsnames.adb: New utility for updating snames.ads and snames.adb
3145
3146 2001-10-08  Zack Weinberg  <zack@codesourcery.com>
3147
3148         * Make-lang.in (ADAFLAGS): Add -W -Wall.
3149         (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
3150         (gnat1): Also depend on attribs.o.
3151         (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
3152         * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
3153         (ADAC): Set to @ADAC@ in stage1, $(CC) later.
3154         (ADAFLAGS): Add -W -Wall.
3155         (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
3156         take out CFLAGS.
3157
3158         (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
3159         s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
3160         s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
3161         Use $(ADAC), not $(CC), as compilation command.
3162
3163         (gnattools): Depend directly on tools to build, don't use
3164         recursive make.
3165         (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
3166
3167         * einfo.h, sinfo.h: New files (autogenerated).
3168
3169 2001-10-08  Richard Henderson  <rth@redhat.com>
3170
3171         * comperr.adb (Abort_In_Progress): New.
3172         (Compiler_Abort): Use it to prevent recursion.
3173
3174 2001-10-08  Robert Dewar <dewar@gnat.com>
3175
3176         * atree.adb: Set Error_Posted in Error node, helps error recovery.
3177
3178         * par-endh.adb (Output_End_Expected): We should also not test
3179         Error_Posted on the Error node, since now it is always set.
3180
3181         * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
3182         to help error recovery. Part of general work on 9407-004.
3183
3184         * par.adb: Add ??? for misuse of error
3185
3186         * sem_res.adb:
3187         (Resolve): Defend against Error, fixes 9407-003.
3188         (Resolve_Discrete_Subtype_Indication): Defend against Error.
3189
3190         * sinfo.ads (N_Error): Now has Etype field (which will be set
3191         to Any_Type to help error recovery).
3192
3193 2001-10-08  Richard Kenner (kenner@gnat.com)
3194
3195         * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
3196         Consistently set MEM attributes from expression; fixes
3197         bootstrap failure on x86.
3198
3199 2001-10-08  Geert Bosch  (bosch@gnat.com)
3200
3201         * 5oosinte.adb: Add 2001 to copyright notice.
3202
3203 2001-10-08  Geert Bosch  (bosch@gnat.com)
3204
3205         * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
3206
3207         * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
3208
3209 2001-10-07  Joseph S. Myers  <jsm28@cam.ac.uk>
3210
3211         * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
3212
3213 2001-10-05  Geert Bosch  (bosch@gnat.com)
3214
3215         * adaint.h: Small formatting fix.
3216
3217 2001-10-04  Geert Bosch  <bosch@gnat.com>
3218
3219         * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
3220         Arg is int, not FILE *, in dummy version of functions.
3221
3222         * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
3223         Arg is int, not FILE *.
3224
3225 2001-10-04  Geert Bosch  <bosch@gnat.com>
3226
3227         * 3lsoccon.ads: Added file, missed with initial check ins.
3228
3229         * 4lintnam.ads: Fix header format.
3230         Change Linux to GNU/Linux.
3231
3232         * 5iosinte.adb: Change Linux to GNU/Linux.
3233
3234         * 5iosinte.ads: Change Linux to GNU/Linux.
3235
3236         * 5itaprop.adb: Change Linux to GNU/Linux.
3237
3238         * 5itaspri.ads: Change Linux to GNU/Linux.
3239         Update copyright notice.
3240
3241         * 5lintman.adb: Change Linux to GNU/Linux.
3242
3243         * 5lml-tgt.adb: Change Linux to GNU/Linux.
3244
3245         * 5losinte.ads: Change Linux to GNU/Linux.
3246
3247         * 5lsystem.ads: Change Linux to GNU/Linux.
3248
3249         * 5qosinte.adb: Change Linux to GNU/Linux.
3250
3251         * 5qosinte.ads: Change Linux to GNU/Linux.
3252
3253         * 5qparame.ads: Change Linux to GNU/Linux.
3254
3255         * 5qtaprop.adb: Change Linux to GNU/Linux.
3256
3257         * 5qtaspri.ads: Change Linux to GNU/Linux.
3258         Add 2001 to copyright notice.
3259
3260         * 5vintman.ads: Change Linux to GNU/Linux.
3261         Fix header format.  Add 2001 to copyright notice.
3262
3263         * g-soccon.ads: Change Linux to GNU/Linux.
3264
3265         * g-trasym.ads: Change Linux to GNU/Linux.
3266         Add 2001 to copyright notice.
3267
3268         * memtrack.adb: Change Linux to GNU/Linux.
3269
3270         * s-intman.ads: Change Linux to GNU/Linux.
3271         Add 2001 to copyright notice.  Fix header format.
3272
3273         * s-stache.adb: Change Linux to GNU/Linux.
3274
3275         * adaint.c: Change Linux to GNU/Linux.
3276
3277         * cio.c: Change Linux to GNU/Linux.
3278
3279         * cstreams.c: Change Linux to GNU/Linux.
3280
3281         * init.c: Change Linux to GNU/Linux.
3282
3283         * gmem.c: Change Linux to GNU/Linux.
3284
3285         * tracebak.c: Change Linux to GNU/Linux.
3286
3287
3288 2001-10-02  Geert Bosch  <bosch@gnat.com>
3289
3290         * misc.c (insert_default_attributes): Add dummy version.