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