OSDN Git Service

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