OSDN Git Service

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