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