1 2002-11-19 Release Manager
5 2002-11-19 Release Manager
9 2002-11-18 Release Manager
13 2002-08-25 Andre Leis <a.leis@gmx.net>
14 David Billinghurst (David.Billinghurst@riotinto.com>
16 * sysdep.c (__gnat_ttyname): include <termios.h> on cygwin
18 2002-08-14 Release Manager
22 2002-07-25 Release Manager
26 2002-05-26 Joseph S. Myers <jsm28@cam.ac.uk>
28 * gnatvsn.ads (Gnat_Version_String): Change to "3.1.1 20020526
31 2002-05-14 Release Manager
35 2002-05-14 Release Manager
39 2002-05-07 Florian Weimer <fw@deneb.enyo.de>
41 * nmake.adt, treeprs.adt: Shorten long Revision: line.
43 * xnmake.adb, xtreeprs.adb: Do not write comment trailer for
46 2002-05-05 Florian Weimer <fw@deneb.enyo.de>
48 * 4aintnam.ads, 4cintnam.ads, 4dintnam.ads, 4hintnam.ads,
49 4mintnam.ads, 4nintnam.ads, 4ointnam.ads, 4onumaux.ads,
50 4pintnam.ads, 4rintnam.ads, 4sintnam.ads, 4uintnam.ads,
51 4vcalend.ads, 4vintnam.ads, 4wintnam.ads, 4zintnam.ads,
52 4znumaux.ads, 5avxwork.ads, 5etpopse.adb, 5gintman.adb,
53 5gproinf.ads, 5gtasinf.adb, 5ninmaop.adb, 5nintman.adb,
54 5oparame.adb, 5pvxwork.ads, 5qvxwork.ads, 5rparame.adb,
55 5sintman.adb, 5stasinf.adb, 5stpopse.adb, 5svxwork.ads,
56 5uintman.adb, 5vinmaop.adb, 5vintman.adb, 5vtpopde.adb,
57 5vtpopde.ads, 5wosprim.adb, 6vinterf.ads, 7sinmaop.adb,
58 7sosprim.adb, 7stpopsp.adb, 86numaux.ads, 9drpc.adb, a-astaco.adb,
59 a-astaco.ads, a-caldel.ads, a-calend.ads, a-chahan.ads,
60 a-charac.ads, a-chlat1.ads, a-colien.adb, a-colien.ads,
61 a-decima.adb, a-decima.ads, a-diocst.adb, a-diocst.ads,
62 a-direio.adb, a-dynpri.ads, a-excpol.adb, a-filico.ads,
63 a-finali.ads, a-flteio.ads, a-fwteio.ads, a-inteio.ads,
64 a-interr.adb, a-intnam.ads, a-intsig.adb, a-intsig.ads,
65 a-ioexce.ads, a-iwteio.ads, a-lfteio.ads, a-lfwtio.ads,
66 a-liteio.ads, a-liwtio.ads, a-llftio.ads, a-llfwti.ads,
67 a-llitio.ads, a-lliwti.ads, a-ncelfu.ads, a-ngcoty.ads,
68 a-ngelfu.ads, a-nlcefu.ads, a-nlcoty.ads, a-nlelfu.ads,
69 a-nllcef.ads, a-nllcty.ads, a-nllefu.ads, a-nscefu.ads,
70 a-nscoty.ads, a-nselfu.ads, a-nucoty.ads, a-nuflra.adb,
71 a-nuflra.ads, a-numaux.ads, a-numeri.ads, a-sequio.ads,
72 a-sfteio.ads, a-sfwtio.ads, a-siocst.adb, a-siocst.ads,
73 a-siteio.ads, a-siwtio.ads, a-ssicst.adb, a-ssicst.ads,
74 a-ssitio.ads, a-ssiwti.ads, a-storio.adb, a-storio.ads,
75 a-stream.ads, a-strfix.ads, a-string.ads, a-strsea.adb,
76 a-strsea.ads, a-strunb.ads, a-ststio.ads, a-stunau.adb,
77 a-stunau.ads, a-stwibo.ads, a-stwifi.adb, a-stwifi.ads,
78 a-stwima.ads, a-stwise.adb, a-stwise.ads, a-sytaco.ads,
79 a-tags.ads, a-tasatt.ads, a-teioed.ads, a-ticoau.adb,
80 a-ticoau.ads, a-ticoio.adb, a-ticoio.ads, a-tideau.ads,
81 a-tideio.ads, a-tienau.ads, a-tifiio.ads, a-tiflau.adb,
82 a-tiflau.ads, a-tiflio.ads, a-tiinau.ads, a-tiinio.ads,
83 a-timoio.adb, a-tiocst.adb, a-tiocst.ads, a-titest.adb,
84 a-titest.ads, a-unccon.ads, a-uncdea.ads, a-wtcoau.adb,
85 a-wtcoau.ads, a-wtcoio.adb, a-wtcoio.ads, a-wtcstr.adb,
86 a-wtcstr.ads, a-wtdeio.ads, a-wtedit.ads, a-wtenau.ads,
87 a-wtfiio.ads, a-wtflau.adb, a-wtflau.ads, a-wtflio.ads,
88 a-wtinau.adb, a-wtinau.ads, a-wtinio.ads, a-wtmoau.adb,
89 a-wtmoau.ads, a-wtmoio.adb, a-wtmoio.ads, a-wttest.adb,
90 a-wttest.ads, ada.ads, binde.ads, bindgen.ads, bindusg.ads,
91 calendar.ads, ceinfo.adb, debug_a.adb, debug_a.ads, directio.ads,
92 elists.ads, exp_attr.ads, exp_ch10.ads, exp_ch12.ads,
93 exp_ch13.ads, exp_ch2.ads, exp_ch6.ads, exp_code.ads,
94 exp_disp.ads, exp_dist.ads, exp_fixd.ads, exp_imgv.ads,
95 exp_intr.ads, exp_prag.ads, exp_smem.ads, exp_vfpt.adb,
96 exp_vfpt.ads, frontend.ads, g-busora.adb, g-busorg.adb,
97 g-casuti.adb, g-casuti.ads, g-curexc.ads, g-debuti.adb,
98 g-debuti.ads, g-hesora.adb, g-hesorg.adb, g-io_aux.ads,
99 g-moreex.adb, g-speche.ads, g-spitbo.adb, g-spitbo.ads,
100 g-sptabo.ads, g-sptain.ads, g-sptavs.ads, get_targ.adb,
101 gnat1drv.ads, gnatbind.ads, gnatcmd.ads, gnatlink.ads, gnatls.ads,
102 gnatmake.adb, gnatmake.ads, gnatprep.ads, gnatpsys.adb, hlo.adb,
103 hlo.ads, i-c.ads, i-cexten.ads, i-fortra.adb, i-os2err.ads,
104 i-os2lib.ads, i-os2syn.ads, i-os2thr.ads, i-pacdec.ads,
105 interfac.ads, ioexcept.ads, itypes.ads, krunch.ads, lib-sort.adb,
106 live.ads, machcode.ads, makeusg.ads, math_lib.adb, mdllfile.adb,
107 nlists.adb, nlists.ads, par-ch2.adb, par-labl.adb, par.ads,
108 prj-com.ads, s-addima.adb, s-addima.ads, s-arit64.ads,
109 s-assert.adb, s-assert.ads, s-asthan.adb, s-asthan.ads,
110 s-atacco.adb, s-chepoo.ads, s-direio.ads, s-errrep.adb,
111 s-errrep.ads, s-exnflt.ads, s-exngen.ads, s-exnint.ads,
112 s-exnlfl.ads, s-exnlin.ads, s-exnllf.ads, s-exnlli.ads,
113 s-exnsfl.ads, s-exnsin.ads, s-exnssi.ads, s-expflt.ads,
114 s-expgen.ads, s-expint.ads, s-explfl.ads, s-explin.ads,
115 s-expllf.ads, s-explli.ads, s-expllu.adb, s-expllu.ads,
116 s-expmod.adb, s-expmod.ads, s-expsfl.ads, s-expsin.ads,
117 s-expssi.ads, s-expuns.adb, s-expuns.ads, s-fatflt.ads,
118 s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads, s-finimp.ads,
119 s-fore.adb, s-fore.ads, s-gloloc.adb, s-imgbiu.adb, s-imgboo.adb,
120 s-imgcha.adb, s-imgint.adb, s-imgllb.adb, s-imglld.adb,
121 s-imglli.adb, s-imgllu.adb, s-imgllw.adb, s-imguns.adb,
122 s-imgwch.adb, s-imgwiu.adb, s-inmaop.ads, s-io.ads, s-mantis.adb,
123 s-mantis.ads, s-pack03.ads, s-pack05.ads, s-pack07.ads,
124 s-pack09.ads, s-pack11.ads, s-pack13.ads, s-pack15.ads,
125 s-pack17.ads, s-pack19.ads, s-pack21.ads, s-pack23.ads,
126 s-pack25.ads, s-pack27.ads, s-pack29.ads, s-pack31.ads,
127 s-pack33.ads, s-pack35.ads, s-pack37.ads, s-pack39.ads,
128 s-pack41.ads, s-pack43.ads, s-pack45.ads, s-pack47.ads,
129 s-pack49.ads, s-pack51.ads, s-pack53.ads, s-pack55.ads,
130 s-pack57.ads, s-pack59.ads, s-pack61.ads, s-pack63.ads,
131 s-pooglo.ads, s-pooloc.ads, s-poosiz.ads, s-proinf.adb,
132 s-proinf.ads, s-rpc.ads, s-sequio.adb, s-sequio.ads, s-shasto.ads,
133 s-sopco3.adb, s-sopco4.adb, s-sopco5.adb, s-stoele.adb,
134 s-stoele.ads, s-stopoo.ads, s-stratt.adb, s-stratt.ads,
135 s-strops.adb, s-taenca.ads, s-tasinf.adb, s-tasren.ads,
136 s-tasuti.ads, s-vaflop.ads, s-valboo.adb, s-valboo.ads,
137 s-valcha.adb, s-valdec.adb, s-valdec.ads, s-valint.adb,
138 s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
139 s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.ads,
140 s-valuns.adb, s-valuns.ads, s-valuti.ads, s-valwch.adb,
141 s-vercon.adb, s-vercon.ads, s-vmexta.ads, s-wchcon.ads,
142 s-wchjis.adb, s-wchjis.ads, s-wchstw.ads, s-wchwts.adb,
143 s-wchwts.ads, s-widboo.adb, s-widboo.ads, s-widcha.adb,
144 s-widcha.ads, s-widlli.adb, s-widlli.ads, s-widllu.adb,
145 s-widllu.ads, s-widwch.adb, s-widwch.ads, s-wwdcha.adb,
146 s-wwdcha.ads, s-wwdwch.ads, scn-nlit.adb, sdefault.ads,
147 sem_aggr.ads, sem_ch10.ads, sem_ch11.ads, sem_ch2.adb,
148 sem_ch2.ads, sem_ch4.ads, sem_ch5.ads, sem_ch6.ads, sem_ch7.ads,
149 sem_ch8.ads, sem_disp.ads, sem_elim.ads, sem_intr.ads,
150 sem_maps.adb, sem_mech.ads, sem_prag.ads, sem_smem.ads,
151 sem_vfpt.ads, sequenio.ads, sinput-l.ads, snames.adb, stand.adb,
152 switch.ads, text_io.ads, tree_gen.ads, tree_in.ads, tree_io.ads,
153 treepr.ads, uname.ads, unchconv.ads, unchdeal.ads, urealp.ads,
154 usage.ads, widechar.ads: Adjust Revision: lines which were too
157 2002-05-03 Joe Buck <Joe.Buck@synopsys.com>
159 * 1aexcept.adb, 1aexcept.ads, 41intnam.ads, 42intnam.ads,
160 4aintnam.ads, 4cintnam.ads, 4dintnam.ads, 4hexcpol.adb,
161 4lintnam.ads, 4mintnam.ads, 4nintnam.ads, 4onumaux.ads,
162 4pintnam.ads, 4rintnam.ads, 4sintnam.ads, 4uintnam.ads,
163 4vcalend.adb, 4vintnam.ads, 4wcalend.adb, 4wexcpol.adb,
164 4wintnam.ads, 4zintnam.ads, 4znumaux.ads, 4zsytaco.adb,
165 4zsytaco.ads, 51osinte.adb, 51osinte.ads, 52osinte.adb,
166 52osinte.ads, 52system.ads, 53osinte.ads, 5aosinte.ads,
167 5asystem.ads, 5atasinf.ads, 5ataspri.ads, 5avxwork.ads,
168 5bosinte.ads, 5bsystem.ads, 5cosinte.ads, 5dosinte.ads,
169 5esystem.ads, 5fosinte.ads, 5fsystem.ads, 5ftasinf.ads,
170 5ginterr.adb, 5gmastop.adb, 5gosinte.ads, 5gproinf.adb,
171 5gproinf.ads, 5gsystem.ads, 5gtasinf.adb, 5gtasinf.ads,
172 5gtpgetc.adb, 5hparame.ads, 5hsystem.ads, 5htaspri.ads,
173 5iosinte.ads, 5itaspri.ads, 5ksystem.ads, 5kvxwork.ads,
174 5losinte.ads, 5lsystem.ads, 5mosinte.ads, 5mvxwork.ads,
175 5ninmaop.adb, 5nintman.adb, 5nosinte.ads, 5ntaspri.ads,
176 5oosprim.adb, 5oparame.adb, 5osystem.ads, 5posinte.ads,
177 5posprim.adb, 5pvxwork.ads, 5qparame.ads, 5qvxwork.ads,
178 5rosinte.ads, 5rparame.adb, 5sintman.adb, 5sosinte.ads,
179 5sparame.adb, 5ssystem.ads, 5stasinf.adb, 5stasinf.ads,
180 5staspri.ads, 5svxwork.ads, 5tosinte.ads, 5uosinte.ads,
181 5vasthan.adb, 5vinterr.adb, 5vintman.ads, 5vosinte.ads,
182 5vosprim.adb, 5vosprim.ads, 5vparame.ads, 5vsystem.ads,
183 5vtaspri.ads, 5vtpopde.adb, 5vtpopde.ads, 5vvaflop.adb,
184 5wintman.adb, 5wmemory.adb, 5wosinte.ads, 5wosprim.adb,
185 5wsystem.ads, 5wtaprop.adb, 5wtaspri.ads, 5ysystem.ads,
186 5zinterr.adb, 5zosinte.adb, 5zosinte.ads, 5zosprim.adb,
187 5zparame.ads, 5zsystem.ads, 6vcpp.adb, 6vcstrea.adb,
188 7sosprim.adb, 86numaux.adb, 86numaux.ads, 9drpc.adb,
189 a-astaco.adb, a-caldel.ads, a-calend.adb, a-calend.ads,
190 a-chahan.adb, a-chahan.ads, a-colien.adb, a-colien.ads,
191 a-colire.adb, a-colire.ads, a-comlin.adb, a-comlin.ads,
192 a-cwila1.ads, a-decima.adb, a-decima.ads, a-diocst.adb,
193 a-diocst.ads, a-direio.adb, a-direio.ads, a-einuoc.adb,
194 a-einuoc.ads, a-except.adb, a-except.ads, a-excpol.adb,
195 a-exctra.adb, a-exctra.ads, a-filico.adb, a-filico.ads,
196 a-finali.adb, a-finali.ads, a-interr.ads, a-intsig.adb,
197 a-intsig.ads, a-ngcefu.adb, a-ngcoty.adb, a-ngcoty.ads,
198 a-ngelfu.adb, a-nudira.adb, a-nudira.ads, a-nuflra.adb,
199 a-nuflra.ads, a-numaux.ads, a-reatim.ads, a-retide.ads,
200 a-sequio.adb, a-sequio.ads, a-siocst.adb, a-siocst.ads,
201 a-ssicst.adb, a-ssicst.ads, a-stmaco.ads, a-storio.adb,
202 a-strbou.adb, a-strbou.ads, a-stream.ads, a-strfix.adb,
203 a-strfix.ads, a-strmap.adb, a-strmap.ads, a-strsea.adb,
204 a-strsea.ads, a-strunb.adb, a-strunb.ads, a-ststio.adb,
205 a-ststio.ads, a-stunau.adb, a-stunau.ads, a-stwibo.adb,
206 a-stwibo.ads, a-stwifi.adb, a-stwima.adb, a-stwima.ads,
207 a-stwise.adb, a-stwise.ads, a-stwiun.adb, a-stwiun.ads,
208 a-suteio.adb, a-suteio.ads, a-swmwco.ads, a-swuwti.adb,
209 a-swuwti.ads, a-sytaco.adb, a-sytaco.ads, a-tags.adb,
210 a-tags.ads, a-tasatt.ads, a-taside.adb, a-taside.ads,
211 a-teioed.adb, a-teioed.ads, a-textio.adb, a-textio.ads,
212 a-ticoau.adb, a-ticoau.ads, a-ticoio.adb, a-ticoio.ads,
213 a-tideau.adb, a-tideau.ads, a-tideio.adb, a-tideio.ads,
214 a-tienau.adb, a-tienau.ads, a-tienio.adb, a-tienio.ads,
215 a-tifiio.adb, a-tifiio.ads, a-tiflau.adb, a-tiflau.ads,
216 a-tiflio.adb, a-tiflio.ads, a-tigeau.adb, a-tigeau.ads,
217 a-tiinau.adb, a-tiinau.ads, a-tiinio.adb, a-tiinio.ads,
218 a-timoau.adb, a-timoau.ads, a-timoio.adb, a-timoio.ads,
219 a-tiocst.adb, a-tiocst.ads, a-titest.adb, a-witeio.adb,
220 a-witeio.ads, a-wtcoau.adb, a-wtcoau.ads, a-wtcoio.adb,
221 a-wtcstr.adb, a-wtcstr.ads, a-wtdeau.adb, a-wtdeau.ads,
222 a-wtdeio.adb, a-wtdeio.ads, a-wtedit.adb, a-wtedit.ads,
223 a-wtenau.adb, a-wtenau.ads, a-wtenio.adb, a-wtenio.ads,
224 a-wtfiio.adb, a-wtfiio.ads, a-wtflau.adb, a-wtflau.ads,
225 a-wtflio.adb, a-wtflio.ads, a-wtgeau.adb, a-wtgeau.ads,
226 a-wtinau.adb, a-wtinau.ads, a-wtinio.adb, a-wtmoau.adb,
227 a-wtmoau.ads, a-wtmoio.adb, a-wtmoio.ads, a-wttest.adb,
228 ada-tree.def, ada-tree.h, ada.h, adaint.c, adaint.h,
229 ali-util.adb, ali-util.ads, ali.adb, ali.ads, alloc.ads,
230 argv.c, atree.adb, atree.ads, atree.h, back_end.adb,
231 back_end.ads, bcheck.adb, bcheck.ads, binde.adb, binde.ads,
232 binderr.adb, binderr.ads, bindgen.adb, bindgen.ads,
233 bindusg.adb, bindusg.ads, butil.adb, butil.ads, cal.c,
234 casing.adb, casing.ads, ceinfo.adb, checks.adb, checks.ads,
235 cio.c, comperr.adb, comperr.ads, csets.adb, csets.ads,
236 csinfo.adb, cstand.adb, cstand.ads, cstreams.c, cuintp.c,
237 debug.adb, debug.ads, debug_a.adb, debug_a.ads, dec-io.adb,
238 dec-io.ads, dec.ads, decl.c, deftarg.c, einfo.adb, einfo.ads,
239 einfo.h, elists.adb, elists.ads, elists.h, errno.c, errout.adb,
240 errout.ads, eval_fat.adb, eval_fat.ads, exit.c, exp_aggr.adb,
241 exp_aggr.ads, exp_attr.adb, exp_attr.ads, exp_ch10.ads,
242 exp_ch11.adb, exp_ch11.ads, exp_ch12.adb, exp_ch12.ads,
243 exp_ch13.adb, exp_ch13.ads, exp_ch2.adb, exp_ch2.ads,
244 exp_ch3.adb, exp_ch3.ads, exp_ch4.adb, exp_ch4.ads,
245 exp_ch5.adb, exp_ch5.ads, exp_ch6.adb, exp_ch6.ads,
246 exp_ch7.adb, exp_ch7.ads, exp_ch8.adb, exp_ch8.ads,
247 exp_ch9.adb, exp_ch9.ads, exp_code.adb, exp_code.ads,
248 exp_dbug.adb, exp_dbug.ads, exp_disp.adb, exp_disp.ads,
249 exp_dist.adb, exp_dist.ads, exp_fixd.adb, exp_fixd.ads,
250 exp_imgv.adb, exp_imgv.ads, exp_intr.adb, exp_intr.ads,
251 exp_pakd.adb, exp_pakd.ads, exp_prag.adb, exp_prag.ads,
252 exp_smem.adb, exp_smem.ads, exp_strm.adb, exp_strm.ads,
253 exp_tss.adb, exp_tss.ads, exp_util.adb, exp_util.ads,
254 exp_vfpt.adb, exp_vfpt.ads, expander.adb, expander.ads, fe.h,
255 final.c, fmap.adb, fmap.ads, fname-sf.adb, fname-sf.ads,
256 fname-uf.adb, fname-uf.ads, fname.adb, fname.ads, freeze.adb,
257 freeze.ads, frontend.adb, frontend.ads, g-calend.ads,
258 g-comlin.adb, g-debpoo.adb, g-debpoo.ads, g-locfil.adb,
259 g-os_lib.ads, g-regist.adb, g-regist.ads, get_targ.adb,
260 get_targ.ads, gigi.h, gmem.c, gnat1drv.adb, gnat1drv.ads,
261 gnat_ug.texi, gnatbind.adb, gnatbind.ads, gnatbl.c,
262 gnatcmd.adb, gnatcmd.ads, gnatdll.adb, gnatfind.adb,
263 gnatkr.adb, gnatkr.ads, gnatlbr.adb, gnatlink.adb,
264 gnatlink.ads, gnatls.adb, gnatls.ads, gnatmain.adb,
265 gnatmain.ads, gnatmake.adb, gnatmake.ads, gnatmem.adb,
266 gnatprep.adb, gnatprep.ads, gnatpsta.adb, gnatpsys.adb,
267 gnatvsn.ads, gnatxref.adb, hlo.adb, hlo.ads, hostparm.ads,
268 i-c.adb, i-cexten.ads, i-cobol.adb, i-cobol.ads, i-cpoint.adb,
269 i-cpoint.ads, i-cpp.adb, i-cpp.ads, i-cstrea.adb, i-cstrea.ads,
270 i-cstrin.adb, i-cstrin.ads, i-fortra.adb, i-os2err.ads,
271 i-os2lib.adb, i-os2lib.ads, i-os2syn.ads, i-os2thr.ads,
272 i-pacdec.adb, i-pacdec.ads, impunit.adb, impunit.ads, init.c,
273 inline.adb, inline.ads, io-aux.c, itypes.adb, itypes.ads,
274 krunch.adb, krunch.ads, lang-options.h, lang-specs.h,
275 layout.adb, layout.ads, lib-list.adb, lib-load.adb,
276 lib-load.ads, lib-sort.adb, lib-util.adb, lib-util.ads,
277 lib-writ.adb, lib-writ.ads, lib-xref.adb, lib-xref.ads,
278 lib.adb, lib.ads, link.c, live.adb, live.ads, make.adb,
279 make.ads, makeusg.adb, makeusg.ads, math_lib.adb, mdll.adb,
280 mdll.ads, mdllfile.adb, mdllfile.ads, mdlltool.adb,
281 mdlltool.ads, memtrack.adb, misc.c, namet.adb, namet.ads,
282 namet.h, nlists.adb, nlists.ads, nlists.h, nmake.adb,
283 nmake.ads, nmake.adt, opt.adb, opt.ads, osint.adb, osint.ads,
284 output.adb, output.ads, par-ch10.adb, par-ch11.adb,
285 par-ch12.adb, par-ch13.adb, par-ch2.adb, par-ch3.adb,
286 par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch7.adb,
287 par-ch8.adb, par-ch9.adb, par-endh.adb, par-labl.adb,
288 par-load.adb, par-prag.adb, par-sync.adb, par-tchk.adb,
289 par-util.adb, par.adb, par.ads, prj-attr.adb, prj-attr.ads,
290 prj-com.adb, prj-com.ads, prj-dect.adb, prj-dect.ads,
291 prj-env.adb, prj-env.ads, prj-ext.adb, prj-ext.ads,
292 prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads,
293 prj-part.adb, prj-part.ads, prj-proc.adb, prj-proc.ads,
294 prj-strt.adb, prj-strt.ads, prj-tree.adb, prj-tree.ads,
295 prj-util.adb, prj-util.ads, prj.adb, prj.ads, raise.c, raise.h,
296 repinfo.adb, repinfo.ads, repinfo.h, restrict.adb,
297 restrict.ads, rident.ads, rtsfind.adb, rtsfind.ads,
298 s-addima.adb, s-addima.ads, s-arit64.adb, s-arit64.ads,
299 s-assert.adb, s-assert.ads, s-asthan.adb, s-asthan.ads,
300 s-atacco.adb, s-auxdec.adb, s-auxdec.ads, s-bitops.adb,
301 s-bitops.ads, s-chepoo.ads, s-direio.adb, s-direio.ads,
302 s-except.ads, s-exctab.adb, s-exctab.ads, s-exnflt.ads,
303 s-exngen.adb, s-exngen.ads, s-exnint.ads, s-exnlfl.ads,
304 s-exnlin.ads, s-exnllf.ads, s-exnlli.ads, s-exnsfl.ads,
305 s-exnsin.ads, s-exnssi.ads, s-expflt.ads, s-expgen.adb,
306 s-expgen.ads, s-expint.ads, s-explfl.ads, s-explin.ads,
307 s-expllf.ads, s-explli.ads, s-expllu.adb, s-expllu.ads,
308 s-expmod.adb, s-expmod.ads, s-expsfl.ads, s-expsin.ads,
309 s-expssi.ads, s-expuns.adb, s-expuns.ads, s-fatflt.ads,
310 s-fatgen.adb, s-fatgen.ads, s-fatlfl.ads, s-fatllf.ads,
311 s-fatsfl.ads, s-ficobl.ads, s-fileio.adb, s-fileio.ads,
312 s-finimp.adb, s-finimp.ads, s-finroo.adb, s-finroo.ads,
313 s-fore.adb, s-fore.ads, s-imgbiu.adb, s-imgbiu.ads,
314 s-imgboo.adb, s-imgboo.ads, s-imgcha.adb, s-imgcha.ads,
315 s-imgdec.adb, s-imgdec.ads, s-imgenu.adb, s-imgenu.ads,
316 s-imgint.adb, s-imgint.ads, s-imgllb.adb, s-imgllb.ads,
317 s-imglld.adb, s-imglld.ads, s-imglli.adb, s-imglli.ads,
318 s-imgllu.adb, s-imgllu.ads, s-imgllw.adb, s-imgllw.ads,
319 s-imgrea.adb, s-imgrea.ads, s-imguns.adb, s-imguns.ads,
320 s-imgwch.adb, s-imgwch.ads, s-imgwiu.adb, s-imgwiu.ads,
321 s-inmaop.ads, s-interr.adb, s-interr.ads, s-intman.ads,
322 s-io.adb, s-io.ads, s-maccod.ads, s-mantis.adb, s-mantis.ads,
323 s-memory.adb, s-memory.ads, s-osprim.ads, s-pack03.adb,
324 s-pack03.ads, s-pack05.adb, s-pack05.ads, s-pack06.adb,
325 s-pack06.ads, s-pack07.adb, s-pack07.ads, s-pack09.adb,
326 s-pack09.ads, s-pack10.adb, s-pack10.ads, s-pack11.adb,
327 s-pack11.ads, s-pack12.adb, s-pack12.ads, s-pack13.adb,
328 s-pack13.ads, s-pack14.adb, s-pack14.ads, s-pack15.adb,
329 s-pack15.ads, s-pack17.adb, s-pack17.ads, s-pack18.adb,
330 s-pack18.ads, s-pack19.adb, s-pack19.ads, s-pack20.adb,
331 s-pack20.ads, s-pack21.adb, s-pack21.ads, s-pack22.adb,
332 s-pack22.ads, s-pack23.adb, s-pack23.ads, s-pack24.adb,
333 s-pack24.ads, s-pack25.adb, s-pack25.ads, s-pack26.adb,
334 s-pack26.ads, s-pack27.adb, s-pack27.ads, s-pack28.adb,
335 s-pack28.ads, s-pack29.adb, s-pack29.ads, s-pack30.adb,
336 s-pack30.ads, s-pack31.adb, s-pack31.ads, s-pack33.adb,
337 s-pack33.ads, s-pack34.adb, s-pack34.ads, s-pack35.adb,
338 s-pack35.ads, s-pack36.adb, s-pack36.ads, s-pack37.adb,
339 s-pack37.ads, s-pack38.adb, s-pack38.ads, s-pack39.adb,
340 s-pack39.ads, s-pack40.adb, s-pack40.ads, s-pack41.adb,
341 s-pack41.ads, s-pack42.adb, s-pack42.ads, s-pack43.adb,
342 s-pack43.ads, s-pack44.adb, s-pack44.ads, s-pack45.adb,
343 s-pack45.ads, s-pack46.adb, s-pack46.ads, s-pack47.adb,
344 s-pack47.ads, s-pack48.adb, s-pack48.ads, s-pack49.adb,
345 s-pack49.ads, s-pack50.adb, s-pack50.ads, s-pack51.adb,
346 s-pack51.ads, s-pack52.adb, s-pack52.ads, s-pack53.adb,
347 s-pack53.ads, s-pack54.adb, s-pack54.ads, s-pack55.adb,
348 s-pack55.ads, s-pack56.adb, s-pack56.ads, s-pack57.adb,
349 s-pack57.ads, s-pack58.adb, s-pack58.ads, s-pack59.adb,
350 s-pack59.ads, s-pack60.adb, s-pack60.ads, s-pack61.adb,
351 s-pack61.ads, s-pack62.adb, s-pack62.ads, s-pack63.adb,
352 s-pack63.ads, s-parame.adb, s-parame.ads, s-parint.adb,
353 s-parint.ads, s-pooglo.adb, s-pooglo.ads, s-pooloc.adb,
354 s-pooloc.ads, s-poosiz.adb, s-poosiz.ads, s-powtab.ads,
355 s-proinf.adb, s-proinf.ads, s-rpc.adb, s-rpc.ads, s-scaval.ads,
356 s-secsta.adb, s-secsta.ads, s-sequio.adb, s-sequio.ads,
357 s-shasto.adb, s-shasto.ads, s-soflin.adb, s-soflin.ads,
358 s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads,
359 s-sopco5.adb, s-sopco5.ads, s-stache.adb, s-stache.ads,
360 s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stopoo.ads,
361 s-stratt.adb, s-stratt.ads, s-strops.adb, s-strops.ads,
362 s-taprob.ads, s-taprop.ads, s-tarest.ads, s-tasdeb.adb,
363 s-tasdeb.ads, s-tasinf.adb, s-tasinf.ads, s-tasini.ads,
364 s-taskin.ads, s-tasren.ads, s-tasres.ads, s-tassta.ads,
365 s-tpinop.adb, s-tpinop.ads, s-tpoben.ads, s-tpobop.ads,
366 s-unstyp.ads, s-vaflop.adb, s-vaflop.ads, s-valboo.adb,
367 s-valboo.ads, s-valcha.adb, s-valcha.ads, s-valdec.adb,
368 s-valdec.ads, s-valenu.adb, s-valenu.ads, s-valint.adb,
369 s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb,
370 s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb,
371 s-valrea.ads, s-valuns.adb, s-valuns.ads, s-valuti.adb,
372 s-valuti.ads, s-valwch.adb, s-valwch.ads, s-vercon.adb,
373 s-vercon.ads, s-vmexta.adb, s-vmexta.ads, s-wchcnv.adb,
374 s-wchcnv.ads, s-wchcon.ads, s-wchjis.adb, s-wchjis.ads,
375 s-wchstw.adb, s-wchstw.ads, s-wchwts.adb, s-wchwts.ads,
376 s-widboo.adb, s-widboo.ads, s-widcha.adb, s-widcha.ads,
377 s-widenu.adb, s-widenu.ads, s-widlli.adb, s-widlli.ads,
378 s-widllu.adb, s-widllu.ads, s-widwch.adb, s-widwch.ads,
379 s-wwdcha.adb, s-wwdcha.ads, s-wwdenu.adb, s-wwdenu.ads,
380 s-wwdwch.adb, s-wwdwch.ads, scans.adb, scans.ads, scn-nlit.adb,
381 scn-slit.adb, scn.adb, scn.ads, sdefault.ads, sem.adb, sem.ads,
382 sem_aggr.adb, sem_aggr.ads, sem_attr.adb, sem_attr.ads,
383 sem_case.adb, sem_case.ads, sem_cat.adb, sem_cat.ads,
384 sem_ch10.adb, sem_ch10.ads, sem_ch11.adb, sem_ch11.ads,
385 sem_ch12.adb, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads,
386 sem_ch2.adb, sem_ch2.ads, sem_ch3.adb, sem_ch3.ads,
387 sem_ch4.adb, sem_ch4.ads, sem_ch5.adb, sem_ch5.ads,
388 sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch7.ads,
389 sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_ch9.ads,
390 sem_disp.adb, sem_disp.ads, sem_dist.adb, sem_dist.ads,
391 sem_elab.adb, sem_elab.ads, sem_elim.adb, sem_elim.ads,
392 sem_eval.adb, sem_eval.ads, sem_intr.adb, sem_intr.ads,
393 sem_maps.adb, sem_maps.ads, sem_mech.adb, sem_mech.ads,
394 sem_prag.adb, sem_prag.ads, sem_res.adb, sem_res.ads,
395 sem_smem.adb, sem_smem.ads, sem_type.adb, sem_type.ads,
396 sem_util.adb, sem_util.ads, sem_vfpt.adb, sem_vfpt.ads,
397 sem_warn.adb, sem_warn.ads, sfn_scan.adb, sfn_scan.ads,
398 sinfo-cn.adb, sinfo-cn.ads, sinfo.adb, sinfo.ads, sinfo.h,
399 sinput-l.adb, sinput-l.ads, sinput-p.adb, sinput-p.ads,
400 sinput.adb, sinput.ads, snames.adb, snames.ads, snames.h,
401 sprint.adb, sprint.ads, stand.adb, stand.ads, stringt.adb,
402 stringt.ads, stringt.h, style.adb, style.ads, stylesw.adb,
403 stylesw.ads, switch.adb, switch.ads, sysdep.c, system.ads,
404 table.adb, table.ads, targparm.adb, targparm.ads, targtyps.c,
405 tbuild.adb, tbuild.ads, trans.c, tree_gen.adb, tree_gen.ads,
406 tree_in.adb, tree_in.ads, tree_io.adb, tree_io.ads, treepr.adb,
407 treepr.ads, treeprs.ads, treeprs.adt, ttypef.ads, ttypes.ads,
408 types.adb, types.ads, types.h, uintp.adb, uintp.ads, uintp.h,
409 uname.adb, uname.ads, urealp.adb, urealp.ads, urealp.h,
410 usage.adb, usage.ads, utils.c, utils2.c, validsw.adb,
411 validsw.ads, widechar.adb, widechar.ads, xeinfo.adb,
412 xnmake.adb, xr_tabls.adb, xr_tabls.ads, xref_lib.adb,
413 xref_lib.ads, xsinfo.adb, xsnames.adb, xtreeprs.adb : Change
414 Ada Core Technologies from maintainer to contributor.
416 2002-05-02 John David Anglin <dave@hiauly1.hia.nrc.ca>
418 * Makefile.in (ALL_ADAFLAGS, MOST_ADAFLAGS): Add CFLAGS to defines.
420 2002-05-01 Geert Bosch <bosch@gnat.com>
422 * comperr.adb : Fix typo.
424 2002-05-01 Geert Bosch <bosch@gnat.com>
426 * bindgen.adb (Public_Version_Warning): Remove.
428 * gnatvsn.ads : Change to match GCC 3.1 version.
430 * comperr.adb : Change bug box, remove ACT-specific circuitry.
432 * comperr.ads : Update comments to reflect changed bug message.
434 2002-04-21 Joseph S. Myers <jsm28@cam.ac.uk>
436 * gnat_rm.texi: Use @ifnottex instead of @ifinfo.
438 2002-04-21 Florian Weimer <fw@deneb.enyo.de>
440 * gnat_ug.texi: New file.
442 * gnat_rm.texi: Do not include texiplus.texi. Include fdl.texi
445 * xgnatug.adb, ug_words: New files.
447 * Makefile.in (doc, dvi): New targets. Build gnat_ug_*,
448 gnat_rm and gnat-style manuals.
450 * adaint.c (__gnat_tmp_name): Remove buffer overflow bug on
453 2002-04-16 Mark Mitchell <mark@codesourcery.com>
455 * trans.c (tree_transform): Add has_scope argument to
456 expand_start_stmt_expr.
458 2002-04-04 Laurent Guerby <guerby@acm.org>
460 * make.adb: Implement -margs, remove restriction about file name placement.
461 * makeusg.adb: Documentation update.
463 2002-03-11 Richard Henderson <rth@redhat.com>
465 * Makefile.in (.NOTPARALLEL): Add fake tag.
467 2002-02-07 Richard Henderson <rth@redhat.com>
469 * adaint.c (__gnat_to_gm_time): First arg is int, not time_t.
470 * adaint.h (__gnat_to_gm_time): Update prototype.
472 2002-01-30 Richard Henderson <rth@redhat.com>
474 * trans.c (tree_transform) [N_Loop_Statement]: Use
475 expand_exit_loop_top_cond.
477 2001-12-23 Richard Henderson <rth@redhat.com>
479 * utils.c (end_subprog_body): Push GC context around
480 rest_of_compilation for nested functions.
482 2001-12-23 Richard Henderson <rth@redhat.com>
484 * 5nosinte.ads: Get definition of "int" from Interfaces.C.
486 2001-12-23 Florian Weimer <fw@deneb.enyo.de>
488 * gnat-style.texi (Declarations and Types): Remove ancient style
489 rule which was mandated by code generation issues.
491 * gnat-style.texi (header): Add @dircategory, @direntry.
492 (title page): Remove date.
493 (general) Add @./@: where approriate, and two spaces after the
494 full stop at the end of a sentence. Use @samp markup when
495 referring concrete lexical entities (keywords, attribute names
496 etc.), and @syntax for ARM grammar elements. Use @r for English
497 text in comments. Use @emph for emphasis. Change "if-statements"
498 etc. to "if statements" (without @samp). Break long lines. Make
499 casing of section names consistent.
500 (Identifiers): Use @samp markup for variable names.
501 (Comments): Use @samp markup for comment characters. Line-end
502 comments may follow any Ada code, not just statements. Fix
503 misspelling of "Integer" as "integer".
504 (Loop statements): Do not use variable name "I", use "J".
505 (Subprogram Declarations): Document alignment.
506 (Subprogram Bodies, Block statements): Document empty line before
509 2001-12-22 Florian Weimer <fw@deneb.enyo.de>
511 * make.adb (Add_Switch): Make Generic_Position a procedure. The
512 function approach did not work well because of a side effect (the
513 function call could reallocate the table which was being indexed
514 using its result). Fixes ada/4851.
516 2001-12-19 Robert Dewar <dewar@gnat.com>
518 * bindgen.adb: Minor reformatting
520 * cstand.adb: Minor reformatting
522 * fmap.adb: Minor reformatting
523 Change name from Add for Add_To_File_Map (Add is much too generic)
524 Change Path_Name_Of to Mapped_Path_Name
525 Change File_Name_Of to Mapped_File_Name
526 Fix copyright dates in header
529 Change name from Add for Add_To_File_Map (Add is much too generic)
530 Change Path_Name_Of to Mapped_Path_Name
531 Change File_Name_Of to Mapped_File_Name
532 Fix copyright dates in header
534 * fname-uf.adb: Minor reformatting. New names of stuff in Fmap.
535 Add use clause for Fmap.
537 * make.adb: Minor reformatting
539 * osint.adb: Minor reformatting. Change of names in Fmap.
540 Add use clause for Fmap.
542 * prj-env.adb: Minor reformatting
544 * prj-env.ads: Minor reformatting
546 * switch.adb: Minor reformatting. Do proper raise of Bad_Switch if
547 error found (there were odd exceptions to this general rule in
548 -gnatec/-gnatem processing)
550 2001-12-19 Olivier Hainque <hainque@gnat.com>
552 * raise.c (__gnat_eh_personality): Exception handling personality
553 routine for Ada. Still in rough state, inspired from the C++ version
554 and still containing a bunch of debugging artifacts.
555 (parse_lsda_header, get_ttype_entry): Local (static) helpers, also
556 inspired from the C++ library.
558 * raise.c (eh_personality): Add comments. Part of work for the GCC 3
559 exception handling integration.
561 2001-12-19 Arnaud Charlet <charlet@gnat.com>
563 * Makefile.in: Remove use of 5smastop.adb which is obsolete.
564 (HIE_SOURCES): Add s-secsta.ad{s,b}.
565 (HIE_OBJS): Add s-fat*.o
566 (RAVEN_SOURCES): Remove files that are no longer required. Add
567 interrupt handling files.
568 (RAVEN_MOD): Removed, no longer needed.
570 2001-12-19 Robert Dewar <dewar@gnat.com>
572 * a-ngelfu.adb: Remove ??? comment for inappropriate Inline_Always
573 Add 2001 to copyright date
575 * g-regpat.adb: Change pragma Inline_Always to Inline. There is no
576 need to force universal inlining for these cases.
578 2001-12-19 Arnaud Charlet <charlet@gnat.com>
580 * s-taprob.adb: Minor clean ups so that this unit can be used in
583 * exp_ch7.adb: Allow use of secondary stack in HI mode.
584 Disallow it when pragma Restrictions (No_Secondary_Stack) is specified.
586 2001-12-19 Vincent Celier <celier@gnat.com>
588 * prj-tree.ads (Project_Node_Record): Add comments for components
589 Pkg_Id and Case_Insensitive.
591 2001-12-19 Pascal Obry <obry@gnat.com>
593 * g-socket.adb: Minor reformatting. Found while reading code.
595 2001-12-19 Robert Dewar <dewar@gnat.com>
597 * prj-tree.ads: Minor reformatting
599 2001-12-20 Joseph S. Myers <jsm28@cam.ac.uk>
601 * config-lang.in (diff_excludes): Remove.
603 2001-12-17 Ed Schonberg <schonber@gnat.com>
605 * sem_res.adb (Resolve_Selected_Component): do not generate a
606 discriminant check if the selected component is a component of
607 the argument of an initialization procedure.
609 * trans.c (tree_transform, case of arithmetic operators): If result
610 type is private, the gnu_type is the base type of the full view,
611 given that the full view itself may be a subtype.
613 2001-12-17 Robert Dewar <dewar@gnat.com>
615 * sem_res.adb: Minor reformatting
617 * trans.c (tree_transform, case N_Real_Literal): Add missing third
618 parameter in call to Machine (unknown horrible effects from this
621 * urealp.h: Add definition of Round_Even for call to Machine
622 Add third parameter for Machine
624 2001-12-17 Ed Schonberg <schonber@gnat.com>
626 * sem_warn.adb (Check_One_Unit): Suppress warnings completely on
627 predefined units in No_Run_Time mode.
629 2001-12-17 Richard Kenner <kenner@gnat.com>
631 * misc.c (insn-codes.h): Now include.
633 2001-12-17 Olivier Hainque <hainque@gnat.com>
635 * a-except.adb: Preparation work for future integration of the GCC 3
636 exception handling mechanism
637 (Notify_Handled_Exception, Notify_Unhandled_Exception): New routines
638 to factorize previous code sequences and make them externally callable,
639 e.g. for the Ada personality routine when the GCC 3 mechanism is used.
640 (Propagate_Exception, Raise_Current_Excep, Raise_From_Signal_Handler):
641 Use the new notification routines.
643 2001-12-17 Emmanuel Briot <briot@gnat.com>
645 * prj-tree.ads (First_Choice_Of): Document the when others case
647 2001-12-17 Arnaud Charlet <charlet@gnat.com>
649 * bindgen.adb (Gen_Ada_Init_*): Set priority of environment task in
650 HI-E mode, in order to support Ravenscar profile properly.
652 * cstand.adb (Create_Standard): Duration is a 32 bit type in HI-E
653 mode on 32 bits targets.
655 2001-12-17 Vincent Celier <celier@gnat.com>
657 * fmap.adb: Initial version.
659 * fmap.ads: Initial version.
661 * fname-uf.adb (Get_File_Name): Use mapping if unit name mapped.
662 If search is successfully done, add to mapping.
664 * frontend.adb: Initialize the mapping if a -gnatem switch was used.
667 (Gnatmake): Add new local variable Mapping_File_Name.
668 Create mapping file when using project file(s).
669 Delete mapping file before exiting.
671 * opt.ads (Mapping_File_Name): New variable
673 * osint.adb (Find_File): Use path name found in mapping, if any.
675 * prj-env.adb (Create_Mapping_File): New procedure
677 * prj-env.ads (Create_Mapping_File): New procedure.
679 * switch.adb (Scan_Front_End_Switches): Add processing for -gnatem
682 * usage.adb: Add entry for new switch -gnatem.
684 * Makefile.in: Add dependencies for fmap.o.
686 2001-12-17 Ed Schonberg <schonber@gnat.com>
688 * sem_ch10.adb (Analyze_With_Clause): Retrieve proper entity when unit
689 is a package instantiation rewritten as a package body.
690 (Install_Withed_Unit): Undo previous change, now redundant.
692 2001-12-17 Gary Dismukes <dismukes@gnat.com>
695 (Compute_Length): Move conversion to Unsigned to callers.
696 (Get_Max_Size): Convert Len expression to Unsigned after calls to
697 Compute_Length and Determine_Range.
698 (Layout_Array_Type): Convert Len expression to Unsigned after calls to
699 Compute_Length and Determine_Range.
700 Above changes fix problem with length computation for supernull arrays
701 where Max (Len, 0) wasn't getting applied due to the Unsigned
702 conversion used by Compute_Length.
704 2001-12-17 Arnaud Charlet <charlet@gnat.com>
707 (OK_To_Use_In_No_Run_Time_Mode): Allow Ada.Exceptions and
708 System.Secondary_Stack.
709 (OK_To_Use_In_Ravenscar_Mode): New table needed to implement Ravenscar
711 Remove unused entity RE_Exception_Data.
713 * rtsfind.adb (RTE): Allow Ravenscar Profile in HI mode.
715 * rident.ads (No_Secondary_Stack): New restriction.
717 2001-12-17 Joel Brobecker <brobecke@gnat.com>
719 * gnat_rm.texi: Fix minor typos. Found while reading the section
720 regarding "Bit_Order Clauses" that was sent to a customer.
721 Very interesting documentation!
723 2001-12-17 Robert Dewar <dewar@gnat.com>
725 * sem_case.adb (Choice_Image): Avoid creating improper character
726 literal names by using the routine Set_Character_Literal_Name. This
727 fixes bombs in certain error message cases.
729 2001-12-17 Arnaud Charlet <charlet@gnat.com>
731 * a-reatim.adb: Minor reformatting.
733 2001-12-17 Ed Schonberg <schonber@gnat.com>
735 * sem_ch12.adb (Validate_Derived_Type_Instance): Handle properly the
736 case where the formal is an extension of another formal in the current
737 unit or in a parent generic unit.
739 2001-12-17 Arnaud Charlet <charlet@gnat.com>
741 * s-tposen.adb: Update comments. Minor reformatting.
744 * s-tarest.adb: Update comments. Minor code reorganization.
746 2001-12-17 Gary Dismukes <dismukes@gnat.com>
748 * exp_attr.adb (Attribute_Tag): Suppress expansion of <type_name>'Tag
751 2001-12-17 Robert Dewar <dewar@gnat.com>
753 * exp_attr.adb: Minor reformatting
755 2001-12-17 Ed Schonberg <schonber@gnat.com>
757 * sem_ch3.adb (Build_Derived_Private_Type): Refine check to handle
758 derivations nested within a child unit: verify that the parent
759 type is declared in an outer scope.
761 2001-12-17 Robert Dewar <dewar@gnat.com>
763 * sem_ch12.adb: Minor reformatting
765 2001-12-17 Ed Schonberg <schonber@gnat.com>
767 * sem_warn.adb (Check_One_Unit): In No_Run_Time mode, do not post
768 warning if current unit is a predefined one, from which bodies may
771 2001-12-17 Robert Dewar <dewar@gnat.com>
773 * eval_fat.ads: Add comment that Round_Even is referenced in Ada code
774 Fix header format. Add 2001 to copyright date.
776 * exp_dbug.adb (Get_Encoded_Name): Fix out of bounds reference,
777 which caused CE during compilation if checks were enabled.
779 2001-12-17 Vincent Celier <celier@gnat.com>
782 (Switches_Of): New function
783 (Test_If_Relative_Path): New procedure
784 (Add_Switches): Use new function Switches_Of
785 (Collect_Arguments_And_Compile): Use new function Switches_Of.
786 When using a project file, test if there are any relative
787 search path. Fail if there are any.
788 (Gnatmake): Only add switches for the primary directory when not using
789 a project file. When using a project file, change directory to the
790 object directory of the main project file. When using a project file,
791 test if there are any relative search path. Fail if there are any.
792 When using a project file, fail if specified executable is relative
793 path with directory information, and prepend executable, if not
794 specified as an absolute path, with the exec directory. Make sure
795 that only one -o switch is transmitted to the linker.
797 * prj-attr.adb (Initialization_Data): Add project attribute Exec_Dir
800 (Ada_Check): Get Spec_Suffix_Loc and Impl_Suffix_Loc,
801 when using a non standard naming scheme.
802 (Check_Ada_Naming_Scheme): Make sure that error messages
803 do not raise exceptions.
804 (Is_Illegal_Append): Return True if there is no dot in the suffix.
805 (Language_Independent_Check): Check the exec directory.
807 * prj.adb (Project_Empty): Add new component Exec_Directory
810 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Add defaults.
811 (Project_Data): Add component Exec_Directory
813 * snames.adb: Updated to match snames.ads revision 1.215
815 * snames.ads: Added Exec_Dir
817 2001-12-17 Robert Dewar <dewar@gnat.com>
819 * make.adb: Minor reformatting
821 * prj-nmsc.adb: Minor reformatting
823 * snames.adb: Updated to match snames.ads
825 * snames.ads: Alphebetize entries for project file
827 2001-12-17 Ed Schonberg <schonber@gnat.com>
829 * trans.c (process_freeze_entity): Do nothing if the entity is a
830 subprogram that was already elaborated.
832 2001-12-17 Richard Kenner <kenner@gnat.com>
834 * decl.c (gnat_to_gnu_entity, object): Do not back-annotate Alignment
835 and Esize if object is referenced via pointer.
837 2001-12-17 Ed Schonberg <schonber@gnat.com>
839 * sem_ch3.adb (Analyze_Variant_Part): check that type of discriminant
840 is discrete before analyzing choices.
842 2001-12-17 Joel Brobecker <brobecke@gnat.com>
844 * bindgen.adb (Gen_Output_File_Ada): Generate a new C-like string
845 containing the name of the Ada Main Program. This string is mainly
846 intended for the debugger.
847 (Gen_Output_File_C): Do the equivalent change when generating a C file.
849 2001-12-17 Robert Dewar <dewar@gnat.com>
851 * ali.adb: Set new Dummy_Entry field in dependency entry
853 * ali.ads: Add Dummy_Entry field to source dependency table
855 * bcheck.adb (Check_Consistency): Ignore dummy D lines
857 * lib-writ.adb (Writ_ALI): Write dummy D lines for missing source files
859 * lib-writ.ads: Document dummy D lines for missing files.
861 * types.ads: (Dummy_Time_Stamp): New value for non-existant files
863 2001-12-17 Robert Dewar <dewar@gnat.com>
865 * ali.adb: Type reference does not reset current file.
867 * ali.adb: Recognize and scan renaming reference
869 * ali.ads: Add spec for storing renaming references.
871 * lib-xref.ads: Add documentation for handling of renaming references
873 * lib-xref.adb: Implement output of renaming reference.
876 (Determine_Range): Document local variables
877 (Determine_Range): Make sure Hbound is initialized. It looks as though
878 there could be a real problem here with an uninitialized reference
879 to Hbound, but no actual example of failure has been found.
881 2001-12-17 Laurent Pautet <pautet@gnat.com>
884 Fix comment of Shutdown_Socket and Close_Socket. These functions
885 should not fail silently because if they are called twice, this
886 probably means that there is a race condition in the user program.
887 Anyway, this behaviour is consistent with the rest of this unit.
888 When an error occurs, an exception is raised with the error message
889 as exception message.
891 2001-12-17 Robert Dewar <dewar@gnat.com>
893 * frontend.adb: Move call to Check_Unused_Withs from Frontend, so
894 that it happens before modification of Sloc values for -gnatD.
896 * gnat1drv.adb: Move call to Check_Unused_Withs to Frontend,
897 so that it happens before modification of Sloc values for -gnatD.
899 * switch.adb: Minor reformatting
901 2001-12-15 Richard Henderson <rth@redhat.com>
903 * sem_ch7.adb: Wrap comment.
905 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
907 * 5ataprop.adb, 5atpopsp.adb, 5ftaprop.adb, 5gmastop.adb,
908 5gtaprop.adb, 5htaprop.adb, 5itaprop.adb, 5lintman.adb,
909 5omastop.adb, 5oosinte.adb, 5otaprop.adb, 5staprop.adb,
910 5vinterr.adb, 5vtaprop.adb, 5vtpopde.adb, 5wintman.adb,
911 5wtaprop.adb, 5zinterr.adb, 5ztaprop.adb, 6vcstrea.adb,
912 7sintman.adb, 7staprop.adb, 9drpc.adb, ChangeLog, Makefile.in,
913 a-except.adb, a-tags.ads, a-tasatt.adb, a-teioed.adb,
914 a-textio.ads, a-witeio.ads, a-wtedit.adb, ali.ads, comperr.adb,
915 cstand.adb, einfo.ads, errout.adb, exp_ch11.adb, exp_ch2.adb,
916 exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, exp_ch6.adb, exp_ch9.adb,
917 exp_util.adb, exp_util.ads, fname-uf.adb, g-cgi.ads, g-exctra.ads,
918 g-expect.ads, g-regist.adb, g-spipat.adb, gnatchop.adb,
919 gnatlink.adb, gnatls.adb, gnatmain.adb, gnatmem.adb, init.c,
920 make.adb, make.ads, mdlltool.adb, nlists.ads, osint.ads,
921 par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par.adb,
922 repinfo.adb, s-fatflt.ads, s-fatlfl.ads, s-fatllf.ads,
923 s-fatsfl.ads, s-finimp.adb, s-finimp.ads, s-interr.adb,
924 s-secsta.ads, s-shasto.ads, s-stalib.adb, s-stalib.ads,
925 s-tarest.ads, s-tasdeb.adb, s-tassta.adb, s-tassta.ads,
926 s-vaflop.ads, scans.ads, scn.adb, sem.ads, sem_aggr.adb,
927 sem_attr.adb, sem_case.ads, sem_ch10.adb, sem_ch12.adb,
928 sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, sem_ch7.adb,
929 sem_ch8.adb, sem_ch8.ads, sem_type.adb, sem_util.ads, sinfo.ads,
930 sprint.adb, tbuild.ads, types.ads, utils.c, xeinfo.adb: Fix
933 2001-12-14 Vincent Celier <celier@gnat.com>
935 * osint.adb(Create_Debug_File): When an object file is specified,
936 put the .dg file in the same directory as the object file.
938 2001-12-14 Robert Dewar <dewar@gnat.com>
940 * osint.adb: Minor reformatting
942 * lib-xref.adb (Output_Instantiation): New procedure to generate
943 instantiation references.
945 * lib-xref.ads: Add documentation of handling of generic references.
947 * ali.adb (Read_Instantiation_Ref): New procedure to read
948 instantiation references
950 * ali.ads: Add spec for storing instantiation references
952 * bindusg.adb: Minor reformatting
954 * switch.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
956 * usage.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
958 * gnatcmd.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
960 * csets.adb: Add entry for Latin-5 (Cyrillic ISO-8859-5)
964 Add 2001 to copyright date
965 Add entry for Latin-5 (Cyrillic ISO-8859-5)
967 2001-12-14 Matt Gingell <gingell@gnat.com>
969 * adaint.c: mktemp is a macro on Lynx and can not be used as an
972 2001-12-14 Richard Kenner <kenner@gnat.com>
974 * misc.c (gnat_expand_constant): Do not strip UNCHECKED_CONVERT_EXPR
975 if operand is CONSTRUCTOR.
977 2001-12-14 Ed Schonberg <schonber@gnat.com>
979 * trans.c (tree_transform, case N_Assignment_Statement): Set lineno
980 before emiting check on right-hand side, so that exception information
983 2001-12-14 Richard Kenner <kenner@gnat.com>
985 * utils.c (create_var_decl): Throw away initializing expression
986 if just annotating types and non-constant.
988 2001-12-14 Vincent Celier <celier@gnat.com>
990 * prj-nmsc.adb: (Ada_Check): Migrate drom Ada_Default_... to
993 * prj.adb: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
995 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move to spec.
997 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
999 (Default_Ada_Spec_Suffix, Default_Ada_Impl_Suffix): Move from body.
1001 2001-12-16 Joseph S. Myers <jsm28@cam.ac.uk>
1003 * ChangeLog: Remove piece of diff output.
1005 2001-12-14 Geert Bosch <bosch@gnat.com>
1007 * config-lang.in: Update copyright notice
1009 * layout.adb: Remove commented out code.
1011 * mdllfile.ads: Update copyright notice. Fix header format.
1013 * sem_case.ads: Likewise.
1015 * sem_ch3.adb: Minor reformatting.
1017 2001-12-12 Geert Bosch <bosch@gnat.com>
1019 * freeze.ads: Update copyright date.
1021 * g-comlin.ads: Minor reformatting.
1023 * gnat-style.texi: Fix typo.
1025 2001-12-12 Geert Bosch <bosch@gnat.com>
1027 * einfo.h: Regenerate.
1029 2001-12-12 Ed Schonberg <schonber@gnat.com>
1031 * sem_ch12.adb (Save_Entity_Descendant): Use syntactic field names
1032 on known node types, rather than untyped fields. Further cleanups.
1034 2001-12-12 Robert Dewar <dewar@gnat.com>
1037 (Save_Entity_Descendant): Minor comment update.
1038 (Copy_Generic_Node): Deal with incorrect reference to Associated_Node
1039 of an N_Attribute_Reference node. As per note below, this does not
1040 eliminate need for Associated_Node in attribute ref nodes.
1041 (Associated_Node): Documentation explicitly mentions attribute
1042 reference nodes, since this field is used in such nodes.
1044 * sem_ch12.adb (Associated_Node): Minor documentation cleanup.
1046 2001-12-12 Robert Dewar <dewar@gnat.com>
1048 * s-stalib.adb: Add more comments on with statements being needed
1050 * par-ch12.adb: Minor reformatting
1052 * prj-dect.ads: Fix copyright header
1054 * s-arit64.adb (Multiply_With_Ovflo_Check): Fix case where both
1055 inputs fit in 32 bits, but the result still overflows.
1057 * s-fatgen.ads: Minor comment improvement
1059 2001-12-12 Ed Schonberg <schonber@gnat.com>
1061 * sem_ch4.adb (Analyze_Selected_Component): If the prefix is of a
1062 formal derived type, look for an inherited component from the full
1063 view of the parent, if any.
1065 2001-12-12 Robert Dewar <dewar@gnat.com>
1067 * checks.ads (Apply_Alignment_Check): New procedure.
1069 * exp_ch13.adb (Expand_N_Freeze_Entity): Generate dynamic check to
1070 ensure that the alignment of objects with address clauses is
1071 appropriate, and raise PE if not.
1073 * exp_util.ads (Must_Be_Aligned): Removed, replaced by
1074 Exp_Pakd.Known_Aligned_Enough
1076 * mdllfile.ads: Minor reformatting
1078 * mlib-fil.ads: Minor reformatting
1080 2001-12-12 Ed Schonberg <schonber@gnat.com>
1082 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Extend previous
1083 fix to any component reference if enclosing record has non-standard
1086 2001-12-12 Vincent Celier <celier@gnat.com>
1088 * g-dirope.ads (Find, Wildcard_Iterator): Moved to child package
1091 2001-12-12 Ed Schonberg <schonber@gnat.com>
1093 * freeze.ads: Make Freeze_Fixed_Point_Type visible, for use in
1096 2001-12-12 Robert Dewar <dewar@gnat.com>
1098 * impunit.adb: Add entry for GNAT.Directory_Operations.Iteration
1100 2001-12-12 Emmanuel Briot <briot@gnat.com>
1102 * g-regexp.adb: Remove all debug code, since it isn't required anymore,
1103 and it adds dependencies to system.io.
1105 2001-12-12 Pascal Obry <obry@gnat.com>
1107 * g-dirope.adb (Expand_Path.Var): Correctly detect end of
1110 2001-12-11 Ed Schonberg <schonber@gnat.com>
1112 * sem_ch10.adb (Install_Withed_Unit): If the unit is a generic instance
1113 that is the parent of other generics, the instance body replaces the
1114 instance node. Retrieve the instance of the spec, which is the one
1115 that is visible in clients and within the body.
1117 2001-12-11 Vincent Celier <celier@gnat.com>
1119 * gnatmain.adb: Initial version.
1121 * gnatmain.ads: Initial version.
1123 * prj-attr.adb (Initialisation_Data): Add package Gnatstub.
1125 * snames.adb: Updated to match snames.ads.
1127 * snames.ads: Added Gnatstub.
1129 2001-12-11 Vincent Celier <celier@gnat.com>
1131 * prj-attr.adb (Initialization_Data): Change name from
1132 Initialisation_Data.
1134 2001-12-11 Emmanuel Briot <briot@gnat.com>
1136 * g-regpat.adb (Parse_Literal): Properly handle simple operators ?,
1137 + and * applied to backslashed expressions like \r.
1139 2001-12-11 Vasiliy Fofanov <fofanov@gnat.com>
1141 * g-os_lib.ads: String_List type added, Argument_List type is now
1142 subtype of String_List.
1144 2001-12-11 Robert Dewar <dewar@gnat.com>
1146 * g-os_lib.ads: Change copyright to FSF
1147 Add comments for String_List type
1149 2001-12-11 Vincent Celier <celier@gnat.com>
1151 * g-dirope.adb (Expand_Path): Fix bug. (wrong length when adding a
1152 string to the buffer).
1154 2001-12-11 Ed Schonberg <schonber@gnat.com>
1156 * freeze.adb: Make Freeze_Fixed_Point_Type visible, for use in
1159 * sem_attr.adb: Simplify previous fix for Address.
1160 (Set_Bounds): If prefix is a non-frozen fixed-point type, freeze now,
1161 to avoid anomalies where the bound of the type appears to raise
1164 2001-12-11 Robert Dewar <dewar@gnat.com>
1166 * lib-xref.adb (Output_Refs): Make sure pointers are always properly
1169 2001-12-11 Ed Schonberg <schonber@gnat.com>
1171 * sem_ch12.adb (Analyze_Subprogram_Instantiation): Check for a
1172 renamed unit before checking for recursive instantiations.
1174 2001-12-11 Emmanuel Briot <briot@gnat.com>
1176 * prj.ads: Add comments for some of the fields.
1178 2001-12-11 Robert Dewar <dewar@gnat.com>
1180 * lib-xref.adb (Output_Refs): Don't output type references outside
1181 the main unit if they are not otherwise referenced.
1183 2001-12-11 Ed Schonberg <schonber@gnat.com>
1185 * sem_attr.adb (Analyze_attribute, case Address and Size): Simplify
1186 code and diagnose additional illegal uses
1188 * sem_util.adb (Is_Object_Reference): An indexed component is an
1189 object only if the prefix is.
1191 2001-12-11 Vincent Celier <celier@gnat.com>
1193 * g-diopit.adb: Initial version.
1195 * g-diopit.ads: Initial version.
1198 (Expand_Path): Avoid use of Unbounded_String
1199 (Find, Wildcard_Iterator): Moved to child package Iteration
1201 * Makefile.in: Added g-diopit.o to GNATRTL_NONTASKING_OBJS
1203 2001-12-11 Robert Dewar <dewar@gnat.com>
1205 * sem_attr.adb: Minor reformatting
1207 2001-12-11 Ed Schonberg <schonber@gnat.com>
1209 * sem_ch3.adb: Clarify some ???.
1211 2001-12-11 Robert Dewar <dewar@gnat.com>
1213 * exp_util.adb (Must_Be_Aligned): Removed, replaced by
1214 Exp_Pakd.Known_Aligned_Enough
1216 * sem_ch13.adb (Check_Address_Alignment): Removed, extended
1217 version is moved to Exp_Ch13.
1219 2001-12-11 Robert Dewar <dewar@gnat.com>
1221 * einfo.ads: Minor reformatting
1223 * exp_ch5.adb: Add comment for previous.change
1225 * ali.adb: New interface for extended typeref stuff.
1227 * ali.ads: New interface for typeref stuff.
1229 * checks.adb (Apply_Alignment_Check): New procedure.
1231 * debug.adb: Add -gnatdM for modified ALI output
1233 * exp_pakd.adb (Known_Aligned_Enough): Replaces Known_Aligned_Enough.
1235 * lib-xref.adb: Extend generation of <..> notation to cover
1236 subtype/object types. Note that this is a complete rewrite,
1237 getting rid of the very nasty quadratic algorithm previously
1238 used for derived type output.
1240 * lib-xref.ads: Extend description of <..> notation to cover
1241 subtype/object types. Uses {..} for these other cases.
1242 Also use (..) for pointer types.
1244 * sem_util.adb (Check_Potentially_Blocking_Operation): Slight cleanup.
1246 * exp_pakd.adb: Minor reformatting. Note that prevous RH should say:
1247 (Known_Aligned_Enough): Replaces Must_Be_Aligned.
1249 2001-12-11 Vincent Celier <celier@gnat.com>
1252 Changed /COMPILE_ONLY to /ACTIONS=COMPILE
1253 Changed /BIND_ONLY to /ACTIONS=BIND
1254 Changed /LINK_ONLY to /ACTIONS=LINK
1256 2001-12-11 Ed Schonberg <schonber@gnat.com>
1258 * sem_ch8.adb (Find_Selected_Component): improved search for a
1259 candidate package in case of error.
1261 * sem_ch12.adb (Inline_Instance_Body): place head of use_clause
1262 chain back on scope stack before reinstalling use clauses.
1264 * exp_ch5.adb (Expand_N_If_Statement): if Constant_Condition_Warnings
1265 is enabled, do not kill the code for the condition, to preserve
1268 2001-12-11 Robert Dewar <dewar@gnat.com>
1270 * checks.adb (Insert_Valid_Check): Apply validity check to expression
1271 of conversion, not to result of conversion.
1273 2001-12-11 Ed Schonberg <schonber@gnat.com>
1275 * sem_ch3.adb (Build_Derived_Record_Type): set Controlled flag
1276 before freezing parent. If the declarations are mutually recursive,
1277 an access to the current record type may be frozen before the
1278 derivation is complete.
1280 2001-12-05 Vincent Celier <celier@gnat.com>
1282 * gnatcmd.adb: (MAKE): Add new translations: -b /BIND_ONLY,
1283 -c /COMPILE_ONLY, -l /LINK_ONLY
1286 (Bind_Only): New Flag
1287 (Link_Only): New flag
1289 * switch.adb (Scan_Make_Switches): Add processing for -b (Bind_Only)
1292 * makeusg.adb: Add new switches -b and -l. Update Copyright notice.
1295 (Do_Compile_Step, Do_Bind_Step, Do_Link_Step): New flags.
1296 (Gnatmake): Set the step flags. Only perform a step if the
1297 corresponding step flag is True.
1298 (Scan_Make_Arg): Reset the bind and link step flags when -u
1299 or -gnatc has been specified.
1301 2001-12-05 Ed Schonberg <schonber@gnat.com>
1303 * sem_eval.adb (Eval_Concatenation): If left operand is a null string,
1304 get bounds from right operand.
1306 * sem_eval.adb: Minor reformatting
1308 * exp_util.adb (Make_Literal_Range): use bound of literal rather
1309 than Index'First, its lower bound may be different from 1.
1311 * exp_util.adb: Undo earlier change, fixes ACVC regressions C48009B
1314 2001-12-05 Vincent Celier <celier@gnat.com>
1316 * prj-nmsc.adb Minor reformatting
1318 * prj-nmsc.adb (Language_Independent_Check): Reset Library flag if
1319 set and libraries are not supported.
1321 2001-12-05 Ed Schonberg <schonber@gnat.com>
1323 * sem_ch3.adb (Build_Derived_Private_Type): set Public status of
1324 private view explicitly, so the back-end can treat as a global
1327 2001-12-05 Ed Schonberg <schonber@gnat.com>
1329 * sem_ch12.adb (Instantiate_Package_Body): if instance is a compilation
1330 unit, always replace instance node with new body, for ASIS use.
1332 2001-12-05 Vincent Celier <celier@gnat.com>
1334 * prj-nmsc.adb (Language_Independent_Check): Issue a warning if
1335 libraries are not supported and both attributes Library_Name and
1336 Library_Dir are specified.
1338 * prj-proc.adb (Expression): Set location of Result to location of
1341 * Makefile.in: Add mlib.o, mlib-fil.o, mlib-tgt and mlib-utl to GNATLS.
1342 (prj-nmsc is now importing MLib.Tgt)
1344 * prj-proc.adb: Put the change indicated above that was forgotten.
1346 2001-12-05 Robert Dewar <dewar@gnat.com>
1348 * Makefile.in: Add dependencies for System.IO for GNAT.Regexp
1350 2001-12-05 Ed Schonberg <schonber@gnat.com>
1352 * sem_ch3.adb (Build_Derived_Concurrent_Type): If derivation imposes a
1353 constraint, introduce explicit subtype declaration and derive from it.
1355 * sem_ch3.adb: Minor reformatting
1357 2001-12-05 Robert Dewar <dewar@gnat.com>
1359 * checks.adb (Determine_Range): Increase cache size for checks.
1362 * exp_ch6.adb: Minor reformatting
1363 (Expand_N_Subprogram_Body): Reset Is_Pure for any subprogram that has
1364 a parameter whose root type is System.Address, since treating such
1365 subprograms as pure in the code generator is almost surely a mistake
1366 that will lead to unexpected results.
1368 * exp_util.adb (Remove_Side_Effects): Clean up old ??? comment and
1369 change handling of conversions.
1371 * g-regexp.adb: Use System.IO instead of Ada.Text_IO.
1373 2001-12-05 Ed Schonberg <schonber@gnat.com>
1375 * sem_ch3.adb (Analyze_Object_Declaration): If expression is an
1376 aggregate with static wrong size, attach generated Raise node to
1379 2001-12-05 Robert Dewar <dewar@gnat.com>
1381 * sem_attr.adb (Analyze_Attribute): Defend against bad Val attribute.
1382 Fixes compilation abandoned bomb in B24009B.
1384 2001-12-05 Ed Schonberg <schonber@gnat.com>
1387 Document use of Associated_Node on Selected_Components.
1388 (Save_Global_Operand_Descendants): Change to Save_Entity_Descendants,
1389 to clarify use of untyped descendant fields.
1391 2001-12-05 Robert Dewar <dewar@gnat.com>
1393 * prj-dect.ads: Add ??? comment
1394 Add 2001 to copyright notice (was not done in after all)
1396 * prj-part.adb: Minor reformatting. Reword one awkward error message.
1398 * prj.ads: Minor reformatting throughout, and add some ??? comments
1400 * snames.ads: Minor reformatting
1402 2001-12-05 Geert Bosch <bosch@gnat.com>
1404 * snames.adb: Autoupdate
1406 2001-12-05 Vincent Celier <celier@gnat.com>
1408 * prj-dect.adb (Parse): Rename parameter Modifying to Extends.
1410 * prj-dect.ads (Parse): Rename parameter Modifying to Extends.
1412 * prj-env.adb: Minor comment changes (modifying -> extends).
1414 * prj-nmsc.adb: Minor comment changes (modifying -> extends).
1416 * prj-part.adb (Parse_Single_Project): Change Tok_Modifying to
1419 * prj.adb (Initialize): Change Modifying to Extends.
1421 * scans.ads (Token_Type): Change Tok_Modifying to Tok_Extends.
1423 * prj.ads: Minor comment change (Modifying -> extending).
1425 * snames.ads: Change modifying to extends.
1427 2001-12-05 Robert Dewar <dewar@gnat.com>
1429 * sem_warn.adb: Remove stuff for conditionals, we are not going to
1432 * sem_warn.ads: Remove stuff for conditionals, we are not going to
1433 do this after all. Add 2001 to copyright notice
1435 2001-12-04 Geert Bosch <bosch@gnat.com>
1437 * einfo.h, sinfo.h, treeprs.ads: Regenerate.
1439 2001-12-04 Robert Dewar <dewar@gnat.com>
1441 * errout.adb (Error_Msg): Ignore attempt to put error msg at junk
1442 location if we already have errors. Stops some cases of cascaded
1445 * errout.adb: Improve comment.
1447 2001-12-04 Robert Dewar <dewar@gnat.com>
1450 (Analyze_Formal_Type_Definition): Defend against Error.
1451 (Analyze_Formal_Subprogram): Defend against Error.
1453 * par-ch12.adb (F_Formal_Type_Declaration): In case of error,
1454 remove following semicolon if present. Removes cascaded error.
1456 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1459 (Gen_Exception_Table_Ada): Write "begin" and then return if Num
1460 exceptions equals 0.
1461 (Gen_Exception_Table_C): Return if Num exceptions equals 0.
1462 Fixes PIWG E tests (which have to be run with -gnatL).
1464 2001-12-04 Robert Dewar <dewar@gnat.com>
1466 * einfo.ads: Minor reformatting
1468 2001-12-04 Ed Schonberg <schonber@gnat.com>
1470 * einfo.ads: Block_Node points to the identifier of the block, not to
1471 the block node itself, to preserve the link when the block is
1472 rewritten, e.g. within an if-statement with a static condition.
1474 * inline.adb (Cleanup_Scopes): recover block statement from block
1475 entity using new meaning of Block_Node.
1477 * sem_ch5.adb (Analyze_Block_Statement): set Block_Node to point to
1478 identifier of block node, rather than to node itself.
1480 2001-12-04 Gary Dismukes <dismukes@gnat.com>
1483 (Get_Max_Size): Fix "start of processing" comment to say Get_Max_Size.
1484 (Discrimify): Go back to setting the Etypes of the selected component
1485 because the Vname component does not exist at this point and will
1486 fail name resolution. Also set Analyzed.
1487 Remove with and use of Sem_Res.
1489 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1491 * Makefile.in: (HIE_SOURCES): add s-fat*.
1493 2001-12-04 Robert Dewar <dewar@gnat.com>
1496 (Compile_Time_Known_Attribute): New procedure.
1497 (Eval_Attribute, case Size): Use Compile_Time_Known_Attribute to ensure
1500 2001-12-04 Ed Schonberg <schonber@gnat.com>
1502 * sem_ch7.adb (New_Private_Type): Set Is_Tagged_Type flag before
1503 processing discriminants to diagnose illegal default values.
1505 2001-12-04 Ed Schonberg <schonber@gnat.com>
1507 * sem_attr.adb (Resolve_Attribute): Handle properly an non-classwide
1508 access discriminant within a type extension that constrains its
1509 parent discriminants.
1511 2001-12-04 Ed Schonberg <schonber@gnat.com>
1513 * sem_ch3.adb (Find_Type_Of_Subtype_Indic): If subtype indication
1514 is malformed, use instance of Any_Id to allow analysis to proceed.
1516 * par-ch12.adb (P_Formal_Type_Declaration): Propagate Error if
1517 type definition is illegal.
1518 (P_Formal_Derived_Type_Definition): Better recovery when TAGGED is
1521 2001-12-04 Ed Schonberg <schonber@gnat.com>
1523 * sem_warn.adb (Output_Unreferenced_Messages): Extend previous fix to
1526 2001-12-04 Robert Dewar <dewar@gnat.com>
1528 * errout.adb: Minor reformatting
1530 2001-12-04 Robert Dewar <dewar@gnat.com>
1532 * exp_util.adb: Minor reformatting from last change
1534 * errout.adb (Check_For_Warning): For a Raised_Constraint_Error node
1535 which is a rewriting of an expression, traverse the original
1536 expression to remove warnings that may have been posted on it.
1538 2001-12-04 Ed Schonberg <schonber@gnat.com>
1540 * exp_util.adb (Must_Be_Aligned): Return false for a component of a
1541 record that has other packed components.
1543 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1545 * adaint.c: Minor cleanups.
1547 2001-12-04 Douglass B. Rupp <rupp@gnat.com>
1549 * adaint.c: Do not use utime.h on vxworks.
1551 2001-12-04 Arnaud Charlet <charlet@gnat.com>
1553 * Makefile.adalib: Clarify step 3 (use of gnat.adc) as it causes
1554 more confusion than it solves.
1556 2001-12-04 Geert bosch <bosch@gnat.com>
1558 * einfo.h, nmake.adb, nmake.ads, sinfo.h treeprs.ads: Regenerate.
1560 2001-12-04 Geert Bosch <bosch@gnat.com>
1562 * Makefile.in (update-sources): New target.
1563 For use by gcc_release script.
1565 2001-12-04 Ed Schonberg <schonber@gnat.com>
1567 * sem_prag.adb (Analyze_Pragma, case Validity_Checks): do not treat as
1568 a configuration pragma, it is now legal wherever a pragma can appear.
1570 2001-12-04 Zack Weinberg <zack@codesourcery.com>
1572 * Makefile.in: Don't set ALL. Delete @cross_defines@,
1573 @cross_overrides@, @build_overrides@ stanzas. INTERNAL_CFLAGS
1574 is now @CROSS@ -DIN_GCC; update comment.
1576 2001-12-04 Robert Dewar <dewar@gnat.com>
1578 * einfo.adb (Has_Pragma_Pure_Function): New flag.
1579 Fix problem that stopped ceinfo from working
1581 * einfo.ads (Has_Pragma_Pure_Function): New flag.
1583 * sem_prag.adb (Pure_Function): Set new flag Has_Pragma_Pure_Function.
1585 2001-12-04 Douglas B. Rupp <rupp@gnat.com>
1588 (File_Time_Stamp): New procedure.
1589 (Preserve_Mode): New boolean.
1590 (Write_Unit): Pass time stamp.
1591 Implement -p switch (preserve time stamps).
1593 * gnatcmd.adb (CHOP): Add translation for -p (/PRESERVE).
1595 * gnatchop.adb: Do usage info for -p switch
1597 * adaint.h (__gnat_set_file_time_name): New function
1599 * adaint.c (__gnat_set_file_time_name): Implement
1601 * adaint.h: Fix typo
1603 2001-12-03 Robert Dewar <dewar@gnat.com>
1605 * sinfo.ads: Minor reformatting. N_Freeze_Entity node does not
1606 have Associated_Node.
1608 2001-12-03 Robert Dewar <dewar@gnat.com>
1610 * prj-proc.adb: Minor reformatting
1612 * make.adb: Minor reformatting
1614 2001-12-03 Geert Bosch <bosch@gnat.com>
1616 * make.adb: Minor reformatting.
1618 2001-12-03 Robert Dewar <dewar@gnat.com>
1620 * sem_ch12.adb: Minor reformatting
1622 2001-12-03 Ed Schonberg <schonber@gnat.com>
1624 * sem_ch12.adb (Inline_Instance_Body): Use Save_Scope_Stack and
1625 push Standard on the stack before analyzing the instance body,
1626 in order to have a clean visibility environment.
1628 * sem_ch12.adb (Inline_Instance_Body): Remove redundant code.
1630 2001-12-03 Ed Schonberg <schonber@gnat.com>
1632 * sem_ch12.adb (Instantiate_Package_Body): Protect against double
1633 instantiation of a body that contains an inlined body.
1635 2001-12-03 Ed Schonberg <schonber@gnat.com>
1638 (Analyze_generic_subprogram_Declaration): Set outer_generic_scope,
1639 to prevent freezing within formal packages.
1640 (Freeze_Subprogram_Body): If body comes from another instance that
1641 appeared before its own body, place freeze node at end of current
1642 declarative part, to prevent a back-end crash.
1643 (Inline_Instance_Body): Handle properly a package instance within
1644 a subprogram instance that is a child unit.
1646 2001-12-01 Graham Stott <grahams@redhat.com>
1648 * Makefile.in (misc.o): Add missing $(srcdir) prefix
1649 and add optabs.h dependency.
1651 * misc.c: Include optabs.h
1652 (gnat_tree_code_type): Make static and const.
1653 (gnat_tree_code_length): Likewise.
1654 (gnat_tree_code_name): Likewise.
1655 (update_setjmp_buf): Obtain operands mode from insn_data.
1657 2001-11-29 Richard Henderson <rth@redhat.com>
1659 * init.c: Remove obsolete dwarf2 frame.h section.
1661 2001-11-29 Joseph S. Myers <jsm28@cam.ac.uk>
1663 * Make-lang.in (ada.generated-manpages): New dummy target.
1665 2001-11-29 Ed Schonberg <schonber@gnat.com>
1667 * g-os_lib.adb (Add_To_Command): use explicit loop to move string
1668 into Command, an array conversion is illegal here. Uncovered by
1671 2001/11/28 Geert Bosch <bosch@gnat.com>
1673 * init.c: Minor whitespace changes.
1675 2001-11-28 Doug Rupp <rupp@gnat.com>
1677 * init.c: (__gnat_install_handler,VMS): Increase size of alternate
1680 2001-11-28 Zack Weinberg <zack@codesourcery.com>
1682 * misc.c (gnat_expand_constant): Move declaration above
1683 definition of lang_hooks.
1684 (LANG_HOOKS_EXPAND_CONSTANT): Set to gnat_expand_constant.
1685 (gnat_init): lang_expand_constant no longer exists.
1687 (internal_error_function): Remove #ifdef HAVE_VPRINTF. We
1688 always have vprintf.
1689 (gnat_init): Always call set_internal_error_function.
1691 2001-11-27 Andreas Jaeger <aj@suse.de>
1693 * Makefile.in (stamp-tool_src_dir): Use symbolic link.
1695 2001-11-27 Laurent Guerby <guerby@acm.org>
1697 * Makefile.in: Regenerate Ada dependencies.
1699 2001-11-26 Richard Henderson <rth@redhat.com>
1701 * Make-lang.in (gnatbind, gnatmake, gnatbl, gnatchop, gnatcmd,
1702 gnatlink, gnatkr, gnatls, gnatmem, gnatprep, gnatpsta, gnatpsys,
1703 gnatxref, gnatfind, gnatlbr): Depend on CONFIG_H and prefix.o.
1705 2001-11-25 Laurent Guerby <guerby@acm.org>
1707 * sysdep.c (rts_get_*): Fix style.
1709 2001-11-19 Laurent Guerby <guerby@acm.org>
1711 * Makefile.in (INCLUDES_FOR_SUBDIR): Remove redundant system include
1712 since it is of no apparent use and cause warnings.
1714 2001-11-18 Neil Booth <neil@daikokuya.demon.co.uk>
1716 * misc.c (gnat_decode_option, gnat_init_options): Make definitions
1718 (gnat_init): Don't return NULL.
1719 (finish_parse): Remove.
1721 2001-11-17 Laurent Guerby <guerby@acm.org>
1723 * Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
1724 * gigi.h (init_decl_processing): Rename to gnat_init_decl_processing.
1725 * io-aux.c: Provide K&R prototypes to all functions, reformat code.
1726 * lang-spec.h: Add missing struct field to silence warnings.
1727 * sysdep.c (rts_get_*): Provide K&R prototype.
1728 * sysdep.c (Unlock_Task, Lock_Task): Move to K&R prototype.
1729 * traceback.c (Unlock_Task, Lock_Task): Likewise.
1730 * tracebak.c (__gnat_backtrace): Remove unused variable.
1731 * utils.c (end_subprog_body): Move to K&R style.
1733 Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1735 * trans.c, utils2.c: Remove PALIGN parameter to get_inner_reference.
1737 2001-11-15 Neil Booth <neil@daikokuya.demon.co.uk>
1739 * misc.c (gnat_init): Change prototype. Include the
1740 functionality of the old init_parse and init_decl_processing.
1741 (gnat_init_decl_processing): New prototype.
1742 (init_parse): Remove.
1743 * utils.c (init_decl_processing): Rename gnat_init_decl_processing.
1745 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1747 * misc.c (gnat_print_decl, gnat_print_type): Renamed.
1748 (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE): Override.
1749 (print_lang_statistics, lang_print_xnode, print_lang_identifier,
1750 set_yydebug): Remove.
1752 2001-11-09 Neil Booth <neil@daikokuya.demon.co.uk>
1754 * misc.c (LANG_HOOKS_NAME, LANG_HOOKS_IDENTIFIER_SIZE): Override.
1755 (struct lang_hooks): Constify.
1756 (language_string, lang_identify): Remove.
1757 * utils.c (init_decl_processing): Update.
1759 2001-11-06 Neil Booth <neil@cat.daikokuya.demon.co.uk>
1761 * misc.c: Include langhooks-def.h.
1762 * Makefile.in: Update.
1764 2001-10-30 Robert Dewar <dewar@gnat.com>
1767 (Check_Identifier): Rewrite circuit to be compatible with use of letters
1768 in the upper half of ASCII.
1769 (Check_Identifier): Minor reformatting
1771 2001-10-30 Geert Bosch <bosch@gnat.com>
1773 * (Associated_Node, Set_Associated_Node): Do not check for
1776 2001-10-30 Robert Dewar <dewar@gnat.com>
1778 * a-reatim.ads: Minor reformatting
1780 2001-10-30 Robert Dewar <dewar@gnat.com>
1782 * gnatdll.adb: Minor reformatting throughout. Many ??? added for
1783 undocumented declarations.
1785 2001-10-30 Pascal Obry <obry@gnat.com>
1787 * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
1788 to the binder and linker.
1791 * mdll.ads: Fix layout. Update copyright notice.
1793 * mdll.adb: Fix layout. Update copyright notice.
1795 2001-10-30 Robert Dewar <dewar@gnat.com>
1797 * usage.adb: Minor fix to output for -gnaty.
1799 2001-10-30 Ed Schonberg <schonber@gnat.com>
1801 * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
1802 to accommodate all its possible values.
1804 * a-reatim.adb (Split): Special-case handling of Time_Span_First
1805 and of small absolute values of T.
1807 2001-10-30 Richard Kenner <kenner@gnat.com>
1809 * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
1810 set_mem_attributes since not needed and wrong if RESULT if a REG;
1811 fixes ACATS failures.
1813 2001-10-30 Geert Bosch <bosch@gnat.com>
1815 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, fname-sf.ads, g-traceb.ads,
1816 s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
1818 2001-10-30 Robert Dewar <dewar@gnat.com>
1820 * bindusg.adb: Undocument -f switch.
1822 * gnatcmd.adb: Remove /FULL_ELABORATION.
1824 * opt.ads (Force_RM_Elaboration_Order): Document that this is
1827 * gnatbind.adb: Output new warning for use of obsolescent -f switch.
1829 * gnatbind.adb: Minor update of warning msg.
1831 2001-10-30 Vincent Celier <celier@gnat.com>
1833 * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
1834 for project file switches (-P (/PROJECT_FILE=),
1835 -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
1838 2001-10-30 Geert Bosch <bosch@gnat.com>
1840 * decl.c: Minor whitespace fixes.
1842 2001-10-30 Richard Kenner <kenner@gnat.com>
1844 * utils2.c (build_allocator): Test for SIZE overflow in array case too
1846 2001-10-30 Geert Bosch <bosch@gnat.com>
1848 * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
1849 Found due to GCC 3.0 warning of using uninitialized value.
1852 (Get_Max_Size): Use variant record for tracking value/expression.
1853 Makes logic clearer and prevents warnings for uninitialized variables.
1854 (Layout_Array_Type): Use variant record for tracking value/expression.
1855 Makes logic clearer and prevents warnings for uninitialized variables.
1857 2001-10-30 Robert Dewar <dewar@gnat.com>
1859 * lib.adb: Minor reformatting
1861 * s-taprop.ads: Minor reformatting
1863 2001-10-29 Laurent Guerby <guerby@acm.org>
1866 (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
1868 (_gnat_error_handler): Make MSG const.
1870 2001-10-29 Richard Kenner <kenner@gnat.com>
1872 * sysdep.c: Fix localtime_r problem on LynxOS.
1873 Also remove #elif to avoid warnings.
1875 * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
1878 * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
1880 2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk>
1882 * 86numaux.adb, a-tigeau.ads, a-wtgeau.ads, decl.c, exp_ch6.adb,
1883 exp_ch9.adb, exp_util.adb, fname-sf.ads, freeze.ads, g-awk.adb,
1884 g-comlin.ads, g-dirope.adb, g-dyntab.ads, g-socket.ads,
1885 g-table.ads, g-traceb.ads, gnat-style.texi, gnatchop.adb, init.c,
1886 layout.adb, layout.ads, mdllfile.ads, mlib-fil.ads, osint.ads,
1887 s-fatgen.adb, s-imgrea.adb, s-taprop.ads, s-tasdeb.ads,
1888 sem_aggr.adb, sem_attr.adb, sem_case.ads, sem_ch13.adb,
1889 sem_ch3.adb, sem_elab.adb, sem_maps.ads, sem_res.adb,
1890 sem_util.ads, sinfo.ads, sinput.ads, table.adb, table.ads,
1891 types.ads, urealp.adb: Fix spelling errors.
1893 2001-10-27 Laurent Guerby <guerby@acm.org>
1895 * trans.c (gigi): Fix non determinism leading to bootstrap
1896 comparison failures for debugging information.
1898 2001-10-26 Florian Weimer <fw@deneb.enyo.de>
1900 * gnat_rm.texi: Use @./@: where appropriate.
1902 2001-10-26 Robert Dewar <dewar@gnat.com>
1904 * sinfo.adb: Define Associated_Node to overlap Entity field. Cleanup.
1906 2001-10-26 Richard Kenner <kenner@gnat.com>
1908 * gmem.c (__gnat_gmem_read_next): Properly check for EOF
1910 2001-10-26 Richard Kenner <kenner@gnat.com>
1912 * decl.c (validate_size): Modify message for bad size to avoid
1913 implication that compiler is modifying the size.
1915 2001-10-26 Robert Dewar <dewar@gnat.com>
1917 * prj-util.adb: Minor reformatting. Fix bad header format.
1919 2001-10-26 Robert Dewar <dewar@gnat.com>
1921 * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
1923 * sinfo.ads: Clarify use of Associated_Node (documentation only).
1925 * sem_ch12.adb: Change Node4 to Associated_Node. Change
1926 Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
1927 much more narrowly in places where needed. These are cleanups.
1929 2001-10-26 Joel Brobecker <brobecke@gnat.com>
1931 * 5zosinte.ads (null_pthread): new constant.
1934 (Initialize_TCB): Initialize thread ID to null, to be able to verify
1935 later that this field has been set.
1936 (Finalize_TCB): ditto.
1937 (Suspend_Task): Verify that the thread ID is not null before using it.
1938 (Resume_Task): ditto.
1941 (Resume_All_Tasks): Lock the tasks list before using it.
1942 (Suspend_All_Tasks): ditto.
1944 2001-10-26 Richard Kenner <kenner@gnat.com>
1946 * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
1947 Make constant variant of designated type for Is_Access_Constant.
1948 Call update_pointer_to with main variant.
1950 * trans.c (process_freeze_entity, process_type):
1951 Call update_pointer_to on main variant.
1953 * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
1954 If main variant, update all other variants.
1956 * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
1959 2001-10-26 Robert Dewar <dewar@gnat.com>
1961 * prj-util.adb: Minor reformatting
1963 2001-10-26 Robert Dewar <dewar@gnat.com>
1965 * prj-util.adb: Minor reformatting
1967 2001-10-26 Robert Dewar <dewar@gnat.com>
1969 * prj-attr.adb: Minor reformatting throughout
1971 2001-10-26 Robert Dewar <dewar@gnat.com>
1973 * prj-attr.ads: Minor reformatting
1974 Add ??? comment (this whole spec has almost no comments)
1976 2001-10-26 Vincent Celier <celier@gnat.com>
1978 * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
1979 ("//") that precede the drive letter on Interix.
1981 2001-10-26 Geert Bosch <bosch@gnat.com>
1983 * gnat_rm.texi: Add GNAT Reference Manual.
1985 2001-10-25 Robert Dewar <dewar@gnat.com>
1987 * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
1988 is Error. Similar change for other renaming cases.
1990 2001-10-25 Robert Dewar <dewar@gnat.com>
1992 * s-atacco.ads: Add pragma Inline_Always for functions.
1993 Fix header format. Add copyright 2001
1995 2001-10-25 Ed Schonberg <schonber@gnat.com>
1997 * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
1998 return Error rather than Empty so that analysis can proceed.
2000 2001-10-25 Ed Schonberg <schonber@gnat.com>
2002 * sem_util.adb (Enter_Name): better handling of cascaded error
2003 messages when a unit appears in its own context.
2005 2001-10-25 Ed Schonberg <schonber@gnat.com>
2007 * sem_util.adb (Defining_Entity): in case of error, attach created
2008 entity to specification, so that semantic analysis can proceed.
2010 2001-10-25 Robert Dewar <dewar@gnat.com>
2013 (Defining_Entity): Deal with Error.
2014 (Process_End_Label): Deal with bad end label for.
2016 2001-10-25 Ed Schonberg <schonber@gnat.com>
2018 * sem_elab.adb (Check_A_Call): refine message when call is in an
2019 instance but callee is not declared in the generic unit.
2021 2001-10-25 Ed Schonberg <schonber@gnat.com>
2023 * sem_elab.adb (Check_A_Call): check for renaming before finding the
2024 enclosing unit, which may already be different from the calling unit.
2026 2001-10-25 Geert Bosch <bosch@gnat.com>
2028 * 4gintnam.ads: fix header format.
2030 2001-10-25 Ed Schonberg <schonber@gnat.com>
2032 * sem_res.adb (Resolve_Call): if the call is actually an indexing
2033 operation on the result of a parameterless call, perform elaboration
2034 check after the node has been properly rewritten.
2036 * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
2037 inlined within the generic tree, the defining identifier is not a
2040 2001-10-25 Ed Schonberg <schonber@gnat.com>
2042 * sem_res.adb (Resolve): special-case resolution of Null in an
2043 instance or an inlined body to avoid view conflicts.
2045 * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
2046 compatibility by retrieving the access type of the generic copy.
2048 2001-10-25 Robert Dewar <dewar@gnat.com>
2051 (Analyze_Number_Declaration): Handle error expression.
2052 (Signed_Integer_Type_Declaration): Handle error bound.
2053 (Analyze_Subtype_Indication): Handle error range.
2055 * sem_util.adb (Get_Index_Bounds): Check for Error.
2057 2001-10-25 Robert Dewar <dewar@gnat.com>
2059 * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
2060 in no run time mode.
2062 2001-10-25 Pascal Obry <obry@gnat.com>
2064 * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
2065 mode case for ALLOC case.
2067 * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
2068 all platforms. Improvement of last change.
2070 2001-10-25 Robert Dewar <dewar@gnat.com>
2072 * exp_ch4.adb (Expand_N_Allocator): Minor reformatting.
2074 2001-10-25 Geert Bosch <bosch@gnat.com>
2076 * osint.adb (Is_Relative): Remove duplicate.
2078 2001-10-25 Pascal Obry <obry@gnat.com>
2080 * osint.adb (Read_Default_Search_Dirs): correctly detect relative
2081 pathnames in UNIX and DOS style with drive letter.
2082 (Is_Relative): new routine.
2084 * osint.adb: Minor reformatting
2086 * osint.adb (Is_Relative): implementation using
2087 GNAT.OS_Lib.Is_Absolute_Path. Better fix.
2089 2001-10-25 Pascal Obry <obry@gnat.com>
2091 * g-dirope.adb (Basename): correctly compute offset between the
2092 original Path and the translated one.
2094 * g-dirope.adb: (Base_Name): add some comments.
2096 2001-10-25 Robert Dewar <dewar@gnat.com>
2098 * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
2099 in HIE mode, avoids compilation abandoned message
2101 * exp_imgv.adb: Correct typo in previous change
2103 * exp_imgv.adb: Correct typo in previous change (not my day!)
2105 2001-10-25 Robert Dewar <dewar@gnat.com>
2107 * s-tpinop.ads: Add 2001 to copyright notice. Fix header format.
2109 2001-10-25 Pascal Obry <obry@gnat.com>
2111 * g-awk.ads: Move all pragma inlines next to the routine
2112 declarations. This is more uniform with other GNAT spec.
2114 2001-10-22 Geert Bosch <bosch@gnat.com>
2116 * Make-lang.in (gnattools, cross-gnattools): Remove gnatmem.
2118 2001-10-19 Geert Bosch <bosch@gnat.com>
2120 * Makefile.in (tools, gnattools): Remove gnatmem.
2122 2001-10-17 Richard Henderson <rth@redhat.com>
2124 * Makefile.in (misc.o): Depend on langhooks.h.
2125 * misc.c: Include it.
2126 (LANG_HOOKS_INIT, LANG_HOOKS_INIT_OPTIONS): New.
2127 (LANG_HOOKS_DECODE_OPTION): New.
2128 (lang_hooks): Use LANG_HOOKS_INITIALIZER.
2130 2001-10-16 Florian Weimer <fw@deneb.enyo.de>
2132 * trans.c (tree_transform): Adjust to recent change in
2133 expand_asm_operands to implement named asm operands.
2135 2001-10-11 Ed Schonberg <schonber@gnat.com>
2137 * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
2138 renaming of discriminant for mutable record type.
2140 2001-10-11 Robert Dewar <dewar@gnat.com>
2142 * validsw.adb: Properly save -gnatVn status.
2144 2001-10-11 Robert Dewar <dewar@gnat.com>
2146 * usage.adb: Add lines for V switch.
2148 * gnatcmd.adb (COMPILE): Revise translations for -gnatV
2149 (/VALIDITY_CHECKING).
2151 2001-10-11 Ed Schonberg <schonber@gnat.com>
2153 * sem_type.adb (Add_One_Interp): an operator for a type declared in
2154 an extension of System is known to be visible.
2156 2001-10-11 Ed Schonberg <schonber@gnat.com>
2158 * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
2159 properly. Fixes regression on ACATS C34005G.
2161 2001-10-11 Robert Dewar <dewar@gnat.com>
2163 * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
2164 loop in generic instance, since this is likely not very useful.
2166 2001-10-11 Robert Dewar <dewar@gnat.com>
2168 * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
2169 the error message for high integrity mode.
2171 * rtsfind.adb (RTE): Give message if we try to find an entity that
2172 is not available in high integrity mode.
2175 (OK_To_Use_In_HIE_Mode): New array.
2176 (RTE): May return Empty in high integrity mode.
2178 * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
2179 OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
2181 * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
2182 unit if not inlined always and in no runtime mode. Fixes problem
2183 caused by new Rtsfind changes.
2185 * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
2188 * rtsfind.adb (RTE): Make sure we do not try to load unit after
2189 giving message for entity not available in high integrity mode.
2191 2001-10-11 Pascal Obry <obry@gnat.com>
2193 * impunit.adb: Add GNAT.CRC32.
2195 2001-10-11 Ed Schonberg <schonber@gnat.com>
2197 * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
2198 properly the case where one universal operand in a non-static
2199 exponentiation of a real literal.
2201 2001-10-11 Ed Schonberg <schonber@gnat.com>
2203 * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
2204 clause, return the gobal finalization list, for lack of anthing else.
2206 2001-10-11 Ed Schonberg <schonber@gnat.com>
2208 * exp_ch7.adb (Make_Transient_Block): if statement is within
2209 exception handler, always use new transient scope to place Clean
2212 2001-10-11 Pascal Obry <obry@gnat.com>
2215 (GNAT_ADA_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2216 (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
2217 (GNATLS_RTL_OBJS): add g-crc32.o
2218 (GNATMAKE_RTL_OBJS): add g-crc32.o
2221 (CRC_Match): new function.
2222 (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
2223 instead of the previous simple checksum algorithm.
2224 (Time_Stamp_Mismatch): use CRC_Match for comparison.
2225 (Set_Source_Table): idem.
2228 (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
2229 instead of simple checksum.
2230 (CRC_Match): new function.
2231 (CRC_Error): new constant.
2233 * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
2234 a CRC now and not a simple checksum. A CRC uses lower-case hex
2235 letters, fixes ambiguity in parsing.
2237 * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
2238 is what this variable will store.
2240 * bcheck.adb: Change reference to chechsum in comments by CRC.
2241 (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
2242 rename All_Checksum_Match to All_CRC_Match. Change due to API
2243 renaming since now GNAT does not use a simple checksum but a
2244 CRC using GNAT.CRC32.
2246 * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
2247 now and not anymore a simple checksum.
2249 * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
2252 * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
2255 (Restore_Scan_State): rename Checksum to CRC.
2256 (Save_Scan_State): idem.
2260 (Checksum): rename to CRC.
2261 (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
2263 * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
2264 GNAT.CRC32). Update copyright notice.
2266 * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
2267 GNAT.CRC32). Update copyright notice.
2270 (Accumulate_Checksum): removed.
2271 (Update): new procedure. Add a wide-character into the CRC.
2274 (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
2275 (Load_File): fix initialization of S (change Source_Checksum to
2278 * sinput-p.adb (Load_Project_File): rename Source_Checksum to
2279 Source_CRC in S initialization.
2281 * sinput.adb (Source_Checksum): renamed to Source_CRC.
2283 * sinput.ads (Source_Checksum): renamed to Source_CRC.
2284 Update comments for the CRC.
2286 * types.adb (Hex): Use lowercase for the letter part.
2288 * types.ads (Get_Hex_String): Returns the hexadecimal representation
2289 for a word. This is currently used only for CRC. In previous version,
2290 the checksum was using a representation with all letter being
2291 upper-case. With the new implementation (using CRC) we do not remove
2292 the 32th bit of the CRC, so we can have an upper-case starting letter
2293 in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
2294 It is ambigous since the CRC was optional and could be followed by
2295 options like EB, EE. So now this routines uses lower-case letter for
2296 the hexadecimal representation. Strange enough only lower case letters
2297 where checked in Scan_ALI (even if this was not a possible case).
2299 * gnatvsn.ads (Library_Version): changed to 3.15a.
2301 * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
2304 * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
2307 * ali-util.adb: Redo previous change to avoid using word CRC everywhere
2308 Add 2001 to copyright notice
2309 (Accumulate_Checksum): Modify to use System.CRC32.
2311 * ali-util.ads: Redo changes of previous revision to continue to use
2312 the word Checksum. Add 2001 to copyright notice.
2314 * ali.adb: Undo some of previous changes, not needed.
2315 Keep the change for lower case letters in the checksum.
2317 * ali.ads: Undo previous change not needed.
2319 * bcheck.adb: Undo most of previous change, not needed.
2320 But do use Checksums_Match for checksum comparison.
2322 * gnatls.adb: Undo most of previous change, not needed.
2323 But do use Checksums_Match for comparing checksums.
2325 * lib-load.adb: Undo previous change, not needed.
2327 * lib-writ.adb: Undo previous change, not needed.
2329 * lib-writ.ads: Document that checksums use lower case,
2330 not upper case letters.
2332 * scans.adb: Undo previous change, not needed
2334 * scans.ads: Undo previous change, not needed.
2336 * scn-nlit.adb: Undo previous changes, not needed.
2338 * scn-slit.adb: Undo previous change, not needed. Fix header format.
2341 (Accumulate_Checksum): Use System.CRC32.
2342 (Initialize_Checksum): New procedure.
2343 Remove other changes of previous revision.
2345 * sinput-p.adb: Undo previous change, not needed.
2347 * sinput.adb: Undo previous change, not needed.
2349 * sinput-l.adb: Undo previous change, not needed.
2351 * sinput.ads: Undo previous change, not needed. Keep only comment
2352 on new checksum algorithm
2354 * Makefile.in: Add s-crc32 as needed, remove g-crc32.
2355 Also remove a-tags and a-stream from GNAT sources.
2357 * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
2359 * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2361 2001-10-11 Geert Bosch <bosch@gnat.com>
2363 * einfo.h: Regenerate.
2365 * nmake.ads: Regenerate.
2367 * nmake.adb: Regenerate.
2369 * sinfo.h: Regenerate.
2371 * treeprs.adb: Regenerate.
2373 2001-10-10 Geert Bosch <bosch@gnat.com>
2375 * gnat-style.texi: New file describing coding guidelines for Ada.
2377 2001-10-10 Ed Schonberg <schonber@gnat.com>
2379 * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
2382 2001-10-10 Geert Bosch <bosch@gnat.com>
2384 * snames.ads: Add new names for project facility.
2386 * snames.adb: Update to reflect snames.ads changes.
2388 * snames.h: Update to reflect snames.ads changes.
2390 2001-10-10 Vincent Celier <celier@gnat.com>
2393 (Add_Switches): reflect the changes for the switches attributes
2394 Default_Switches indexed by the programming language,
2395 Switches indexed by the file name.
2396 (Collect_Arguments_And_Compile): Idem.
2397 Reflect the attribute name changes.
2400 (Initialisation_Data): Change the names of some packages and
2402 (Initialize): process case insensitive associative arrays.
2405 (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
2408 (Parse_Attribute_Declaration): For case insensitive associative
2409 arrays, set the index string to lower case.
2412 Reflect the changes of the project attributes.
2415 Replace Check_Naming_Scheme by Ada_Check and
2416 Language_Independent_Check.
2419 Replaced Check_Naming_Scheme by 2 procedures:
2420 Ada_Check and Language_Independent_Check.
2423 (Process_Declarative_Items): For case-insensitive associative
2424 arrays, set the index string to lower case.
2425 (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
2426 Prj.Nmsc.Check_Naming_Scheme.
2429 (Case_Insensitive): New function
2430 (Set_Case_Insensitive): New procedure
2433 (Case_Insensitive): New function
2434 (Set_Case_Insensitive): New procedure
2435 (Project_Node_Record): New flag Case_Insensitive.
2438 (Value_Of): new function to get the string value of a single
2439 string variable or attribute.
2442 (Value_Of): new function to get the string value of a single
2443 string variable or attribute.
2446 (Ada_Default_Spec_Suffix): New function
2447 (Ada_Default_Impl_Suffix): New function
2448 Change definitions of several constants to reflect
2449 new components of record types.
2452 (Naming_Data): Change several components to reflect new
2453 elements of naming schemes.
2454 (Project_Data): New flags Sources_Present and
2455 Language_Independent_Checked.
2456 (Ada_Default_Spec_Suffix): New function.
2457 (Ada_Default_Impl_Suffix): New function.
2460 Modification of predefined names for project manager: added
2461 Implementation, Specification_Exceptions, Implementation_Exceptions,
2462 Specification_Suffix, Implementation_Suffix, Separate_Suffix,
2463 Default_Switches, _Languages, Builder, Cross_Reference,
2464 Finder. Removed Body_Part, Specification_Append, Body_Append,
2465 Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
2468 * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
2471 * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
2472 not that it is Nil_Variable_Value.
2474 * prj.ads: Add ??? for uncommented declarations
2476 2001-10-10 Ed Schonberg <schonber@gnat.com>
2478 * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
2479 constant, do not indicate possible modification, so that gigi can
2480 treat it as a bona fide constant.
2482 2001-10-10 Robert Dewar <dewar@gnat.com>
2484 * sem_prag.adb: Add processing for pragma External.
2486 * snames.ads: Add entry for pragma External.
2488 * par-prag.adb: Add pragma External.
2490 * snames.adb: Updated to match snames.ads.
2492 2001-10-10 Ed Schonberg <schonber@gnat.com>
2494 * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
2495 a dynamic task if the allocator appears in an indexed assignment
2496 or selected component assignment.
2498 * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
2499 For a dynamic task in an assignment statement, use target of
2500 assignment to generate meaningful name.
2502 2001-10-10 Ed Schonberg <schonber@gnat.com>
2504 * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
2507 * einfo.ads: Body_Entity is also defined for generic package.
2508 Documentation change only
2510 * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
2511 others_choice for a discriminated component initialization,
2512 convert discriminant references into the corresponding discriminals.
2514 * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
2515 only if original type is private and expression has to be wrapped
2519 (Apply_Constraint_Check): Do not perform length check
2520 if expression is an aggregate with only an others_choice.
2521 (Length_N_Cond): two references to the same in_parameter
2522 (typically the discriminal in an init_proc) denote the same value.
2523 Two useful optimization uncovered by bugfixes above.
2525 2001-10-10 Robert Dewar <dewar@gnat.com>
2527 * xeinfo.adb: Change int to char in translation of enumeration types.
2528 This fixes a problem in the C representation of component alignment.
2529 Add 2001 to copyright notice
2531 2001-10-10 Richard Kenner <kenner@gnat.com>
2533 * decl.c: (validate_size): Do check size of object of integral type
2534 if it is a packed array type.
2536 2001-10-10 Richard Kenner <kenner@gnat.com>
2538 * decl.c: (gnat_to_gnu_entity, case object): Also materialize
2539 VAR_DECL for constant if not Is_Public but -O0.
2541 2001-10-10 Richard Kenner <kenner@gnat.com>
2543 * misc.c (struct lang_hooks): Add new initializer to match GCC change.
2545 2001-10-10 Geert Bosch <bosch@gnat.com>
2547 * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer
2548 use '/' as switch character, allowing for absolute file names.
2550 2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk>
2552 * 4gintnam.ads, Make-lang.in, Makefile.in, config-lang.in: Update
2555 2001-10-08 Geert Bosch <bosch@gnat.com>
2557 * Makefile.in (treeprs.ads, einfo.h, sinfo.h, nmake.adb, nmake.ads):
2558 Automatically build utilities when files need to be regenerated.
2560 2001-10-08 Geert Bosch <bosch@gnat.com>
2562 * xsnames.adb: New utility for updating snames.ads and snames.adb
2564 2001-10-08 Zack Weinberg <zack@codesourcery.com>
2566 * Make-lang.in (ADAFLAGS): Add -W -Wall.
2567 (ADA_FLAGS_TO_PASS): Set ADA_CFLAGS=$(CFLAGS) also.
2568 (gnat1): Also depend on attribs.o.
2569 (gnatlib, gnatlib-shared): Set CC and ADAC in recursive make.
2570 * Makefile.in (X_ADAFLAGS, T_ADAFLAGS): New.
2571 (ADAC): Set to @ADAC@ in stage1, $(CC) later.
2572 (ADAFLAGS): Add -W -Wall.
2573 (ALL_ADAFLAGS, MOST_ADAFLAGS): Add X_ADAFLAGS and T_ADAFLAGS;
2576 (.adb.o, .ads.o, a-numaux.o, a-teioed.o, s-interr.o,
2577 s-taskin.o, sdefault.o, s-tasdeb.o, s-vaflop.o, a-except.o,
2578 s-assert.o, s-stalib.o, s-memory.o, memtrack.o, mlib-tgt.o):
2579 Use $(ADAC), not $(CC), as compilation command.
2581 (gnattools): Depend directly on tools to build, don't use
2583 (gnatlib): Set ADA_CFLAGS=$(GNATLIBCFLAGS) in recursive make.
2585 * einfo.h, sinfo.h: New files (autogenerated).
2587 2001-10-08 Richard Henderson <rth@redhat.com>
2589 * comperr.adb (Abort_In_Progress): New.
2590 (Compiler_Abort): Use it to prevent recursion.
2592 2001-10-08 Robert Dewar <dewar@gnat.com>
2594 * atree.adb: Set Error_Posted in Error node, helps error recovery.
2596 * par-endh.adb (Output_End_Expected): We should also not test
2597 Error_Posted on the Error node, since now it is always set.
2599 * cstand.adb (Create_Standard): Set Etype of Error to Any_Type
2600 to help error recovery. Part of general work on 9407-004.
2602 * par.adb: Add ??? for misuse of error
2605 (Resolve): Defend against Error, fixes 9407-003.
2606 (Resolve_Discrete_Subtype_Indication): Defend against Error.
2608 * sinfo.ads (N_Error): Now has Etype field (which will be set
2609 to Any_Type to help error recovery).
2611 2001-10-08 Richard Kenner (kenner@gnat.com)
2613 * misc.c (gnat_expand_expr, case UNCHECKED_CONVERT_EXPR):
2614 Consistently set MEM attributes from expression; fixes
2615 bootstrap failure on x86.
2617 2001-10-08 Geert Bosch (bosch@gnat.com)
2619 * 5oosinte.adb: Add 2001 to copyright notice.
2621 2001-10-08 Geert Bosch (bosch@gnat.com)
2623 * ceinfo.adb: Add utility for consistency checking of einfo.ad[bs].
2625 * csinfo.adb: Add utility for consistency checking of sinfo.ad[bs].
2627 2001-10-07 Joseph S. Myers <jsm28@cam.ac.uk>
2629 * 5oosinte.adb: Fix spelling error of "separate" as "seperate".
2631 2001-10-05 Geert Bosch (bosch@gnat.com)
2633 * adaint.h: Small formatting fix.
2635 2001-10-04 Geert Bosch <bosch@gnat.com>
2637 * sysdep.c (__gnat_set_binary_mode, __gnat_set_text_mode):
2638 Arg is int, not FILE *, in dummy version of functions.
2640 * adaint.h (__gnat_set_binary_mode, __gnat_set_text_mode):
2641 Arg is int, not FILE *.
2643 2001-10-04 Geert Bosch <bosch@gnat.com>
2645 * 3lsoccon.ads: Added file, missed with initial check ins.
2647 * 4lintnam.ads: Fix header format.
2648 Change Linux to GNU/Linux.
2650 * 5iosinte.adb: Change Linux to GNU/Linux.
2652 * 5iosinte.ads: Change Linux to GNU/Linux.
2654 * 5itaprop.adb: Change Linux to GNU/Linux.
2656 * 5itaspri.ads: Change Linux to GNU/Linux.
2657 Update copyright notice.
2659 * 5lintman.adb: Change Linux to GNU/Linux.
2661 * 5lml-tgt.adb: Change Linux to GNU/Linux.
2663 * 5losinte.ads: Change Linux to GNU/Linux.
2665 * 5lsystem.ads: Change Linux to GNU/Linux.
2667 * 5qosinte.adb: Change Linux to GNU/Linux.
2669 * 5qosinte.ads: Change Linux to GNU/Linux.
2671 * 5qparame.ads: Change Linux to GNU/Linux.
2673 * 5qtaprop.adb: Change Linux to GNU/Linux.
2675 * 5qtaspri.ads: Change Linux to GNU/Linux.
2676 Add 2001 to copyright notice.
2678 * 5vintman.ads: Change Linux to GNU/Linux.
2679 Fix header format. Add 2001 to copyright notice.
2681 * g-soccon.ads: Change Linux to GNU/Linux.
2683 * g-trasym.ads: Change Linux to GNU/Linux.
2684 Add 2001 to copyright notice.
2686 * memtrack.adb: Change Linux to GNU/Linux.
2688 * s-intman.ads: Change Linux to GNU/Linux.
2689 Add 2001 to copyright notice. Fix header format.
2691 * s-stache.adb: Change Linux to GNU/Linux.
2693 * adaint.c: Change Linux to GNU/Linux.
2695 * cio.c: Change Linux to GNU/Linux.
2697 * cstreams.c: Change Linux to GNU/Linux.
2699 * init.c: Change Linux to GNU/Linux.
2701 * gmem.c: Change Linux to GNU/Linux.
2703 * tracebak.c: Change Linux to GNU/Linux.
2706 2001-10-02 Geert Bosch <bosch@gnat.com>
2708 * misc.c (insert_default_attributes): Add dummy version.