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