1 2002-08-14 Release Manager
5 2002-07-25 Release Manager
9 2002-05-26 Joseph S. Myers <jsm28@cam.ac.uk>
11 * gnatvsn.ads (Gnat_Version_String): Change to "3.1.1 20020526
14 2002-05-14 Release Manager
18 2002-05-14 Release Manager
22 2002-05-07 Florian Weimer <fw@deneb.enyo.de>
24 * nmake.adt, treeprs.adt: Shorten long Revision: line.
26 * xnmake.adb, xtreeprs.adb: Do not write comment trailer for
29 2002-05-05 Florian Weimer <fw@deneb.enyo.de>
31 * 4aintnam.ads, 4cintnam.ads, 4dintnam.ads, 4hintnam.ads,
32 4mintnam.ads, 4nintnam.ads, 4ointnam.ads, 4onumaux.ads,
33 4pintnam.ads, 4rintnam.ads, 4sintnam.ads, 4uintnam.ads,
34 4vcalend.ads, 4vintnam.ads, 4wintnam.ads, 4zintnam.ads,
35 4znumaux.ads, 5avxwork.ads, 5etpopse.adb, 5gintman.adb,
36 5gproinf.ads, 5gtasinf.adb, 5ninmaop.adb, 5nintman.adb,
37 5oparame.adb, 5pvxwork.ads, 5qvxwork.ads, 5rparame.adb,
38 5sintman.adb, 5stasinf.adb, 5stpopse.adb, 5svxwork.ads,
39 5uintman.adb, 5vinmaop.adb, 5vintman.adb, 5vtpopde.adb,
40 5vtpopde.ads, 5wosprim.adb, 6vinterf.ads, 7sinmaop.adb,
41 7sosprim.adb, 7stpopsp.adb, 86numaux.ads, 9drpc.adb, a-astaco.adb,
42 a-astaco.ads, a-caldel.ads, a-calend.ads, a-chahan.ads,
43 a-charac.ads, a-chlat1.ads, a-colien.adb, a-colien.ads,
44 a-decima.adb, a-decima.ads, a-diocst.adb, a-diocst.ads,
45 a-direio.adb, a-dynpri.ads, a-excpol.adb, a-filico.ads,
46 a-finali.ads, a-flteio.ads, a-fwteio.ads, a-inteio.ads,
47 a-interr.adb, a-intnam.ads, a-intsig.adb, a-intsig.ads,
48 a-ioexce.ads, a-iwteio.ads, a-lfteio.ads, a-lfwtio.ads,
49 a-liteio.ads, a-liwtio.ads, a-llftio.ads, a-llfwti.ads,
50 a-llitio.ads, a-lliwti.ads, a-ncelfu.ads, a-ngcoty.ads,
51 a-ngelfu.ads, a-nlcefu.ads, a-nlcoty.ads, a-nlelfu.ads,
52 a-nllcef.ads, a-nllcty.ads, a-nllefu.ads, a-nscefu.ads,
53 a-nscoty.ads, a-nselfu.ads, a-nucoty.ads, a-nuflra.adb,
54 a-nuflra.ads, a-numaux.ads, a-numeri.ads, a-sequio.ads,
55 a-sfteio.ads, a-sfwtio.ads, a-siocst.adb, a-siocst.ads,
56 a-siteio.ads, a-siwtio.ads, a-ssicst.adb, a-ssicst.ads,
57 a-ssitio.ads, a-ssiwti.ads, a-storio.adb, a-storio.ads,
58 a-stream.ads, a-strfix.ads, a-string.ads, a-strsea.adb,
59 a-strsea.ads, a-strunb.ads, a-ststio.ads, a-stunau.adb,
60 a-stunau.ads, a-stwibo.ads, a-stwifi.adb, a-stwifi.ads,
61 a-stwima.ads, a-stwise.adb, a-stwise.ads, a-sytaco.ads,
62 a-tags.ads, a-tasatt.ads, a-teioed.ads, a-ticoau.adb,
63 a-ticoau.ads, a-ticoio.adb, a-ticoio.ads, a-tideau.ads,
64 a-tideio.ads, a-tienau.ads, a-tifiio.ads, a-tiflau.adb,
65 a-tiflau.ads, a-tiflio.ads, a-tiinau.ads, a-tiinio.ads,
66 a-timoio.adb, a-tiocst.adb, a-tiocst.ads, a-titest.adb,
67 a-titest.ads, a-unccon.ads, a-uncdea.ads, a-wtcoau.adb,
68 a-wtcoau.ads, a-wtcoio.adb, a-wtcoio.ads, a-wtcstr.adb,
69 a-wtcstr.ads, a-wtdeio.ads, a-wtedit.ads, a-wtenau.ads,
70 a-wtfiio.ads, a-wtflau.adb, a-wtflau.ads, a-wtflio.ads,
71 a-wtinau.adb, a-wtinau.ads, a-wtinio.ads, a-wtmoau.adb,
72 a-wtmoau.ads, a-wtmoio.adb, a-wtmoio.ads, a-wttest.adb,
73 a-wttest.ads, ada.ads, binde.ads, bindgen.ads, bindusg.ads,
74 calendar.ads, ceinfo.adb, debug_a.adb, debug_a.ads, directio.ads,
75 elists.ads, exp_attr.ads, exp_ch10.ads, exp_ch12.ads,
76 exp_ch13.ads, exp_ch2.ads, exp_ch6.ads, exp_code.ads,
77 exp_disp.ads, exp_dist.ads, exp_fixd.ads, exp_imgv.ads,
78 exp_intr.ads, exp_prag.ads, exp_smem.ads, exp_vfpt.adb,
79 exp_vfpt.ads, frontend.ads, g-busora.adb, g-busorg.adb,
80 g-casuti.adb, g-casuti.ads, g-curexc.ads, g-debuti.adb,
81 g-debuti.ads, g-hesora.adb, g-hesorg.adb, g-io_aux.ads,
82 g-moreex.adb, g-speche.ads, g-spitbo.adb, g-spitbo.ads,
83 g-sptabo.ads, g-sptain.ads, g-sptavs.ads, get_targ.adb,
84 gnat1drv.ads, gnatbind.ads, gnatcmd.ads, gnatlink.ads, gnatls.ads,
85 gnatmake.adb, gnatmake.ads, gnatprep.ads, gnatpsys.adb, hlo.adb,
86 hlo.ads, i-c.ads, i-cexten.ads, i-fortra.adb, i-os2err.ads,
87 i-os2lib.ads, i-os2syn.ads, i-os2thr.ads, i-pacdec.ads,
88 interfac.ads, ioexcept.ads, itypes.ads, krunch.ads, lib-sort.adb,
89 live.ads, machcode.ads, makeusg.ads, math_lib.adb, mdllfile.adb,
90 nlists.adb, nlists.ads, par-ch2.adb, par-labl.adb, par.ads,
91 prj-com.ads, s-addima.adb, s-addima.ads, s-arit64.ads,
92 s-assert.adb, s-assert.ads, s-asthan.adb, s-asthan.ads,
93 s-atacco.adb, s-chepoo.ads, s-direio.ads, s-errrep.adb,
94 s-errrep.ads, s-exnflt.ads, s-exngen.ads, s-exnint.ads,
95 s-exnlfl.ads, s-exnlin.ads, s-exnllf.ads, s-exnlli.ads,
96 s-exnsfl.ads, s-exnsin.ads, s-exnssi.ads, s-expflt.ads,
97 s-expgen.ads, s-expint.ads, s-explfl.ads, s-explin.ads,
98 s-expllf.ads, s-explli.ads, s-expllu.adb, s-expllu.ads,
99 s-expmod.adb, s-expmod.ads, s-expsfl.ads, s-expsin.ads,
100 s-expssi.ads, s-expuns.adb, s-expuns.ads, s-fatflt.ads,
101 s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads, s-finimp.ads,
102 s-fore.adb, s-fore.ads, s-gloloc.adb, s-imgbiu.adb, s-imgboo.adb,
103 s-imgcha.adb, s-imgint.adb, s-imgllb.adb, s-imglld.adb,
104 s-imglli.adb, s-imgllu.adb, s-imgllw.adb, s-imguns.adb,
105 s-imgwch.adb, s-imgwiu.adb, s-inmaop.ads, s-io.ads, s-mantis.adb,
106 s-mantis.ads, s-pack03.ads, s-pack05.ads, s-pack07.ads,
107 s-pack09.ads, s-pack11.ads, s-pack13.ads, s-pack15.ads,
108 s-pack17.ads, s-pack19.ads, s-pack21.ads, s-pack23.ads,
109 s-pack25.ads, s-pack27.ads, s-pack29.ads, s-pack31.ads,
110 s-pack33.ads, s-pack35.ads, s-pack37.ads, s-pack39.ads,
111 s-pack41.ads, s-pack43.ads, s-pack45.ads, s-pack47.ads,
112 s-pack49.ads, s-pack51.ads, s-pack53.ads, s-pack55.ads,
113 s-pack57.ads, s-pack59.ads, s-pack61.ads, s-pack63.ads,
114 s-pooglo.ads, s-pooloc.ads, s-poosiz.ads, s-proinf.adb,
115 s-proinf.ads, s-rpc.ads, s-sequio.adb, s-sequio.ads, s-shasto.ads,
116 s-sopco3.adb, s-sopco4.adb, s-sopco5.adb, s-stoele.adb,
117 s-stoele.ads, s-stopoo.ads, s-stratt.adb, s-stratt.ads,
118 s-strops.adb, s-taenca.ads, s-tasinf.adb, s-tasren.ads,
119 s-tasuti.ads, s-vaflop.ads, s-valboo.adb, s-valboo.ads,
120 s-valcha.adb, s-valdec.adb, s-valdec.ads, s-valint.adb,
121 s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
122 s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.ads,
123 s-valuns.adb, s-valuns.ads, s-valuti.ads, s-valwch.adb,
124 s-vercon.adb, s-vercon.ads, s-vmexta.ads, s-wchcon.ads,
125 s-wchjis.adb, s-wchjis.ads, s-wchstw.ads, s-wchwts.adb,
126 s-wchwts.ads, s-widboo.adb, s-widboo.ads, s-widcha.adb,
127 s-widcha.ads, s-widlli.adb, s-widlli.ads, s-widllu.adb,
128 s-widllu.ads, s-widwch.adb, s-widwch.ads, s-wwdcha.adb,
129 s-wwdcha.ads, s-wwdwch.ads, scn-nlit.adb, sdefault.ads,
130 sem_aggr.ads, sem_ch10.ads, sem_ch11.ads, sem_ch2.adb,
131 sem_ch2.ads, sem_ch4.ads, sem_ch5.ads, sem_ch6.ads, sem_ch7.ads,
132 sem_ch8.ads, sem_disp.ads, sem_elim.ads, sem_intr.ads,
133 sem_maps.adb, sem_mech.ads, sem_prag.ads, sem_smem.ads,
134 sem_vfpt.ads, sequenio.ads, sinput-l.ads, snames.adb, stand.adb,
135 switch.ads, text_io.ads, tree_gen.ads, tree_in.ads, tree_io.ads,
136 treepr.ads, uname.ads, unchconv.ads, unchdeal.ads, urealp.ads,
137 usage.ads, widechar.ads: Adjust Revision: lines which were too
140 2002-05-03 Joe Buck <Joe.Buck@synopsys.com>
142 * 1aexcept.adb, 1aexcept.ads, 41intnam.ads, 42intnam.ads,
143 4aintnam.ads, 4cintnam.ads, 4dintnam.ads, 4hexcpol.adb,
144 4lintnam.ads, 4mintnam.ads, 4nintnam.ads, 4onumaux.ads,
145 4pintnam.ads, 4rintnam.ads, 4sintnam.ads, 4uintnam.ads,
146 4vcalend.adb, 4vintnam.ads, 4wcalend.adb, 4wexcpol.adb,
147 4wintnam.ads, 4zintnam.ads, 4znumaux.ads, 4zsytaco.adb,
148 4zsytaco.ads, 51osinte.adb, 51osinte.ads, 52osinte.adb,
149 52osinte.ads, 52system.ads, 53osinte.ads, 5aosinte.ads,
150 5asystem.ads, 5atasinf.ads, 5ataspri.ads, 5avxwork.ads,
151 5bosinte.ads, 5bsystem.ads, 5cosinte.ads, 5dosinte.ads,
152 5esystem.ads, 5fosinte.ads, 5fsystem.ads, 5ftasinf.ads,
153 5ginterr.adb, 5gmastop.adb, 5gosinte.ads, 5gproinf.adb,
154 5gproinf.ads, 5gsystem.ads, 5gtasinf.adb, 5gtasinf.ads,
155 5gtpgetc.adb, 5hparame.ads, 5hsystem.ads, 5htaspri.ads,
156 5iosinte.ads, 5itaspri.ads, 5ksystem.ads, 5kvxwork.ads,
157 5losinte.ads, 5lsystem.ads, 5mosinte.ads, 5mvxwork.ads,
158 5ninmaop.adb, 5nintman.adb, 5nosinte.ads, 5ntaspri.ads,
159 5oosprim.adb, 5oparame.adb, 5osystem.ads, 5posinte.ads,
160 5posprim.adb, 5pvxwork.ads, 5qparame.ads, 5qvxwork.ads,
161 5rosinte.ads, 5rparame.adb, 5sintman.adb, 5sosinte.ads,
162 5sparame.adb, 5ssystem.ads, 5stasinf.adb, 5stasinf.ads,
163 5staspri.ads, 5svxwork.ads, 5tosinte.ads, 5uosinte.ads,
164 5vasthan.adb, 5vinterr.adb, 5vintman.ads, 5vosinte.ads,
165 5vosprim.adb, 5vosprim.ads, 5vparame.ads, 5vsystem.ads,
166 5vtaspri.ads, 5vtpopde.adb, 5vtpopde.ads, 5vvaflop.adb,
167 5wintman.adb, 5wmemory.adb, 5wosinte.ads, 5wosprim.adb,
168 5wsystem.ads, 5wtaprop.adb, 5wtaspri.ads, 5ysystem.ads,
169 5zinterr.adb, 5zosinte.adb, 5zosinte.ads, 5zosprim.adb,
170 5zparame.ads, 5zsystem.ads, 6vcpp.adb, 6vcstrea.adb,
171 7sosprim.adb, 86numaux.adb, 86numaux.ads, 9drpc.adb,
172 a-astaco.adb, a-caldel.ads, a-calend.adb, a-calend.ads,
173 a-chahan.adb, a-chahan.ads, a-colien.adb, a-colien.ads,
174 a-colire.adb, a-colire.ads, a-comlin.adb, a-comlin.ads,
175 a-cwila1.ads, a-decima.adb, a-decima.ads, a-diocst.adb,
176 a-diocst.ads, a-direio.adb, a-direio.ads, a-einuoc.adb,
177 a-einuoc.ads, a-except.adb, a-except.ads, a-excpol.adb,
178 a-exctra.adb, a-exctra.ads, a-filico.adb, a-filico.ads,
179 a-finali.adb, a-finali.ads, a-interr.ads, a-intsig.adb,
180 a-intsig.ads, a-ngcefu.adb, a-ngcoty.adb, a-ngcoty.ads,
181 a-ngelfu.adb, a-nudira.adb, a-nudira.ads, a-nuflra.adb,
182 a-nuflra.ads, a-numaux.ads, a-reatim.ads, a-retide.ads,
183 a-sequio.adb, a-sequio.ads, a-siocst.adb, a-siocst.ads,
184 a-ssicst.adb, a-ssicst.ads, a-stmaco.ads, a-storio.adb,
185 a-strbou.adb, a-strbou.ads, a-stream.ads, a-strfix.adb,
186 a-strfix.ads, a-strmap.adb, a-strmap.ads, a-strsea.adb,
187 a-strsea.ads, a-strunb.adb, a-strunb.ads, a-ststio.adb,
188 a-ststio.ads, a-stunau.adb, a-stunau.ads, a-stwibo.adb,
189 a-stwibo.ads, a-stwifi.adb, a-stwima.adb, a-stwima.ads,
190 a-stwise.adb, a-stwise.ads, a-stwiun.adb, a-stwiun.ads,
191 a-suteio.adb, a-suteio.ads, a-swmwco.ads, a-swuwti.adb,
192 a-swuwti.ads, a-sytaco.adb, a-sytaco.ads, a-tags.adb,
193 a-tags.ads, a-tasatt.ads, a-taside.adb, a-taside.ads,
194 a-teioed.adb, a-teioed.ads, a-textio.adb, a-textio.ads,
195 a-ticoau.adb, a-ticoau.ads, a-ticoio.adb, a-ticoio.ads,
196 a-tideau.adb, a-tideau.ads, a-tideio.adb, a-tideio.ads,
197 a-tienau.adb, a-tienau.ads, a-tienio.adb, a-tienio.ads,
198 a-tifiio.adb, a-tifiio.ads, a-tiflau.adb, a-tiflau.ads,
199 a-tiflio.adb, a-tiflio.ads, a-tigeau.adb, a-tigeau.ads,
200 a-tiinau.adb, a-tiinau.ads, a-tiinio.adb, a-tiinio.ads,
201 a-timoau.adb, a-timoau.ads, a-timoio.adb, a-timoio.ads,
202 a-tiocst.adb, a-tiocst.ads, a-titest.adb, a-witeio.adb,
203 a-witeio.ads, a-wtcoau.adb, a-wtcoau.ads, a-wtcoio.adb,
204 a-wtcstr.adb, a-wtcstr.ads, a-wtdeau.adb, a-wtdeau.ads,
205 a-wtdeio.adb, a-wtdeio.ads, a-wtedit.adb, a-wtedit.ads,
206 a-wtenau.adb, a-wtenau.ads, a-wtenio.adb, a-wtenio.ads,
207 a-wtfiio.adb, a-wtfiio.ads, a-wtflau.adb, a-wtflau.ads,
208 a-wtflio.adb, a-wtflio.ads, a-wtgeau.adb, a-wtgeau.ads,
209 a-wtinau.adb, a-wtinau.ads, a-wtinio.adb, a-wtmoau.adb,
210 a-wtmoau.ads, a-wtmoio.adb, a-wtmoio.ads, a-wttest.adb,
211 ada-tree.def, ada-tree.h, ada.h, adaint.c, adaint.h,
212 ali-util.adb, ali-util.ads, ali.adb, ali.ads, alloc.ads,
213 argv.c, atree.adb, atree.ads, atree.h, back_end.adb,
214 back_end.ads, bcheck.adb, bcheck.ads, binde.adb, binde.ads,
215 binderr.adb, binderr.ads, bindgen.adb, bindgen.ads,
216 bindusg.adb, bindusg.ads, butil.adb, butil.ads, cal.c,
217 casing.adb, casing.ads, ceinfo.adb, checks.adb, checks.ads,
218 cio.c, comperr.adb, comperr.ads, csets.adb, csets.ads,
219 csinfo.adb, cstand.adb, cstand.ads, cstreams.c, cuintp.c,
220 debug.adb, debug.ads, debug_a.adb, debug_a.ads, dec-io.adb,
221 dec-io.ads, dec.ads, decl.c, deftarg.c, einfo.adb, einfo.ads,
222 einfo.h, elists.adb, elists.ads, elists.h, errno.c, errout.adb,
223 errout.ads, eval_fat.adb, eval_fat.ads, exit.c, exp_aggr.adb,
224 exp_aggr.ads, exp_attr.adb, exp_attr.ads, exp_ch10.ads,
225 exp_ch11.adb, exp_ch11.ads, exp_ch12.adb, exp_ch12.ads,
226 exp_ch13.adb, exp_ch13.ads, exp_ch2.adb, exp_ch2.ads,
227 exp_ch3.adb, exp_ch3.ads, exp_ch4.adb, exp_ch4.ads,
228 exp_ch5.adb, exp_ch5.ads, exp_ch6.adb, exp_ch6.ads,
229 exp_ch7.adb, exp_ch7.ads, exp_ch8.adb, exp_ch8.ads,
230 exp_ch9.adb, exp_ch9.ads, exp_code.adb, exp_code.ads,
231 exp_dbug.adb, exp_dbug.ads, exp_disp.adb, exp_disp.ads,
232 exp_dist.adb, exp_dist.ads, exp_fixd.adb, exp_fixd.ads,
233 exp_imgv.adb, exp_imgv.ads, exp_intr.adb, exp_intr.ads,
234 exp_pakd.adb, exp_pakd.ads, exp_prag.adb, exp_prag.ads,
235 exp_smem.adb, exp_smem.ads, exp_strm.adb, exp_strm.ads,
236 exp_tss.adb, exp_tss.ads, exp_util.adb, exp_util.ads,
237 exp_vfpt.adb, exp_vfpt.ads, expander.adb, expander.ads, fe.h,
238 final.c, fmap.adb, fmap.ads, fname-sf.adb, fname-sf.ads,
239 fname-uf.adb, fname-uf.ads, fname.adb, fname.ads, freeze.adb,
240 freeze.ads, frontend.adb, frontend.ads, g-calend.ads,
241 g-comlin.adb, g-debpoo.adb, g-debpoo.ads, g-locfil.adb,
242 g-os_lib.ads, g-regist.adb, g-regist.ads, get_targ.adb,
243 get_targ.ads, gigi.h, gmem.c, gnat1drv.adb, gnat1drv.ads,
244 gnat_ug.texi, gnatbind.adb, gnatbind.ads, gnatbl.c,
245 gnatcmd.adb, gnatcmd.ads, gnatdll.adb, gnatfind.adb,
246 gnatkr.adb, gnatkr.ads, gnatlbr.adb, gnatlink.adb,
247 gnatlink.ads, gnatls.adb, gnatls.ads, gnatmain.adb,
248 gnatmain.ads, gnatmake.adb, gnatmake.ads, gnatmem.adb,
249 gnatprep.adb, gnatprep.ads, gnatpsta.adb, gnatpsys.adb,
250 gnatvsn.ads, gnatxref.adb, hlo.adb, hlo.ads, hostparm.ads,
251 i-c.adb, i-cexten.ads, i-cobol.adb, i-cobol.ads, i-cpoint.adb,
252 i-cpoint.ads, i-cpp.adb, i-cpp.ads, i-cstrea.adb, i-cstrea.ads,
253 i-cstrin.adb, i-cstrin.ads, i-fortra.adb, i-os2err.ads,
254 i-os2lib.adb, i-os2lib.ads, i-os2syn.ads, i-os2thr.ads,
255 i-pacdec.adb, i-pacdec.ads, impunit.adb, impunit.ads, init.c,
256 inline.adb, inline.ads, io-aux.c, itypes.adb, itypes.ads,
257 krunch.adb, krunch.ads, lang-options.h, lang-specs.h,
258 layout.adb, layout.ads, lib-list.adb, lib-load.adb,
259 lib-load.ads, lib-sort.adb, lib-util.adb, lib-util.ads,
260 lib-writ.adb, lib-writ.ads, lib-xref.adb, lib-xref.ads,
261 lib.adb, lib.ads, link.c, live.adb, live.ads, make.adb,
262 make.ads, makeusg.adb, makeusg.ads, math_lib.adb, mdll.adb,
263 mdll.ads, mdllfile.adb, mdllfile.ads, mdlltool.adb,
264 mdlltool.ads, memtrack.adb, misc.c, namet.adb, namet.ads,
265 namet.h, nlists.adb, nlists.ads, nlists.h, nmake.adb,
266 nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
267 output.adb, output.ads, par-ch10.adb, par-ch11.adb,
268 par-ch12.adb, par-ch13.adb, par-ch2.adb, par-ch3.adb,
269 par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch7.adb,
270 par-ch8.adb, par-ch9.adb, par-endh.adb, par-labl.adb,
271 par-load.adb, par-prag.adb, par-sync.adb, par-tchk.adb,
272 par-util.adb, par.adb, par.ads, prj-attr.adb, prj-attr.ads,
273 prj-com.adb, prj-com.ads, prj-dect.adb, prj-dect.ads,
274 prj-env.adb, prj-env.ads, prj-ext.adb, prj-ext.ads,
275 prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads,
276 prj-part.adb, prj-part.ads, prj-proc.adb, prj-proc.ads,
277 prj-strt.adb, prj-strt.ads, prj-tree.adb, prj-tree.ads,
278 prj-util.adb, prj-util.ads, prj.adb, prj.ads, raise.c, raise.h,
279 repinfo.adb, repinfo.ads, repinfo.h, restrict.adb,
280 restrict.ads, rident.ads, rtsfind.adb, rtsfind.ads,
281 s-addima.adb, s-addima.ads, s-arit64.adb, s-arit64.ads,
282 s-assert.adb, s-assert.ads, s-asthan.adb, s-asthan.ads,
283 s-atacco.adb, s-auxdec.adb, s-auxdec.ads, s-bitops.adb,
284 s-bitops.ads, s-chepoo.ads, s-direio.adb, s-direio.ads,
285 s-except.ads, s-exctab.adb, s-exctab.ads, s-exnflt.ads,
286 s-exngen.adb, s-exngen.ads, s-exnint.ads, s-exnlfl.ads,
287 s-exnlin.ads, s-exnllf.ads, s-exnlli.ads, s-exnsfl.ads,
288 s-exnsin.ads, s-exnssi.ads, s-expflt.ads, s-expgen.adb,
289 s-expgen.ads, s-expint.ads, s-explfl.ads, s-explin.ads,
290 s-expllf.ads, s-explli.ads, s-expllu.adb, s-expllu.ads,
291 s-expmod.adb, s-expmod.ads, s-expsfl.ads, s-expsin.ads,
292 s-expssi.ads, s-expuns.adb, s-expuns.ads, s-fatflt.ads,
293 s-fatgen.adb, s-fatgen.ads, s-fatlfl.ads, s-fatllf.ads,
294 s-fatsfl.ads, s-ficobl.ads, s-fileio.adb, s-fileio.ads,
295 s-finimp.adb, s-finimp.ads, s-finroo.adb, s-finroo.ads,
296 s-fore.adb, s-fore.ads, s-imgbiu.adb, s-imgbiu.ads,
297 s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads,
298 s-imgdec.adb, s-imgdec.ads, s-imgenu.adb, s-imgenu.ads,
299 s-imgint.adb, s-imgint.ads, s-imgllb.adb, s-imgllb.ads,
300 s-imglld.adb, s-imglld.ads, s-imglli.adb, s-imglli.ads,
301 s-imgllu.adb, s-imgllu.ads, s-imgllw.adb, s-imgllw.ads,
302 s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads,
303 s-imgwch.adb, s-imgwch.ads, s-imgwiu.adb, s-imgwiu.ads,
304 s-inmaop.ads, s-interr.adb, s-interr.ads, s-intman.ads,
305 s-io.adb, s-io.ads, s-maccod.ads, s-mantis.adb, s-mantis.ads,
306 s-memory.adb, s-memory.ads, s-osprim.ads, s-pack03.adb,
307 s-pack03.ads, s-pack05.adb, s-pack05.ads, s-pack06.adb,
308 s-pack06.ads, s-pack07.adb, s-pack07.ads, s-pack09.adb,
309 s-pack09.ads, s-pack10.adb, s-pack10.ads, s-pack11.adb,
310 s-pack11.ads, s-pack12.adb, s-pack12.ads, s-pack13.adb,
311 s-pack13.ads, s-pack14.adb, s-pack14.ads, s-pack15.adb,
312 s-pack15.ads, s-pack17.adb, s-pack17.ads, s-pack18.adb,
313 s-pack18.ads, s-pack19.adb, s-pack19.ads, s-pack20.adb,
314 s-pack20.ads, s-pack21.adb, s-pack21.ads, s-pack22.adb,
315 s-pack22.ads, s-pack23.adb, s-pack23.ads, s-pack24.adb,
316 s-pack24.ads, s-pack25.adb, s-pack25.ads, s-pack26.adb,
317 s-pack26.ads, s-pack27.adb, s-pack27.ads, s-pack28.adb,
318 s-pack28.ads, s-pack29.adb, s-pack29.ads, s-pack30.adb,
319 s-pack30.ads, s-pack31.adb, s-pack31.ads, s-pack33.adb,
320 s-pack33.ads, s-pack34.adb, s-pack34.ads, s-pack35.adb,
321 s-pack35.ads, s-pack36.adb, s-pack36.ads, s-pack37.adb,
322 s-pack37.ads, s-pack38.adb, s-pack38.ads, s-pack39.adb,
323 s-pack39.ads, s-pack40.adb, s-pack40.ads, s-pack41.adb,
324 s-pack41.ads, s-pack42.adb, s-pack42.ads, s-pack43.adb,
325 s-pack43.ads, s-pack44.adb, s-pack44.ads, s-pack45.adb,
326 s-pack45.ads, s-pack46.adb, s-pack46.ads, s-pack47.adb,
327 s-pack47.ads, s-pack48.adb, s-pack48.ads, s-pack49.adb,
328 s-pack49.ads, s-pack50.adb, s-pack50.ads, s-pack51.adb,
329 s-pack51.ads, s-pack52.adb, s-pack52.ads, s-pack53.adb,
330 s-pack53.ads, s-pack54.adb, s-pack54.ads, s-pack55.adb,
331 s-pack55.ads, s-pack56.adb, s-pack56.ads, s-pack57.adb,
332 s-pack57.ads, s-pack58.adb, s-pack58.ads, s-pack59.adb,
333 s-pack59.ads, s-pack60.adb, s-pack60.ads, s-pack61.adb,
334 s-pack61.ads, s-pack62.adb, s-pack62.ads, s-pack63.adb,
335 s-pack63.ads, s-parame.adb, s-parame.ads, s-parint.adb,
336 s-parint.ads, s-pooglo.adb, s-pooglo.ads, s-pooloc.adb,
337 s-pooloc.ads, s-poosiz.adb, s-poosiz.ads, s-powtab.ads,
338 s-proinf.adb, s-proinf.ads, s-rpc.adb, s-rpc.ads, s-scaval.ads,
339 s-secsta.adb, s-secsta.ads, s-sequio.adb, s-sequio.ads,
340 s-shasto.adb, s-shasto.ads, s-soflin.adb, s-soflin.ads,
341 s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads,
342 s-sopco5.adb, s-sopco5.ads, s-stache.adb, s-stache.ads,
343 s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stopoo.ads,
344 s-stratt.adb, s-stratt.ads, s-strops.adb, s-strops.ads,
345 s-taprob.ads, s-taprop.ads, s-tarest.ads, s-tasdeb.adb,
346 s-tasdeb.ads, s-tasinf.adb, s-tasinf.ads, s-tasini.ads,
347 s-taskin.ads, s-tasren.ads, s-tasres.ads, s-tassta.ads,
348 s-tpinop.adb, s-tpinop.ads, s-tpoben.ads, s-tpobop.ads,
349 s-unstyp.ads, s-vaflop.adb, s-vaflop.ads, s-valboo.adb,
350 s-valboo.ads, s-valcha.adb, s-valcha.ads, s-valdec.adb,
351 s-valdec.ads, s-valenu.adb, s-valenu.ads, s-valint.adb,
352 s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
353 s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb,
354 s-valrea.ads, s-valuns.adb, s-valuns.ads, s-valuti.adb,
355 s-valuti.ads, s-valwch.adb, s-valwch.ads, s-vercon.adb,
356 s-vercon.ads, s-vmexta.adb, s-vmexta.ads, s-wchcnv.adb,
357 s-wchcnv.ads, s-wchcon.ads, s-wchjis.adb, s-wchjis.ads,
358 s-wchstw.adb, s-wchstw.ads, s-wchwts.adb, s-wchwts.ads,
359 s-widboo.adb, s-widboo.ads, s-widcha.adb, s-widcha.ads,
360 s-widenu.adb, s-widenu.ads, s-widlli.adb, s-widlli.ads,
361 s-widllu.adb, s-widllu.ads, s-widwch.adb, s-widwch.ads,
362 s-wwdcha.adb, s-wwdcha.ads, s-wwdenu.adb, s-wwdenu.ads,
363 s-wwdwch.adb, s-wwdwch.ads, scans.adb, scans.ads, scn-nlit.adb,
364 scn-slit.adb, scn.adb, scn.ads, sdefault.ads, sem.adb, sem.ads,
365 sem_aggr.adb, sem_aggr.ads, sem_attr.adb, sem_attr.ads,
366 sem_case.adb, sem_case.ads, sem_cat.adb, sem_cat.ads,
367 sem_ch10.adb, sem_ch10.ads, sem_ch11.adb, sem_ch11.ads,
368 sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads,
369 sem_ch2.adb, sem_ch2.ads, sem_ch3.adb, sem_ch3.ads,
370 sem_ch4.adb, sem_ch4.ads, sem_ch5.adb, sem_ch5.ads,
371 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch7.ads,
372 sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_ch9.ads,
373 sem_disp.adb, sem_disp.ads, sem_dist.adb, sem_dist.ads,
374 sem_elab.adb, sem_elab.ads, sem_elim.adb, sem_elim.ads,
375 sem_eval.adb, sem_eval.ads, sem_intr.adb, sem_intr.ads,
376 sem_maps.adb, sem_maps.ads, sem_mech.adb, sem_mech.ads,
377 sem_prag.adb, sem_prag.ads, sem_res.adb, sem_res.ads,
378 sem_smem.adb, sem_smem.ads, sem_type.adb, sem_type.ads,
379 sem_util.adb, sem_util.ads, sem_vfpt.adb, sem_vfpt.ads,
380 sem_warn.adb, sem_warn.ads, sfn_scan.adb, sfn_scan.ads,
381 sinfo-cn.adb, sinfo-cn.ads, sinfo.adb, sinfo.ads, sinfo.h,
382 sinput-l.adb, sinput-l.ads, sinput-p.adb, sinput-p.ads,
383 sinput.adb, sinput.ads, snames.adb, snames.ads, snames.h,
384 sprint.adb, sprint.ads, stand.adb, stand.ads, stringt.adb,
385 stringt.ads, stringt.h, style.adb, style.ads, stylesw.adb,
386 stylesw.ads, switch.adb, switch.ads, sysdep.c, system.ads,
387 table.adb, table.ads, targparm.adb, targparm.ads, targtyps.c,
388 tbuild.adb, tbuild.ads, trans.c, tree_gen.adb, tree_gen.ads,
389 tree_in.adb, tree_in.ads, tree_io.adb, tree_io.ads, treepr.adb,
390 treepr.ads, treeprs.ads, treeprs.adt, ttypef.ads, ttypes.ads,
391 types.adb, types.ads, types.h, uintp.adb, uintp.ads, uintp.h,
392 uname.adb, uname.ads, urealp.adb, urealp.ads, urealp.h,
393 usage.adb, usage.ads, utils.c, utils2.c, validsw.adb,
394 validsw.ads, widechar.adb, widechar.ads, xeinfo.adb,
395 xnmake.adb, xr_tabls.adb, xr_tabls.ads, xref_lib.adb,
396 xref_lib.ads, xsinfo.adb, xsnames.adb, xtreeprs.adb : Change
397 Ada Core Technologies from maintainer to contributor.
399 2002-05-02 John David Anglin <dave@hiauly1.hia.nrc.ca>
401 * Makefile.in (ALL_ADAFLAGS, MOST_ADAFLAGS): Add CFLAGS to defines.
403 2002-05-01 Geert Bosch <bosch@gnat.com>
405 * comperr.adb : Fix typo.
407 2002-05-01 Geert Bosch <bosch@gnat.com>
409 * bindgen.adb (Public_Version_Warning): Remove.
411 * gnatvsn.ads : Change to match GCC 3.1 version.
413 * comperr.adb : Change bug box, remove ACT-specific circuitry.
415 * comperr.ads : Update comments to reflect changed bug message.
417 2002-04-21 Joseph S. Myers <jsm28@cam.ac.uk>
419 * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
421 2002-04-21 Florian Weimer <fw@deneb.enyo.de>
423 * gnat_ug.texi: New file.
425 * gnat_rm.texi: Do not include texiplus.texi. Include fdl.texi
428 * xgnatug.adb, ug_words: New files.
430 * Makefile.in (doc, dvi): New targets. Build gnat_ug_*,
431 gnat_rm and gnat-style manuals.
433 * adaint.c (__gnat_tmp_name): Remove buffer overflow bug on
436 2002-04-16 Mark Mitchell <mark@codesourcery.com>
438 * trans.c (tree_transform): Add has_scope argument to
439 expand_start_stmt_expr.
441 2002-04-04 Laurent Guerby <guerby@acm.org>
443 * make.adb: Implement -margs, remove restriction about file name placement.
444 * makeusg.adb: Documentation update.
446 2002-03-11 Richard Henderson <rth@redhat.com>
448 * Makefile.in (.NOTPARALLEL): Add fake tag.
450 2002-02-07 Richard Henderson <rth@redhat.com>
452 * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
453 * adaint.h (__gnat_to_gm_time): Update prototype.
455 2002-01-30 Richard Henderson <rth@redhat.com>
457 * trans.c (tree_transform) [N_Loop_Statement]: Use
458 expand_exit_loop_top_cond.
460 2001-12-23 Richard Henderson <rth@redhat.com>
462 * utils.c (end_subprog_body): Push GC context around
463 rest_of_compilation for nested functions.
465 2001-12-23 Richard Henderson <rth@redhat.com>
467 * 5nosinte.ads: Get definition of "int" from Interfaces.C.
469 2001-12-23 Florian Weimer <fw@deneb.enyo.de>
471 * gnat-style.texi (Declarations and Types): Remove ancient style
472 rule which was mandated by code generation issues.
474 * gnat-style.texi (header): Add @dircategory, @direntry.
475 (title page): Remove date.
476 (general) Add @./@: where approriate, and two spaces after the
477 full stop at the end of a sentence. Use @samp markup when
478 referring concrete lexical entities (keywords, attribute names
479 etc.), and @syntax for ARM grammar elements. Use @r for English
480 text in comments. Use @emph for emphasis. Change "if-statements"
481 etc. to "if statements" (without @samp). Break long lines. Make
482 casing of section names consistent.
483 (Identifiers): Use @samp markup for variable names.
484 (Comments): Use @samp markup for comment characters. Line-end
485 comments may follow any Ada code, not just statements. Fix
486 misspelling of "Integer" as "integer".
487 (Loop statements): Do not use variable name "I", use "J".
488 (Subprogram Declarations): Document alignment.
489 (Subprogram Bodies, Block statements): Document empty line before
492 2001-12-22 Florian Weimer <fw@deneb.enyo.de>
494 * make.adb (Add_Switch): Make Generic_Position a procedure. The
495 function approach did not work well because of a side effect (the
496 function call could reallocate the table which was being indexed
497 using its result). Fixes ada/4851.
499 2001-12-19 Robert Dewar <dewar@gnat.com>
501 * bindgen.adb: Minor reformatting
503 * cstand.adb: Minor reformatting
505 * fmap.adb: Minor reformatting
506 Change name from Add for Add_To_File_Map (Add is much too generic)
507 Change Path_Name_Of to Mapped_Path_Name
508 Change File_Name_Of to Mapped_File_Name
509 Fix copyright dates in header
512 Change name from Add for Add_To_File_Map (Add is much too generic)
513 Change Path_Name_Of to Mapped_Path_Name
514 Change File_Name_Of to Mapped_File_Name
515 Fix copyright dates in header
517 * fname-uf.adb: Minor reformatting. New names of stuff in Fmap.
518 Add use clause for Fmap.
520 * make.adb: Minor reformatting
522 * osint.adb: Minor reformatting. Change of names in Fmap.
523 Add use clause for Fmap.
525 * prj-env.adb: Minor reformatting
527 * prj-env.ads: Minor reformatting
529 * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if
530 error found (there were odd exceptions to this general rule in
531 -gnatec/-gnatem processing)
533 2001-12-19 Olivier Hainque <hainque@gnat.com>
535 * raise.c (__gnat_eh_personality): Exception handling personality
536 routine for Ada. Still in rough state, inspired from the C++ version
537 and still containing a bunch of debugging artifacts.
538 (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
539 inspired from the C++ library.
541 * raise.c (eh_personality): Add comments. Part of work for the GCC 3
542 exception handling integration.
544 2001-12-19 Arnaud Charlet <charlet@gnat.com>
546 * Makefile.in: Remove use of 5smastop.adb which is obsolete.
547 (HIE_SOURCES): Add s-secsta.ad{s,b}.
548 (HIE_OBJS): Add s-fat*.o
549 (RAVEN_SOURCES): Remove files that are no longer required. Add
550 interrupt handling files.
551 (RAVEN_MOD): Removed, no longer needed.
553 2001-12-19 Robert Dewar <dewar@gnat.com>
555 * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
556 Add 2001 to copyright date
558 * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
559 need to force universal inlining for these cases.
561 2001-12-19 Arnaud Charlet <charlet@gnat.com>
563 * s-taprob.adb: Minor clean ups so that this unit can be used in
566 * exp_ch7.adb: Allow use of secondary stack in HI mode.
567 Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
569 2001-12-19 Vincent Celier <celier@gnat.com>
571 * prj-tree.ads (Project_Node_Record): Add comments for components
572 Pkg_Id and Case_Insensitive.
574 2001-12-19 Pascal Obry <obry@gnat.com>
576 * g-socket.adb: Minor reformatting. Found while reading code.
578 2001-12-19 Robert Dewar <dewar@gnat.com>
580 * prj-tree.ads: Minor reformatting
582 2001-12-20 Joseph S. Myers <jsm28@cam.ac.uk>
584 * config-lang.in (diff_excludes): Remove.
586 2001-12-17 Ed Schonberg <schonber@gnat.com>
588 * sem_res.adb (Resolve_Selected_Component): do not generate a
589 discriminant check if the selected component is a component of
590 the argument of an initialization procedure.
592 * trans.c (tree_transform, case of arithmetic operators): If result
593 type is private, the gnu_type is the base type of the full view,
594 given that the full view itself may be a subtype.
596 2001-12-17 Robert Dewar <dewar@gnat.com>
598 * sem_res.adb: Minor reformatting
600 * trans.c (tree_transform, case N_Real_Literal): Add missing third
601 parameter in call to Machine (unknown horrible effects from this
604 * urealp.h: Add definition of Round_Even for call to Machine
605 Add third parameter for Machine
607 2001-12-17 Ed Schonberg <schonber@gnat.com>
609 * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
610 predefined units in No_Run_Time mode.
612 2001-12-17 Richard Kenner <kenner@gnat.com>
614 * misc.c (insn-codes.h): Now include.
616 2001-12-17 Olivier Hainque <hainque@gnat.com>
618 * a-except.adb: Preparation work for future integration of the GCC 3
619 exception handling mechanism
620 (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
621 to factorize previous code sequences and make them externally callable,
622 e.g. for the Ada personality routine when the GCC 3 mechanism is used.
623 (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
624 Use the new notification routines.
626 2001-12-17 Emmanuel Briot <briot@gnat.com>
628 * prj-tree.ads (First_Choice_Of): Document the when others case
630 2001-12-17 Arnaud Charlet <charlet@gnat.com>
632 * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
633 HI-E mode, in order to support Ravenscar profile properly.
635 * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
636 mode on 32 bits targets.
638 2001-12-17 Vincent Celier <celier@gnat.com>
640 * fmap.adb: Initial version.
642 * fmap.ads: Initial version.
644 * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
645 If search is successfully done, add to mapping.
647 * frontend.adb: Initialize the mapping if a -gnatem switch was used.
650 (Gnatmake): Add new local variable Mapping_File_Name.
651 Create mapping file when using project file(s).
652 Delete mapping file before exiting.
654 * opt.ads (Mapping_File_Name): New variable
656 * osint.adb (Find_File): Use path name found in mapping, if any.
658 * prj-env.adb (Create_Mapping_File): New procedure
660 * prj-env.ads (Create_Mapping_File): New procedure.
662 * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
665 * usage.adb: Add entry for new switch -gnatem.
667 * Makefile.in: Add dependencies for fmap.o.
669 2001-12-17 Ed Schonberg <schonber@gnat.com>
671 * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
672 is a package instantiation rewritten as a package body.
673 (Install_Withed_Unit): Undo previous change, now redundant.
675 2001-12-17 Gary Dismukes <dismukes@gnat.com>
678 (Compute_Length): Move conversion to Unsigned to callers.
679 (Get_Max_Size): Convert Len expression to Unsigned after calls to
680 Compute_Length and Determine_Range.
681 (Layout_Array_Type): Convert Len expression to Unsigned after calls to
682 Compute_Length and Determine_Range.
683 Above changes fix problem with length computation for supernull arrays
684 where Max (Len, 0) wasn't getting applied due to the Unsigned
685 conversion used by Compute_Length.
687 2001-12-17 Arnaud Charlet <charlet@gnat.com>
690 (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
691 System.Secondary_Stack.
692 (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
694 Remove unused entity RE_Exception_Data.
696 * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
698 * rident.ads (No_Secondary_Stack): New restriction.
700 2001-12-17 Joel Brobecker <brobecke@gnat.com>
702 * gnat_rm.texi: Fix minor typos. Found while reading the section
703 regarding "Bit_Order Clauses" that was sent to a customer.
704 Very interesting documentation!
706 2001-12-17 Robert Dewar <dewar@gnat.com>
708 * sem_case.adb (Choice_Image): Avoid creating improper character
709 literal names by using the routine Set_Character_Literal_Name. This
710 fixes bombs in certain error message cases.
712 2001-12-17 Arnaud Charlet <charlet@gnat.com>
714 * a-reatim.adb: Minor reformatting.
716 2001-12-17 Ed Schonberg <schonber@gnat.com>
718 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
719 case where the formal is an extension of another formal in the current
720 unit or in a parent generic unit.
722 2001-12-17 Arnaud Charlet <charlet@gnat.com>
724 * s-tposen.adb: Update comments. Minor reformatting.
727 * s-tarest.adb: Update comments. Minor code reorganization.
729 2001-12-17 Gary Dismukes <dismukes@gnat.com>
731 * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
734 2001-12-17 Robert Dewar <dewar@gnat.com>
736 * exp_attr.adb: Minor reformatting
738 2001-12-17 Ed Schonberg <schonber@gnat.com>
740 * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
741 derivations nested within a child unit: verify that the parent
742 type is declared in an outer scope.
744 2001-12-17 Robert Dewar <dewar@gnat.com>
746 * sem_ch12.adb: Minor reformatting
748 2001-12-17 Ed Schonberg <schonber@gnat.com>
750 * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
751 warning if current unit is a predefined one, from which bodies may
754 2001-12-17 Robert Dewar <dewar@gnat.com>
756 * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
757 Fix header format. Add 2001 to copyright date.
759 * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
760 which caused CE during compilation if checks were enabled.
762 2001-12-17 Vincent Celier <celier@gnat.com>
765 (Switches_Of): New function
766 (Test_If_Relative_Path): New procedure
767 (Add_Switches): Use new function Switches_Of
768 (Collect_Arguments_And_Compile): Use new function Switches_Of.
769 When using a project file, test if there are any relative
770 search path. Fail if there are any.
771 (Gnatmake): Only add switches for the primary directory when not using
772 a project file. When using a project file, change directory to the
773 object directory of the main project file. When using a project file,
774 test if there are any relative search path. Fail if there are any.
775 When using a project file, fail if specified executable is relative
776 path with directory information, and prepend executable, if not
777 specified as an absolute path, with the exec directory. Make sure
778 that only one -o switch is transmitted to the linker.
780 * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
783 (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
784 when using a non standard naming scheme.
785 (Check_Ada_Naming_Scheme): Make sure that error messages
786 do not raise exceptions.
787 (Is_Illegal_Append): Return True if there is no dot in the suffix.
788 (Language_Independent_Check): Check the exec directory.
790 * prj.adb (Project_Empty): Add new component Exec_Directory
793 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
794 (Project_Data): Add component Exec_Directory
796 * snames.adb: Updated to match snames.ads revision 1.215
798 * snames.ads: Added Exec_Dir
800 2001-12-17 Robert Dewar <dewar@gnat.com>
802 * make.adb: Minor reformatting
804 * prj-nmsc.adb: Minor reformatting
806 * snames.adb: Updated to match snames.ads
808 * snames.ads: Alphebetize entries for project file
810 2001-12-17 Ed Schonberg <schonber@gnat.com>
812 * trans.c (process_freeze_entity): Do nothing if the entity is a
813 subprogram that was already elaborated.
815 2001-12-17 Richard Kenner <kenner@gnat.com>
817 * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
818 and Esize if object is referenced via pointer.
820 2001-12-17 Ed Schonberg <schonber@gnat.com>
822 * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
823 is discrete before analyzing choices.
825 2001-12-17 Joel Brobecker <brobecke@gnat.com>
827 * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
828 containing the name of the Ada Main Program. This string is mainly
829 intended for the debugger.
830 (Gen_Output_File_C): Do the equivalent change when generating a C file.
832 2001-12-17 Robert Dewar <dewar@gnat.com>
834 * ali.adb: Set new Dummy_Entry field in dependency entry
836 * ali.ads: Add Dummy_Entry field to source dependency table
838 * bcheck.adb (Check_Consistency): Ignore dummy D lines
840 * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
842 * lib-writ.ads: Document dummy D lines for missing files.
844 * types.ads: (Dummy_Time_Stamp): New value for non-existant files
846 2001-12-17 Robert Dewar <dewar@gnat.com>
848 * ali.adb: Type reference does not reset current file.
850 * ali.adb: Recognize and scan renaming reference
852 * ali.ads: Add spec for storing renaming references.
854 * lib-xref.ads: Add documentation for handling of renaming references
856 * lib-xref.adb: Implement output of renaming reference.
859 (Determine_Range): Document local variables
860 (Determine_Range): Make sure Hbound is initialized. It looks as though
861 there could be a real problem here with an uninitialized reference
862 to Hbound, but no actual example of failure has been found.
864 2001-12-17 Laurent Pautet <pautet@gnat.com>
867 Fix comment of Shutdown_Socket and Close_Socket. These functions
868 should not fail silently because if they are called twice, this
869 probably means that there is a race condition in the user program.
870 Anyway, this behaviour is consistent with the rest of this unit.
871 When an error occurs, an exception is raised with the error message
872 as exception message.
874 2001-12-17 Robert Dewar <dewar@gnat.com>
876 * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
877 that it happens before modification of Sloc values for -gnatD.
879 * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
880 so that it happens before modification of Sloc values for -gnatD.
882 * switch.adb: Minor reformatting
884 2001-12-15 Richard Henderson <rth@redhat.com>
886 * sem_ch7.adb: Wrap comment.
888 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
890 * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
891 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
892 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
893 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
894 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
895 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
896 a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
897 a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
898 cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
899 exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
900 exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
901 g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
902 gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
903 make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
904 par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
905 repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
906 s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
907 s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
908 s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
909 s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
910 sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
911 sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
912 sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
913 sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
916 2001-12-14 Vincent Celier <celier@gnat.com>
918 * osint.adb(Create_Debug_File): When an object file is specified,
919 put the .dg file in the same directory as the object file.
921 2001-12-14 Robert Dewar <dewar@gnat.com>
923 * osint.adb: Minor reformatting
925 * lib-xref.adb (Output_Instantiation): New procedure to generate
926 instantiation references.
928 * lib-xref.ads: Add documentation of handling of generic references.
930 * ali.adb (Read_Instantiation_Ref): New procedure to read
931 instantiation references
933 * ali.ads: Add spec for storing instantiation references
935 * bindusg.adb: Minor reformatting
937 * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
939 * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
941 * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
943 * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
947 Add 2001 to copyright date
948 Add entry for Latin-5 (Cyrillic ISO-8859-5)
950 2001-12-14 Matt Gingell <gingell@gnat.com>
952 * adaint.c: mktemp is a macro on Lynx and can not be used as an
955 2001-12-14 Richard Kenner <kenner@gnat.com>
957 * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
958 if operand is CONSTRUCTOR.
960 2001-12-14 Ed Schonberg <schonber@gnat.com>
962 * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
963 before emiting check on right-hand side, so that exception information
966 2001-12-14 Richard Kenner <kenner@gnat.com>
968 * utils.c (create_var_decl): Throw away initializing expression
969 if just annotating types and non-constant.
971 2001-12-14 Vincent Celier <celier@gnat.com>
973 * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
976 * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
978 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
980 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
982 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
984 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
986 * ChangeLog: Remove piece of diff output.
988 2001-12-14 Geert Bosch <bosch@gnat.com>
990 * config-lang.in: Update copyright notice
992 * layout.adb: Remove commented out code.
994 * mdllfile.ads: Update copyright notice. Fix header format.
996 * sem_case.ads: Likewise.
998 * sem_ch3.adb: Minor reformatting.
1000 2001-12-12 Geert Bosch <bosch@gnat.com>
1002 * freeze.ads: Update copyright date.
1004 * g-comlin.ads: Minor reformatting.
1006 * gnat-style.texi: Fix typo.
1008 2001-12-12 Geert Bosch <bosch@gnat.com>
1010 * einfo.h: Regenerate.
1012 2001-12-12 Ed Schonberg <schonber@gnat.com>
1014 * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
1015 on known node types, rather than untyped fields. Further cleanups.
1017 2001-12-12 Robert Dewar <dewar@gnat.com>
1020 (Save_Entity_Descendant): Minor comment update.
1021 (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
1022 of an N_Attribute_Reference node. As per note below, this does not
1023 eliminate need for Associated_Node in attribute ref nodes.
1024 (Associated_Node): Documentation explicitly mentions attribute
1025 reference nodes, since this field is used in such nodes.
1027 * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
1029 2001-12-12 Robert Dewar <dewar@gnat.com>
1031 * s-stalib.adb: Add more comments on with statements being needed
1033 * par-ch12.adb: Minor reformatting
1035 * prj-dect.ads: Fix copyright header
1037 * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
1038 inputs fit in 32 bits, but the result still overflows.
1040 * s-fatgen.ads: Minor comment improvement
1042 2001-12-12 Ed Schonberg <schonber@gnat.com>
1044 * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
1045 formal derived type, look for an inherited component from the full
1046 view of the parent, if any.
1048 2001-12-12 Robert Dewar <dewar@gnat.com>
1050 * checks.ads (Apply_Alignment_Check): New procedure.
1052 * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
1053 ensure that the alignment of objects with address clauses is
1054 appropriate, and raise PE if not.
1056 * exp_util.ads (Must_Be_Aligned): Removed, replaced by
1057 Exp_Pakd.Known_Aligned_Enough
1059 * mdllfile.ads: Minor reformatting
1061 * mlib-fil.ads: Minor reformatting
1063 2001-12-12 Ed Schonberg <schonber@gnat.com>
1065 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
1066 fix to any component reference if enclosing record has non-standard
1069 2001-12-12 Vincent Celier <celier@gnat.com>
1071 * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
1074 2001-12-12 Ed Schonberg <schonber@gnat.com>
1076 * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
1079 2001-12-12 Robert Dewar <dewar@gnat.com>
1081 * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
1083 2001-12-12 Emmanuel Briot <briot@gnat.com>
1085 * g-regexp.adb: Remove all debug code, since it isn't required anymore,
1086 and it adds dependencies to system.io.
1088 2001-12-12 Pascal Obry <obry@gnat.com>
1090 * g-dirope.adb (Expand_Path.Var): Correctly detect end of
1093 2001-12-11 Ed Schonberg <schonber@gnat.com>
1095 * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
1096 that is the parent of other generics, the instance body replaces the
1097 instance node. Retrieve the instance of the spec, which is the one
1098 that is visible in clients and within the body.
1100 2001-12-11 Vincent Celier <celier@gnat.com>
1102 * gnatmain.adb: Initial version.
1104 * gnatmain.ads: Initial version.
1106 * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
1108 * snames.adb: Updated to match snames.ads.
1110 * snames.ads: Added Gnatstub.
1112 2001-12-11 Vincent Celier <celier@gnat.com>
1114 * prj-attr.adb (Initialization_Data): Change name from
1115 Initialisation_Data.
1117 2001-12-11 Emmanuel Briot <briot@gnat.com>
1119 * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
1120 + and * applied to backslashed expressions like \r.
1122 2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
1124 * g-os_lib.ads: String_List type added, Argument_List type is now
1125 subtype of String_List.
1127 2001-12-11 Robert Dewar <dewar@gnat.com>
1129 * g-os_lib.ads: Change copyright to FSF
1130 Add comments for String_List type
1132 2001-12-11 Vincent Celier <celier@gnat.com>
1134 * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
1135 string to the buffer).
1137 2001-12-11 Ed Schonberg <schonber@gnat.com>
1139 * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
1142 * sem_attr.adb: Simplify previous fix for Address.
1143 (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
1144 to avoid anomalies where the bound of the type appears to raise
1147 2001-12-11 Robert Dewar <dewar@gnat.com>
1149 * lib-xref.adb (Output_Refs): Make sure pointers are always properly
1152 2001-12-11 Ed Schonberg <schonber@gnat.com>
1154 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
1155 renamed unit before checking for recursive instantiations.
1157 2001-12-11 Emmanuel Briot <briot@gnat.com>
1159 * prj.ads: Add comments for some of the fields.
1161 2001-12-11 Robert Dewar <dewar@gnat.com>
1163 * lib-xref.adb (Output_Refs): Don't output type references outside
1164 the main unit if they are not otherwise referenced.
1166 2001-12-11 Ed Schonberg <schonber@gnat.com>
1168 * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
1169 code and diagnose additional illegal uses
1171 * sem_util.adb (Is_Object_Reference): An indexed component is an
1172 object only if the prefix is.
1174 2001-12-11 Vincent Celier <celier@gnat.com>
1176 * g-diopit.adb: Initial version.
1178 * g-diopit.ads: Initial version.
1181 (Expand_Path): Avoid use of Unbounded_String
1182 (Find, Wildcard_Iterator): Moved to child package Iteration
1184 * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
1186 2001-12-11 Robert Dewar <dewar@gnat.com>
1188 * sem_attr.adb: Minor reformatting
1190 2001-12-11 Ed Schonberg <schonber@gnat.com>
1192 * sem_ch3.adb: Clarify some ???.
1194 2001-12-11 Robert Dewar <dewar@gnat.com>
1196 * exp_util.adb (Must_Be_Aligned): Removed, replaced by
1197 Exp_Pakd.Known_Aligned_Enough
1199 * sem_ch13.adb (Check_Address_Alignment): Removed, extended
1200 version is moved to Exp_Ch13.
1202 2001-12-11 Robert Dewar <dewar@gnat.com>
1204 * einfo.ads: Minor reformatting
1206 * exp_ch5.adb: Add comment for previous.change
1208 * ali.adb: New interface for extended typeref stuff.
1210 * ali.ads: New interface for typeref stuff.
1212 * checks.adb (Apply_Alignment_Check): New procedure.
1214 * debug.adb: Add -gnatdM for modified ALI output
1216 * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
1218 * lib-xref.adb: Extend generation of <..> notation to cover
1219 subtype/object types. Note that this is a complete rewrite,
1220 getting rid of the very nasty quadratic algorithm previously
1221 used for derived type output.
1223 * lib-xref.ads: Extend description of <..> notation to cover
1224 subtype/object types. Uses {..} for these other cases.
1225 Also use (..) for pointer types.
1227 * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
1229 * exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
1230 (Known_Aligned_Enough): Replaces Must_Be_Aligned.
1232 2001-12-11 Vincent Celier <celier@gnat.com>
1235 Changed /COMPILE_ONLY to /ACTIONS=COMPILE
1236 Changed /BIND_ONLY to /ACTIONS=BIND
1237 Changed /LINK_ONLY to /ACTIONS=LINK
1239 2001-12-11 Ed Schonberg <schonber@gnat.com>
1241 * sem_ch8.adb (Find_Selected_Component): improved search for a
1242 candidate package in case of error.
1244 * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
1245 chain back on scope stack before reinstalling use clauses.
1247 * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
1248 is enabled, do not kill the code for the condition, to preserve
1251 2001-12-11 Robert Dewar <dewar@gnat.com>
1253 * checks.adb (Insert_Valid_Check): Apply validity check to expression
1254 of conversion, not to result of conversion.
1256 2001-12-11 Ed Schonberg <schonber@gnat.com>
1258 * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
1259 before freezing parent. If the declarations are mutually recursive,
1260 an access to the current record type may be frozen before the
1261 derivation is complete.
1263 2001-12-05 Vincent Celier <celier@gnat.com>
1265 * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
1266 -c /COMPILE_ONLY, -l /LINK_ONLY
1269 (Bind_Only): New Flag
1270 (Link_Only): New flag
1272 * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
1275 * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
1278 (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1279 (Gnatmake): Set the step flags. Only perform a step if the
1280 corresponding step flag is True.
1281 (Scan_Make_Arg): Reset the bind and link step flags when -u
1282 or -gnatc has been specified.
1284 2001-12-05 Ed Schonberg <schonber@gnat.com>
1286 * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
1287 get bounds from right operand.
1289 * sem_eval.adb: Minor reformatting
1291 * exp_util.adb (Make_Literal_Range): use bound of literal rather
1292 than Index'First, its lower bound may be different from 1.
1294 * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
1297 2001-12-05 Vincent Celier <celier@gnat.com>
1299 * prj-nmsc.adb Minor reformatting
1301 * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
1302 set and libraries are not supported.
1304 2001-12-05 Ed Schonberg <schonber@gnat.com>
1306 * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1307 private view explicitly, so the back-end can treat as a global
1310 2001-12-05 Ed Schonberg <schonber@gnat.com>
1312 * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1313 unit, always replace instance node with new body, for ASIS use.
1315 2001-12-05 Vincent Celier <celier@gnat.com>
1317 * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1318 libraries are not supported and both attributes Library_Name and
1319 Library_Dir are specified.
1321 * prj-proc.adb (Expression): Set location of Result to location of
1324 * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1325 (prj-nmsc is now importing MLib.Tgt)
1327 * prj-proc.adb: Put the change indicated above that was forgotten.
1329 2001-12-05 Robert Dewar <dewar@gnat.com>
1331 * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1333 2001-12-05 Ed Schonberg <schonber@gnat.com>
1335 * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1336 constraint, introduce explicit subtype declaration and derive from it.
1338 * sem_ch3.adb: Minor reformatting
1340 2001-12-05 Robert Dewar <dewar@gnat.com>
1342 * checks.adb (Determine_Range): Increase cache size for checks.
1345 * exp_ch6.adb: Minor reformatting
1346 (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1347 a parameter whose root type is System.Address, since treating such
1348 subprograms as pure in the code generator is almost surely a mistake
1349 that will lead to unexpected results.
1351 * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
1352 change handling of conversions.
1354 * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1356 2001-12-05 Ed Schonberg <schonber@gnat.com>
1358 * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1359 aggregate with static wrong size, attach generated Raise node to
1362 2001-12-05 Robert Dewar <dewar@gnat.com>
1364 * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
1365 Fixes compilation abandoned bomb in B24009B.
1367 2001-12-05 Ed Schonberg <schonber@gnat.com>
1370 Document use of Associated_Node on Selected_Components.
1371 (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1372 to clarify use of untyped descendant fields.
1374 2001-12-05 Robert Dewar <dewar@gnat.com>
1376 * prj-dect.ads: Add ??? comment
1377 Add 2001 to copyright notice (was not done in after all)
1379 * prj-part.adb: Minor reformatting. Reword one awkward error message.
1381 * prj.ads: Minor reformatting throughout, and add some ??? comments
1383 * snames.ads: Minor reformatting
1385 2001-12-05 Geert Bosch <bosch@gnat.com>
1387 * snames.adb: Autoupdate
1389 2001-12-05 Vincent Celier <celier@gnat.com>
1391 * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1393 * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1395 * prj-env.adb: Minor comment changes (modifying -> extends).
1397 * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1399 * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
1402 * prj.adb (Initialize): Change Modifying to Extends.
1404 * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
1406 * prj.ads: Minor comment change (Modifying -> extending).
1408 * snames.ads: Change modifying to extends.
1410 2001-12-05 Robert Dewar <dewar@gnat.com>
1412 * sem_warn.adb: Remove stuff for conditionals, we are not going to
1415 * sem_warn.ads: Remove stuff for conditionals, we are not going to
1416 do this after all. Add 2001 to copyright notice
1418 2001-12-04 Geert Bosch <bosch@gnat.com>
1420 * einfo.h, sinfo.h, treeprs.ads: Regenerate.
1422 2001-12-04 Robert Dewar <dewar@gnat.com>
1424 * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
1425 location if we already have errors. Stops some cases of cascaded
1428 * errout.adb: Improve comment.
1430 2001-12-04 Robert Dewar <dewar@gnat.com>
1433 (Analyze_Formal_Type_Definition): Defend against Error.
1434 (Analyze_Formal_Subprogram): Defend against Error.
1436 * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
1437 remove following semicolon if present. Removes cascaded error.
1439 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1442 (Gen_Exception_Table_Ada): Write "begin" and then return if Num
1443 exceptions equals 0.
1444 (Gen_Exception_Table_C): Return if Num exceptions equals 0.
1445 Fixes PIWG E tests (which have to be run with -gnatL).
1447 2001-12-04 Robert Dewar <dewar@gnat.com>
1449 * einfo.ads: Minor reformatting
1451 2001-12-04 Ed Schonberg <schonber@gnat.com>
1453 * einfo.ads: Block_Node points to the identifier of the block, not to
1454 the block node itself, to preserve the link when the block is
1455 rewritten, e.g. within an if-statement with a static condition.
1457 * inline.adb (Cleanup_Scopes): recover block statement from block
1458 entity using new meaning of Block_Node.
1460 * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
1461 identifier of block node, rather than to node itself.
1463 2001-12-04 Gary Dismukes <dismukes@gnat.com>
1466 (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1467 (Discrimify): Go back to setting the Etypes of the selected component
1468 because the Vname component does not exist at this point and will
1469 fail name resolution. Also set Analyzed.
1470 Remove with and use of Sem_Res.
1472 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1474 * Makefile.in: (HIE_SOURCES): add s-fat*.
1476 2001-12-04 Robert Dewar <dewar@gnat.com>
1479 (Compile_Time_Known_Attribute): New procedure.
1480 (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1483 2001-12-04 Ed Schonberg <schonber@gnat.com>
1485 * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
1486 processing discriminants to diagnose illegal default values.
1488 2001-12-04 Ed Schonberg <schonber@gnat.com>
1490 * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1491 access discriminant within a type extension that constrains its
1492 parent discriminants.
1494 2001-12-04 Ed Schonberg <schonber@gnat.com>
1496 * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
1497 is malformed, use instance of Any_Id to allow analysis to proceed.
1499 * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
1500 type definition is illegal.
1501 (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1504 2001-12-04 Ed Schonberg <schonber@gnat.com>
1506 * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
1509 2001-12-04 Robert Dewar <dewar@gnat.com>
1511 * errout.adb: Minor reformatting
1513 2001-12-04 Robert Dewar <dewar@gnat.com>
1515 * exp_util.adb: Minor reformatting from last change
1517 * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1518 which is a rewriting of an expression, traverse the original
1519 expression to remove warnings that may have been posted on it.
1521 2001-12-04 Ed Schonberg <schonber@gnat.com>
1523 * exp_util.adb (Must_Be_Aligned): Return false for a component of a
1524 record that has other packed components.
1526 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1528 * adaint.c: Minor cleanups.
1530 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1532 * adaint.c: Do not use utime.h on vxworks.
1534 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1536 * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
1537 more confusion than it solves.
1539 2001-12-04 Geert bosch <bosch@gnat.com>
1541 * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1543 2001-12-04 Geert Bosch <bosch@gnat.com>
1545 * Makefile.in (update-sources): New target.
1546 For use by gcc_release script.
1548 2001-12-04 Ed Schonberg <schonber@gnat.com>
1550 * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
1551 a configuration pragma, it is now legal wherever a pragma can appear.
1553 2001-12-04 Zack Weinberg <zack@codesourcery.com>
1555 * Makefile.in: Don't set ALL. Delete @cross_defines@,
1556 @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS
1557 is now @CROSS@ -DIN_GCC; update comment.
1559 2001-12-04 Robert Dewar <dewar@gnat.com>
1561 * einfo.adb (Has_Pragma_Pure_Function): New flag.
1562 Fix problem that stopped ceinfo from working
1564 * einfo.ads (Has_Pragma_Pure_Function): New flag.
1566 * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1568 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1571 (File_Time_Stamp): New procedure.
1572 (Preserve_Mode): New boolean.
1573 (Write_Unit): Pass time stamp.
1574 Implement -p switch (preserve time stamps).
1576 * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1578 * gnatchop.adb: Do usage info for -p switch
1580 * adaint.h (__gnat_set_file_time_name): New function
1582 * adaint.c (__gnat_set_file_time_name): Implement
1584 * adaint.h: Fix typo
1586 2001-12-03 Robert Dewar <dewar@gnat.com>
1588 * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
1589 have Associated_Node.
1591 2001-12-03 Robert Dewar <dewar@gnat.com>
1593 * prj-proc.adb: Minor reformatting
1595 * make.adb: Minor reformatting
1597 2001-12-03 Geert Bosch <bosch@gnat.com>
1599 * make.adb: Minor reformatting.
1601 2001-12-03 Robert Dewar <dewar@gnat.com>
1603 * sem_ch12.adb: Minor reformatting
1605 2001-12-03 Ed Schonberg <schonber@gnat.com>
1607 * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1608 push Standard on the stack before analyzing the instance body,
1609 in order to have a clean visibility environment.
1611 * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
1613 2001-12-03 Ed Schonberg <schonber@gnat.com>
1615 * sem_ch12.adb (Instantiate_Package_Body): Protect against double
1616 instantiation of a body that contains an inlined body.
1618 2001-12-03 Ed Schonberg <schonber@gnat.com>
1621 (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1622 to prevent freezing within formal packages.
1623 (Freeze_Subprogram_Body): If body comes from another instance that
1624 appeared before its own body, place freeze node at end of current
1625 declarative part, to prevent a back-end crash.
1626 (Inline_Instance_Body): Handle properly a package instance within
1627 a subprogram instance that is a child unit.
1629 2001-12-01 Graham Stott <grahams@redhat.com>
1631 * Makefile.in (misc.o): Add missing $(srcdir) prefix
1632 and add optabs.h dependency.
1634 * misc.c: Include optabs.h
1635 (gnat_tree_code_type): Make static and const.
1636 (gnat_tree_code_length): Likewise.
1637 (gnat_tree_code_name): Likewise.
1638 (update_setjmp_buf): Obtain operands mode from insn_data.
1640 2001-11-29 Richard Henderson <rth@redhat.com>
1642 * init.c: Remove obsolete dwarf2 frame.h section.
1644 2001-11-29 Joseph S. Myers <jsm28@cam.ac.uk>
1646 * Make-lang.in (ada.generated-manpages): New dummy target.
1648 2001-11-29 Ed Schonberg <schonber@gnat.com>
1650 * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1651 into Command, an array conversion is illegal here. Uncovered by
1654 2001/11/28 Geert Bosch <bosch@gnat.com>
1656 * init.c: Minor whitespace changes.
1658 2001-11-28 Doug Rupp <rupp@gnat.com>
1660 * init.c: (__gnat_install_handler,VMS): Increase size of alternate
1663 2001-11-28 Zack Weinberg <zack@codesourcery.com>
1665 * misc.c (gnat_expand_constant): Move declaration above
1666 definition of lang_hooks.
1667 (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1668 (gnat_init): lang_expand_constant no longer exists.
1670 (internal_error_function): Remove #ifdef HAVE_VPRINTF. We
1671 always have vprintf.
1672 (gnat_init): Always call set_internal_error_function.
1674 2001-11-27 Andreas Jaeger <aj@suse.de>
1676 * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1678 2001-11-27 Laurent Guerby <guerby@acm.org>
1680 * Makefile.in: Regenerate Ada dependencies.
1682 2001-11-26 Richard Henderson <rth@redhat.com>
1684 * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1685 gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1686 gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1688 2001-11-25 Laurent Guerby <guerby@acm.org>
1690 * sysdep.c (rts_get_*): Fix style.
1692 2001-11-19 Laurent Guerby <guerby@acm.org>
1694 * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1695 since it is of no apparent use and cause warnings.
1697 2001-11-18 Neil Booth <neil@daikokuya.demon.co.uk>
1699 * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1701 (gnat_init): Don't return NULL.
1702 (finish_parse): Remove.
1704 2001-11-17 Laurent Guerby <guerby@acm.org>
1706 * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1707 * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1708 * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1709 * lang-spec.h: Add missing struct field to silence warnings.
1710 * sysdep.c (rts_get_*): Provide K&R prototype.
1711 * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1712 * traceback.c (Unlock_Task, Lock_Task): Likewise.
1713 * tracebak.c (__gnat_backtrace): Remove unused variable.
1714 * utils.c (end_subprog_body): Move to K&R style.
1716 Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1718 * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1720 2001-11-15 Neil Booth <neil@daikokuya.demon.co.uk>
1722 * misc.c (gnat_init): Change prototype. Include the
1723 functionality of the old init_parse and init_decl_processing.
1724 (gnat_init_decl_processing): New prototype.
1725 (init_parse): Remove.
1726 * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1728 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1730 * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1731 (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1732 (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1733 set_yydebug): Remove.
1735 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1737 * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1738 (struct lang_hooks): Constify.
1739 (language_string, lang_identify): Remove.
1740 * utils.c (init_decl_processing): Update.
1742 2001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk>
1744 * misc.c: Include langhooks-def.h.
1745 * Makefile.in: Update.
1747 2001-10-30 Robert Dewar <dewar@gnat.com>
1750 (Check_Identifier): Rewrite circuit to be compatible with use of letters
1751 in the upper half of ASCII.
1752 (Check_Identifier): Minor reformatting
1754 2001-10-30 Geert Bosch <bosch@gnat.com>
1756 * (Associated_Node, Set_Associated_Node): Do not check for
1759 2001-10-30 Robert Dewar <dewar@gnat.com>
1761 * a-reatim.ads: Minor reformatting
1763 2001-10-30 Robert Dewar <dewar@gnat.com>
1765 * gnatdll.adb: Minor reformatting throughout. Many ??? added for
1766 undocumented declarations.
1768 2001-10-30 Pascal Obry <obry@gnat.com>
1770 * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
1771 to the binder and linker.
1774 * mdll.ads: Fix layout. Update copyright notice.
1776 * mdll.adb: Fix layout. Update copyright notice.
1778 2001-10-30 Robert Dewar <dewar@gnat.com>
1780 * usage.adb: Minor fix to output for -gnaty.
1782 2001-10-30 Ed Schonberg <schonber@gnat.com>
1784 * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1785 to accommodate all its possible values.
1787 * a-reatim.adb (Split): Special-case handling of Time_Span_First
1788 and of small absolute values of T.
1790 2001-10-30 Richard Kenner <kenner@gnat.com>
1792 * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1793 set_mem_attributes since not needed and wrong if RESULT if a REG;
1794 fixes ACATS failures.
1796 2001-10-30 Geert Bosch <bosch@gnat.com>
1798 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1799 s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1801 2001-10-30 Robert Dewar <dewar@gnat.com>
1803 * bindusg.adb: Undocument -f switch.
1805 * gnatcmd.adb: Remove /FULL_ELABORATION.
1807 * opt.ads (Force_RM_Elaboration_Order): Document that this is
1810 * gnatbind.adb: Output new warning for use of obsolescent -f switch.
1812 * gnatbind.adb: Minor update of warning msg.
1814 2001-10-30 Vincent Celier <celier@gnat.com>
1816 * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
1817 for project file switches (-P (/PROJECT_FILE=),
1818 -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
1821 2001-10-30 Geert Bosch <bosch@gnat.com>
1823 * decl.c: Minor whitespace fixes.
1825 2001-10-30 Richard Kenner <kenner@gnat.com>
1827 * utils2.c (build_allocator): Test for SIZE overflow in array case too
1829 2001-10-30 Geert Bosch <bosch@gnat.com>
1831 * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
1832 Found due to GCC 3.0 warning of using uninitialized value.
1835 (Get_Max_Size): Use variant record for tracking value/expression.
1836 Makes logic clearer and prevents warnings for uninitialized variables.
1837 (Layout_Array_Type): Use variant record for tracking value/expression.
1838 Makes logic clearer and prevents warnings for uninitialized variables.
1840 2001-10-30 Robert Dewar <dewar@gnat.com>
1842 * lib.adb: Minor reformatting
1844 * s-taprop.ads: Minor reformatting
1846 2001-10-29 Laurent Guerby <guerby@acm.org>
1849 (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1851 (_gnat_error_handler): Make MSG const.
1853 2001-10-29 Richard Kenner <kenner@gnat.com>
1855 * sysdep.c: Fix localtime_r problem on LynxOS.
1856 Also remove #elif to avoid warnings.
1858 * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
1861 * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1863 2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk>
1865 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
1866 exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
1867 g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
1868 g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
1869 layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
1870 s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
1871 sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
1872 sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
1873 sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
1874 types.ads, urealp.adb: Fix spelling errors.
1876 2001-10-27 Laurent Guerby <guerby@acm.org>
1878 * trans.c (gigi): Fix non determinism leading to bootstrap
1879 comparison failures for debugging information.
1881 2001-10-26 Florian Weimer <fw@deneb.enyo.de>
1883 * gnat_rm.texi: Use @./@: where appropriate.
1885 2001-10-26 Robert Dewar <dewar@gnat.com>
1887 * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
1889 2001-10-26 Richard Kenner <kenner@gnat.com>
1891 * gmem.c (__gnat_gmem_read_next): Properly check for EOF
1893 2001-10-26 Richard Kenner <kenner@gnat.com>
1895 * decl.c (validate_size): Modify message for bad size to avoid
1896 implication that compiler is modifying the size.
1898 2001-10-26 Robert Dewar <dewar@gnat.com>
1900 * prj-util.adb: Minor reformatting. Fix bad header format.
1902 2001-10-26 Robert Dewar <dewar@gnat.com>
1904 * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
1906 * sinfo.ads: Clarify use of Associated_Node (documentation only).
1908 * sem_ch12.adb: Change Node4 to Associated_Node. Change
1909 Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
1910 much more narrowly in places where needed. These are cleanups.
1912 2001-10-26 Joel Brobecker <brobecke@gnat.com>
1914 * 5zosinte.ads (null_pthread): new constant.
1917 (Initialize_TCB): Initialize thread ID to null, to be able to verify
1918 later that this field has been set.
1919 (Finalize_TCB): ditto.
1920 (Suspend_Task): Verify that the thread ID is not null before using it.
1921 (Resume_Task): ditto.
1924 (Resume_All_Tasks): Lock the tasks list before using it.
1925 (Suspend_All_Tasks): ditto.
1927 2001-10-26 Richard Kenner <kenner@gnat.com>
1929 * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
1930 Make constant variant of designated type for Is_Access_Constant.
1931 Call update_pointer_to with main variant.
1933 * trans.c (process_freeze_entity, process_type):
1934 Call update_pointer_to on main variant.
1936 * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
1937 If main variant, update all other variants.
1939 * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
1942 2001-10-26 Robert Dewar <dewar@gnat.com>
1944 * prj-util.adb: Minor reformatting
1946 2001-10-26 Robert Dewar <dewar@gnat.com>
1948 * prj-util.adb: Minor reformatting
1950 2001-10-26 Robert Dewar <dewar@gnat.com>
1952 * prj-attr.adb: Minor reformatting throughout
1954 2001-10-26 Robert Dewar <dewar@gnat.com>
1956 * prj-attr.ads: Minor reformatting
1957 Add ??? comment (this whole spec has almost no comments)
1959 2001-10-26 Vincent Celier <celier@gnat.com>
1961 * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
1962 ("//") that precede the drive letter on Interix.
1964 2001-10-26 Geert Bosch <bosch@gnat.com>
1966 * gnat_rm.texi: Add GNAT Reference Manual.
1968 2001-10-25 Robert Dewar <dewar@gnat.com>
1970 * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
1971 is Error. Similar change for other renaming cases.
1973 2001-10-25 Robert Dewar <dewar@gnat.com>
1975 * s-atacco.ads: Add pragma Inline_Always for functions.
1976 Fix header format. Add copyright 2001
1978 2001-10-25 Ed Schonberg <schonber@gnat.com>
1980 * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
1981 return Error rather than Empty so that analysis can proceed.
1983 2001-10-25 Ed Schonberg <schonber@gnat.com>
1985 * sem_util.adb (Enter_Name): better handling of cascaded error
1986 messages when a unit appears in its own context.
1988 2001-10-25 Ed Schonberg <schonber@gnat.com>
1990 * sem_util.adb (Defining_Entity): in case of error, attach created
1991 entity to specification, so that semantic analysis can proceed.
1993 2001-10-25 Robert Dewar <dewar@gnat.com>
1996 (Defining_Entity): Deal with Error.
1997 (Process_End_Label): Deal with bad end label for.
1999 2001-10-25 Ed Schonberg <schonber@gnat.com>
2001 * sem_elab.adb (Check_A_Call): refine message when call is in an
2002 instance but callee is not declared in the generic unit.
2004 2001-10-25 Ed Schonberg <schonber@gnat.com>
2006 * sem_elab.adb (Check_A_Call): check for renaming before finding the
2007 enclosing unit, which may already be different from the calling unit.
2009 2001-10-25 Geert Bosch <bosch@gnat.com>
2011 * 4gintnam.ads: fix header format.
2013 2001-10-25 Ed Schonberg <schonber@gnat.com>
2015 * sem_res.adb (Resolve_Call): if the call is actually an indexing
2016 operation on the result of a parameterless call, perform elaboration
2017 check after the node has been properly rewritten.
2019 * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
2020 inlined within the generic tree, the defining identifier is not a
2023 2001-10-25 Ed Schonberg <schonber@gnat.com>
2025 * sem_res.adb (Resolve): special-case resolution of Null in an
2026 instance or an inlined body to avoid view conflicts.
2028 * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
2029 compatibility by retrieving the access type of the generic copy.
2031 2001-10-25 Robert Dewar <dewar@gnat.com>
2034 (Analyze_Number_Declaration): Handle error expression.
2035 (Signed_Integer_Type_Declaration): Handle error bound.
2036 (Analyze_Subtype_Indication): Handle error range.
2038 * sem_util.adb (Get_Index_Bounds): Check for Error.
2040 2001-10-25 Robert Dewar <dewar@gnat.com>
2042 * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
2043 in no run time mode.
2045 2001-10-25 Pascal Obry <obry@gnat.com>
2047 * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
2048 mode case for ALLOC case.
2050 * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
2051 all platforms. Improvement of last change.
2053 2001-10-25 Robert Dewar <dewar@gnat.com>
2055 * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
2057 2001-10-25 Geert Bosch <bosch@gnat.com>
2059 * osint.adb (Is_Relative): Remove duplicate.
2061 2001-10-25 Pascal Obry <obry@gnat.com>
2063 * osint.adb (Read_Default_Search_Dirs): correctly detect relative
2064 pathnames in UNIX and DOS style with drive letter.
2065 (Is_Relative): new routine.
2067 * osint.adb: Minor reformatting
2069 * osint.adb (Is_Relative): implementation using
2070 GNAT.OS_Lib.Is_Absolute_Path. Better fix.
2072 2001-10-25 Pascal Obry <obry@gnat.com>
2074 * g-dirope.adb (Basename): correctly compute offset between the
2075 original Path and the translated one.
2077 * g-dirope.adb: (Base_Name): add some comments.
2079 2001-10-25 Robert Dewar <dewar@gnat.com>
2081 * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
2082 in HIE mode, avoids compilation abandoned message
2084 * exp_imgv.adb: Correct typo in previous change
2086 * exp_imgv.adb: Correct typo in previous change (not my day!)
2088 2001-10-25 Robert Dewar <dewar@gnat.com>
2090 * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
2092 2001-10-25 Pascal Obry <obry@gnat.com>
2094 * g-awk.ads: Move all pragma inlines next to the routine
2095 declarations. This is more uniform with other GNAT spec.
2097 2001-10-22 Geert Bosch <bosch@gnat.com>
2099 * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
2101 2001-10-19 Geert Bosch <bosch@gnat.com>
2103 * Makefile.in (tools, gnattools): Remove gnatmem.
2105 2001-10-17 Richard Henderson <rth@redhat.com>
2107 * Makefile.in (misc.o): Depend on langhooks.h.
2108 * misc.c: Include it.
2109 (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
2110 (LANG_HOOKS_DECODE_OPTION): New.
2111 (lang_hooks): Use LANG_HOOKS_INITIALIZER.
2113 2001-10-16 Florian Weimer <fw@deneb.enyo.de>
2115 * trans.c (tree_transform): Adjust to recent change in
2116 expand_asm_operands to implement named asm operands.
2118 2001-10-11 Ed Schonberg <schonber@gnat.com>
2120 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
2121 renaming of discriminant for mutable record type.
2123 2001-10-11 Robert Dewar <dewar@gnat.com>
2125 * validsw.adb: Properly save -gnatVn status.
2127 2001-10-11 Robert Dewar <dewar@gnat.com>
2129 * usage.adb: Add lines for V switch.
2131 * gnatcmd.adb (COMPILE): Revise translations for -gnatV
2132 (/VALIDITY_CHECKING).
2134 2001-10-11 Ed Schonberg <schonber@gnat.com>
2136 * sem_type.adb (Add_One_Interp): an operator for a type declared in
2137 an extension of System is known to be visible.
2139 2001-10-11 Ed Schonberg <schonber@gnat.com>
2141 * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
2142 properly. Fixes regression on ACATS C34005G.
2144 2001-10-11 Robert Dewar <dewar@gnat.com>
2146 * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
2147 loop in generic instance, since this is likely not very useful.
2149 2001-10-11 Robert Dewar <dewar@gnat.com>
2151 * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
2152 the error message for high integrity mode.
2154 * rtsfind.adb (RTE): Give message if we try to find an entity that
2155 is not available in high integrity mode.
2158 (OK_To_Use_In_HIE_Mode): New array.
2159 (RTE): May return Empty in high integrity mode.
2161 * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
2162 OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
2164 * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
2165 unit if not inlined always and in no runtime mode. Fixes problem
2166 caused by new Rtsfind changes.
2168 * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
2171 * rtsfind.adb (RTE): Make sure we do not try to load unit after
2172 giving message for entity not available in high integrity mode.
2174 2001-10-11 Pascal Obry <obry@gnat.com>
2176 * impunit.adb: Add GNAT.CRC32.
2178 2001-10-11 Ed Schonberg <schonber@gnat.com>
2180 * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
2181 properly the case where one universal operand in a non-static
2182 exponentiation of a real literal.
2184 2001-10-11 Ed Schonberg <schonber@gnat.com>
2186 * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
2187 clause, return the gobal finalization list, for lack of anthing else.
2189 2001-10-11 Ed Schonberg <schonber@gnat.com>
2191 * exp_ch7.adb (Make_Transient_Block): if statement is within
2192 exception handler, always use new transient scope to place Clean
2195 2001-10-11 Pascal Obry <obry@gnat.com>
2198 (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2199 (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2200 (GNATLS_RTL_OBJS): add g-crc32.o
2201 (GNATMAKE_RTL_OBJS): add g-crc32.o
2204 (CRC_Match): new function.
2205 (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
2206 instead of the previous simple checksum algorithm.
2207 (Time_Stamp_Mismatch): use CRC_Match for comparison.
2208 (Set_Source_Table): idem.
2211 (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
2212 instead of simple checksum.
2213 (CRC_Match): new function.
2214 (CRC_Error): new constant.
2216 * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
2217 a CRC now and not a simple checksum. A CRC uses lower-case hex
2218 letters, fixes ambiguity in parsing.
2220 * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
2221 is what this variable will store.
2223 * bcheck.adb: Change reference to chechsum in comments by CRC.
2224 (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
2225 rename All_Checksum_Match to All_CRC_Match. Change due to API
2226 renaming since now GNAT does not use a simple checksum but a
2227 CRC using GNAT.CRC32.
2229 * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
2230 now and not anymore a simple checksum.
2232 * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
2235 * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
2238 (Restore_Scan_State): rename Checksum to CRC.
2239 (Save_Scan_State): idem.
2243 (Checksum): rename to CRC.
2244 (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
2246 * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
2247 GNAT.CRC32). Update copyright notice.
2249 * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
2250 GNAT.CRC32). Update copyright notice.
2253 (Accumulate_Checksum): removed.
2254 (Update): new procedure. Add a wide-character into the CRC.
2257 (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
2258 (Load_File): fix initialization of S (change Source_Checksum to
2261 * sinput-p.adb (Load_Project_File): rename Source_Checksum to
2262 Source_CRC in S initialization.
2264 * sinput.adb (Source_Checksum): renamed to Source_CRC.
2266 * sinput.ads (Source_Checksum): renamed to Source_CRC.
2267 Update comments for the CRC.
2269 * types.adb (Hex): Use lowercase for the letter part.
2271 * types.ads (Get_Hex_String): Returns the hexadecimal representation
2272 for a word. This is currently used only for CRC. In previous version,
2273 the checksum was using a representation with all letter being
2274 upper-case. With the new implementation (using CRC) we do not remove
2275 the 32th bit of the CRC, so we can have an upper-case starting letter
2276 in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2277 It is ambigous since the CRC was optional and could be followed by
2278 options like EB, EE. So now this routines uses lower-case letter for
2279 the hexadecimal representation. Strange enough only lower case letters
2280 where checked in Scan_ALI (even if this was not a possible case).
2282 * gnatvsn.ads (Library_Version): changed to 3.15a.
2284 * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
2287 * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
2290 * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2291 Add 2001 to copyright notice
2292 (Accumulate_Checksum): Modify to use System.CRC32.
2294 * ali-util.ads: Redo changes of previous revision to continue to use
2295 the word Checksum. Add 2001 to copyright notice.
2297 * ali.adb: Undo some of previous changes, not needed.
2298 Keep the change for lower case letters in the checksum.
2300 * ali.ads: Undo previous change not needed.
2302 * bcheck.adb: Undo most of previous change, not needed.
2303 But do use Checksums_Match for checksum comparison.
2305 * gnatls.adb: Undo most of previous change, not needed.
2306 But do use Checksums_Match for comparing checksums.
2308 * lib-load.adb: Undo previous change, not needed.
2310 * lib-writ.adb: Undo previous change, not needed.
2312 * lib-writ.ads: Document that checksums use lower case,
2313 not upper case letters.
2315 * scans.adb: Undo previous change, not needed
2317 * scans.ads: Undo previous change, not needed.
2319 * scn-nlit.adb: Undo previous changes, not needed.
2321 * scn-slit.adb: Undo previous change, not needed. Fix header format.
2324 (Accumulate_Checksum): Use System.CRC32.
2325 (Initialize_Checksum): New procedure.
2326 Remove other changes of previous revision.
2328 * sinput-p.adb: Undo previous change, not needed.
2330 * sinput.adb: Undo previous change, not needed.
2332 * sinput-l.adb: Undo previous change, not needed.
2334 * sinput.ads: Undo previous change, not needed. Keep only comment
2335 on new checksum algorithm
2337 * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2338 Also remove a-tags and a-stream from GNAT sources.
2340 * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
2342 * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2344 2001-10-11 Geert Bosch <bosch@gnat.com>
2346 * einfo.h: Regenerate.
2348 * nmake.ads: Regenerate.
2350 * nmake.adb: Regenerate.
2352 * sinfo.h: Regenerate.
2354 * treeprs.adb: Regenerate.
2356 2001-10-10 Geert Bosch <bosch@gnat.com>
2358 * gnat-style.texi: New file describing coding guidelines for Ada.
2360 2001-10-10 Ed Schonberg <schonber@gnat.com>
2362 * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
2365 2001-10-10 Geert Bosch <bosch@gnat.com>
2367 * snames.ads: Add new names for project facility.
2369 * snames.adb: Update to reflect snames.ads changes.
2371 * snames.h: Update to reflect snames.ads changes.
2373 2001-10-10 Vincent Celier <celier@gnat.com>
2376 (Add_Switches): reflect the changes for the switches attributes
2377 Default_Switches indexed by the programming language,
2378 Switches indexed by the file name.
2379 (Collect_Arguments_And_Compile): Idem.
2380 Reflect the attribute name changes.
2383 (Initialisation_Data): Change the names of some packages and
2385 (Initialize): process case insensitive associative arrays.
2388 (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
2391 (Parse_Attribute_Declaration): For case insensitive associative
2392 arrays, set the index string to lower case.
2395 Reflect the changes of the project attributes.
2398 Replace Check_Naming_Scheme by Ada_Check and
2399 Language_Independent_Check.
2402 Replaced Check_Naming_Scheme by 2 procedures:
2403 Ada_Check and Language_Independent_Check.
2406 (Process_Declarative_Items): For case-insensitive associative
2407 arrays, set the index string to lower case.
2408 (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
2409 Prj.Nmsc.Check_Naming_Scheme.
2412 (Case_Insensitive): New function
2413 (Set_Case_Insensitive): New procedure
2416 (Case_Insensitive): New function
2417 (Set_Case_Insensitive): New procedure
2418 (Project_Node_Record): New flag Case_Insensitive.
2421 (Value_Of): new function to get the string value of a single
2422 string variable or attribute.
2425 (Value_Of): new function to get the string value of a single
2426 string variable or attribute.
2429 (Ada_Default_Spec_Suffix): New function
2430 (Ada_Default_Impl_Suffix): New function
2431 Change definitions of several constants to reflect
2432 new components of record types.
2435 (Naming_Data): Change several components to reflect new
2436 elements of naming schemes.
2437 (Project_Data): New flags Sources_Present and
2438 Language_Independent_Checked.
2439 (Ada_Default_Spec_Suffix): New function.
2440 (Ada_Default_Impl_Suffix): New function.
2443 Modification of predefined names for project manager: added
2444 Implementation, Specification_Exceptions, Implementation_Exceptions,
2445 Specification_Suffix, Implementation_Suffix, Separate_Suffix,
2446 Default_Switches, _Languages, Builder, Cross_Reference,
2447 Finder. Removed Body_Part, Specification_Append, Body_Append,
2448 Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
2451 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
2454 * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
2455 not that it is Nil_Variable_Value.
2457 * prj.ads: Add ??? for uncommented declarations
2459 2001-10-10 Ed Schonberg <schonber@gnat.com>
2461 * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2462 constant, do not indicate possible modification, so that gigi can
2463 treat it as a bona fide constant.
2465 2001-10-10 Robert Dewar <dewar@gnat.com>
2467 * sem_prag.adb: Add processing for pragma External.
2469 * snames.ads: Add entry for pragma External.
2471 * par-prag.adb: Add pragma External.
2473 * snames.adb: Updated to match snames.ads.
2475 2001-10-10 Ed Schonberg <schonber@gnat.com>
2477 * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2478 a dynamic task if the allocator appears in an indexed assignment
2479 or selected component assignment.
2481 * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2482 For a dynamic task in an assignment statement, use target of
2483 assignment to generate meaningful name.
2485 2001-10-10 Ed Schonberg <schonber@gnat.com>
2487 * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
2490 * einfo.ads: Body_Entity is also defined for generic package.
2491 Documentation change only
2493 * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2494 others_choice for a discriminated component initialization,
2495 convert discriminant references into the corresponding discriminals.
2497 * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2498 only if original type is private and expression has to be wrapped
2502 (Apply_Constraint_Check): Do not perform length check
2503 if expression is an aggregate with only an others_choice.
2504 (Length_N_Cond): two references to the same in_parameter
2505 (typically the discriminal in an init_proc) denote the same value.
2506 Two useful optimization uncovered by bugfixes above.
2508 2001-10-10 Robert Dewar <dewar@gnat.com>
2510 * xeinfo.adb: Change int to char in translation of enumeration types.
2511 This fixes a problem in the C representation of component alignment.
2512 Add 2001 to copyright notice
2514 2001-10-10 Richard Kenner <kenner@gnat.com>
2516 * decl.c: (validate_size): Do check size of object of integral type
2517 if it is a packed array type.
2519 2001-10-10 Richard Kenner <kenner@gnat.com>
2521 * decl.c: (gnat_to_gnu_entity, case object): Also materialize
2522 VAR_DECL for constant if not Is_Public but -O0.
2524 2001-10-10 Richard Kenner <kenner@gnat.com>
2526 * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2528 2001-10-10 Geert Bosch <bosch@gnat.com>
2530 * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer
2531 use '/' as switch character, allowing for absolute file names.
2533 2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk>
2535 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2538 2001-10-08 Geert Bosch <bosch@gnat.com>
2540 * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2541 Automatically build utilities when files need to be regenerated.
2543 2001-10-08 Geert Bosch <bosch@gnat.com>
2545 * xsnames.adb: New utility for updating snames.ads and snames.adb
2547 2001-10-08 Zack Weinberg <zack@codesourcery.com>
2549 * Make-lang.in (ADAFLAGS): Add -W -Wall.
2550 (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2551 (gnat1): Also depend on attribs.o.
2552 (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2553 * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2554 (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2555 (ADAFLAGS): Add -W -Wall.
2556 (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2559 (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2560 s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2561 s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2562 Use $(ADAC), not $(CC), as compilation command.
2564 (gnattools): Depend directly on tools to build, don't use
2566 (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2568 * einfo.h, sinfo.h: New files (autogenerated).
2570 2001-10-08 Richard Henderson <rth@redhat.com>
2572 * comperr.adb (Abort_In_Progress): New.
2573 (Compiler_Abort): Use it to prevent recursion.
2575 2001-10-08 Robert Dewar <dewar@gnat.com>
2577 * atree.adb: Set Error_Posted in Error node, helps error recovery.
2579 * par-endh.adb (Output_End_Expected): We should also not test
2580 Error_Posted on the Error node, since now it is always set.
2582 * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
2583 to help error recovery. Part of general work on 9407-004.
2585 * par.adb: Add ??? for misuse of error
2588 (Resolve): Defend against Error, fixes 9407-003.
2589 (Resolve_Discrete_Subtype_Indication): Defend against Error.
2591 * sinfo.ads (N_Error): Now has Etype field (which will be set
2592 to Any_Type to help error recovery).
2594 2001-10-08 Richard Kenner (kenner@gnat.com)
2596 * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2597 Consistently set MEM attributes from expression; fixes
2598 bootstrap failure on x86.
2600 2001-10-08 Geert Bosch (bosch@gnat.com)
2602 * 5oosinte.adb: Add 2001 to copyright notice.
2604 2001-10-08 Geert Bosch (bosch@gnat.com)
2606 * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2608 * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2610 2001-10-07 Joseph S. Myers <jsm28@cam.ac.uk>
2612 * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2614 2001-10-05 Geert Bosch (bosch@gnat.com)
2616 * adaint.h: Small formatting fix.
2618 2001-10-04 Geert Bosch <bosch@gnat.com>
2620 * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2621 Arg is int, not FILE *, in dummy version of functions.
2623 * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2624 Arg is int, not FILE *.
2626 2001-10-04 Geert Bosch <bosch@gnat.com>
2628 * 3lsoccon.ads: Added file, missed with initial check ins.
2630 * 4lintnam.ads: Fix header format.
2631 Change Linux to GNU/Linux.
2633 * 5iosinte.adb: Change Linux to GNU/Linux.
2635 * 5iosinte.ads: Change Linux to GNU/Linux.
2637 * 5itaprop.adb: Change Linux to GNU/Linux.
2639 * 5itaspri.ads: Change Linux to GNU/Linux.
2640 Update copyright notice.
2642 * 5lintman.adb: Change Linux to GNU/Linux.
2644 * 5lml-tgt.adb: Change Linux to GNU/Linux.
2646 * 5losinte.ads: Change Linux to GNU/Linux.
2648 * 5lsystem.ads: Change Linux to GNU/Linux.
2650 * 5qosinte.adb: Change Linux to GNU/Linux.
2652 * 5qosinte.ads: Change Linux to GNU/Linux.
2654 * 5qparame.ads: Change Linux to GNU/Linux.
2656 * 5qtaprop.adb: Change Linux to GNU/Linux.
2658 * 5qtaspri.ads: Change Linux to GNU/Linux.
2659 Add 2001 to copyright notice.
2661 * 5vintman.ads: Change Linux to GNU/Linux.
2662 Fix header format. Add 2001 to copyright notice.
2664 * g-soccon.ads: Change Linux to GNU/Linux.
2666 * g-trasym.ads: Change Linux to GNU/Linux.
2667 Add 2001 to copyright notice.
2669 * memtrack.adb: Change Linux to GNU/Linux.
2671 * s-intman.ads: Change Linux to GNU/Linux.
2672 Add 2001 to copyright notice. Fix header format.
2674 * s-stache.adb: Change Linux to GNU/Linux.
2676 * adaint.c: Change Linux to GNU/Linux.
2678 * cio.c: Change Linux to GNU/Linux.
2680 * cstreams.c: Change Linux to GNU/Linux.
2682 * init.c: Change Linux to GNU/Linux.
2684 * gmem.c: Change Linux to GNU/Linux.
2686 * tracebak.c: Change Linux to GNU/Linux.
2689 2001-10-02 Geert Bosch <bosch@gnat.com>
2691 * misc.c (insert_default_attributes): Add dummy version.